Mona Vajihollahi

14 papers B 1C 4Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2010 C conf
Identifying high risk crime areas using topology.
ISI
Richard Frank, Andrew J. Park, Patricia L. Brantingham, Joseph Clare, Kathryn Wuschke, Mona Vajihollahi
2010 — ch.
Identity Management Architecture.
Security Informatics
Uwe Glässer, Mona Vajihollahi
2008 — conf
Computational Modeling of Criminal Activity.
EuroISI
Uwe Glässer, Mona Vajihollahi
2008 C conf
High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM.
ISoLA
Roozbeh Farahbod, Uwe Glässer, Piper J. Jackson, Mona Vajihollahi
2008 C conf
Identity management architecture.
ISI
Uwe Glässer, Mona Vajihollahi
2008 — ch.
Modeling and Validation of Aviation Security.
Intelligence and Security Informatics
Uwe Glässer, Sarah Rastkar, Mona Vajihollahi
2006 J jnl
An abstract machine architecture for web service based business process management.
Int. J. Bus. Process. Integr. Manag.
Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
2006 C conf
Computational Modeling and Experimental Validation of Aviation Security Procedures.
ISI
Uwe Glässer, Sarah Rastkar, Mona Vajihollahi
2005 — conf
A Formal Semantics for the Business Process Execution Language for Web Services.
WSMDEIS
Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
2005 B conf
A computational model for simulating spatial aspects of crime in urban environments.
SMC
Patricia L. Brantingham, Uwe Glässer, B. Kinney, Komal Singh, Mona Vajihollahi
2005 — conf
An Abstract Machine Architecture for Web Service Based Business Process Management.
Business Process Management Workshops
Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
2005 — conf
Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines.
Abstract State Machines
Patricia L. Brantingham, Uwe Glässer, B. Kinney, Komal Singh, Mona Vajihollahi
2004 — conf
Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines.
DIPES
Uwe Glässer, Mona Vajihollahi
2004 — conf
Specification and Validation of the Business Process Execution Language for Web Services.
Abstract State Machines
Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi