| 2008 |
|---|
| 10 | EE | Uwe Glässer,
Mona Vajihollahi:
Computational Modeling of Criminal Activity.
EuroISI 2008: 39-50 |
| 9 | EE | Uwe Glässer,
Mona Vajihollahi:
Identity management architecture.
ISI 2008: 137-144 |
| 8 | EE | Roozbeh 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 |
| 7 | EE | Uwe Glässer,
Sarah Rastkar,
Mona Vajihollahi:
Modeling and Validation of Aviation Security.
Intelligence and Security Informatics 2008: 337-355 |
| 2006 |
|---|
| 6 | EE | Uwe Glässer,
Sarah Rastkar,
Mona Vajihollahi:
Computational Modeling and Experimental Validation of Aviation Security Procedures.
ISI 2006: 420-431 |
| 2005 |
|---|
| 5 | EE | P. 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 |
| 4 | EE | Roozbeh 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 |
|---|
| 2 | EE | Roozbeh 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 |
