Mona Vajihollahi

Publication Activity (10 Years)

Years Active: 2004-2010
Publications (10 Years): 0

Publications

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