Computational Modeling of Criminal Activity

Authors:
Uwe Glässer;Mona Vajihollahi
Affiliations:
Software Technology Lab, School of Computing Science, Simon Fraser University, Canada;Software Technology Lab, School of Computing Science, Simon Fraser University, Canada
Venue:
EuroISI '08 Proceedings of the 1st European Conference on Intelligence and Security Informatics
Year:
2008

Citing 9
Cited 0

Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom

Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code

Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Abstract State Machines: A Method for High-Level System Design and Analysis

Abstract State Machines: A Method for High-Level System Design and Analysis
The formal semantics of SDL-2000: status and perspectives

Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Abstract Communication Model for Distributed Systems

IEEE Transactions on Software Engineering
Formal description and analysis of a distributed location service for mobile ad hoc networks

Theoretical Computer Science - Abstract state machines and high-level system design and analysis
CoreASM: An Extensible ASM Execution Engine

Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Artificial Crime Analysis Systems: Using Computer Simulations and Geographic Information Systems

Artificial Crime Analysis Systems: Using Computer Simulations and Geographic Information Systems
A decision model for spatial site selection by criminals: a foundation for law enforcement decision support

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews

Quantified Score

Hi-index	0.00

Visualization

Abstract

Computational and mathematical methods arguably have an enormous potential for serving practical needs in crime analysis and prevention by offering novel ideas and tools for crime investigations as well as experimental platforms for decision support in evidence-based policy making. We present here a comprehensive computational framework for modeling of criminal behavior to facilitate systematic experimental studies of a wide range of criminal activities in urban environments.