dblp.uni-trier.dewww.uni-trier.de

Mona Vajihollahi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
10EEUwe Glässer, Mona Vajihollahi: Computational Modeling of Criminal Activity. EuroISI 2008: 39-50
9EEUwe Glässer, Mona Vajihollahi: Identity management architecture. ISI 2008: 137-144
8EERoozbeh Farahbod, Uwe Glässer, P. J. Jackson, Mona Vajihollahi: High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. ISoLA 2008: 797-814
7EEUwe Glässer, Sarah Rastkar, Mona Vajihollahi: Modeling and Validation of Aviation Security. Intelligence and Security Informatics 2008: 337-355
2006
6EEUwe Glässer, Sarah Rastkar, Mona Vajihollahi: Computational Modeling and Experimental Validation of Aviation Security Procedures. ISI 2006: 420-431
2005
5EEP. L. Brantingham, Uwe Glässer, B. Kinney, K. Singh, Mona Vajihollahi: Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines. Abstract State Machines 2005: 101-118
4EERoozbeh Farahbod, Uwe Glässer, Mona Vajihollahi: An Abstract Machine Architecture for Web Service Based Business Process Management. Business Process Management Workshops 2005: 144-157
3 Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi: A Formal Semantics for the Business Process Execution Language for Web Services. WSMDEIS 2005: 122-133
2004
2EERoozbeh Farahbod, Uwe Glässer, Mona Vajihollahi: Specification and Validation of the Business Process Execution Language for Web Services. Abstract State Machines 2004: 78-94
1 Uwe Glässer, Mona Vajihollahi: Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines. DIPES 2004: 297-306

Coauthor Index

1P. L. Brantingham [5]
2Roozbeh Farahbod [2] [3] [4] [8]
3Uwe Glässer [1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
4P. J. Jackson [8]
5B. Kinney [5]
6Sarah Rastkar [6] [7]
7K. Singh [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)