| 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 |
