Specification and Validation of the Business Process Execution Language for Web Services. - Roozbeh Farahbod; Uwe Glässer; Mona Vajihollahi (Abstract State Machines, 2004)

Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines. - Uwe Glässer; Mona Vajihollahi (DIPES, 2004)

Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines. - Patricia L. Brantingham; Uwe Glässer; B. Kinney; Komal Singh; Mona Vajihollahi (Abstract State Machines, 2005)

A computational model for simulating spatial aspects of crime in urban environments. - Patricia L. Brantingham; Uwe Glässer; B. Kinney; Komal Singh; Mona Vajihollahi (SMC, 2005)

A Formal Semantics for the Business Process Execution Language for Web Services. - Roozbeh Farahbod; Uwe Glässer; Mona Vajihollahi (WSMDEIS, 2005)

Computational Modeling and Experimental Validation of Aviation Security Procedures. - Uwe Glässer; Sarah Rastkar; Mona Vajihollahi (ISI, 2006)

An abstract machine architecture for web service based business process management. - Roozbeh Farahbod; Uwe Glässer; Mona Vajihollahi (Int. J. Bus. Process. Integr. Manag., 2006)

Computational Modeling of Criminal Activity. - Uwe Glässer; Mona Vajihollahi (EuroISI, 2008)

Identity management architecture. - Uwe Glässer; Mona Vajihollahi (ISI, 2008)

High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. - Roozbeh Farahbod; Uwe Glässer; Piper J. Jackson; Mona Vajihollahi (ISoLA, 2008)

Modeling and Validation of Aviation Security. - Uwe Glässer; Sarah Rastkar; Mona Vajihollahi (Intelligence and Security Informatics, 2008)

Identifying high risk crime areas using topology. - Richard Frank; Andrew J. Park; Patricia L. Brantingham; Joseph Clare; Kathryn Wuschke; Mona Vajihollahi (ISI, 2010)

Identity Management Architecture. - Uwe Glässer; Mona Vajihollahi (Security Informatics, 2010)