|
Search the dblp DataBase
Mona Vajihollahi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
Specification and Validation of the Business Process Execution Language for Web Services. [Citation Graph (0, 0)][DBLP] Abstract State Machines, 2004, pp:78-94 [Conf]
- Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
An Abstract Machine Architecture for Web Service Based Business Process Management. [Citation Graph (0, 0)][DBLP] Business Process Management Workshops, 2005, pp:144-157 [Conf]
- Uwe Glässer, Mona Vajihollahi
Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines. [Citation Graph (0, 0)][DBLP] DIPES, 2004, pp:297-306 [Conf]
- Uwe Glässer, Sarah Rastkar, Mona Vajihollahi
Computational Modeling and Experimental Validation of Aviation Security Procedures. [Citation Graph (0, 0)][DBLP] ISI, 2006, pp:420-431 [Conf]
- Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
A Formal Semantics for the Business Process Execution Language for Web Services. [Citation Graph (0, 0)][DBLP] WSMDEIS, 2005, pp:122-133 [Conf]
- P. L. Brantingham, Uwe Glässer, B. Kinney, K. Singh, Mona Vajihollahi
Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines. [Citation Graph (0, 0)][DBLP] Abstract State Machines, 2005, pp:101-118 [Conf]
Identity management architecture. [Citation Graph (, )][DBLP]
High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. [Citation Graph (, )][DBLP]
Computational Modeling of Criminal Activity. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|