| |
On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops (2007), pp. 1135-1144.
|
| |
The Semantic Web: Research and Applications (2007), pp. 399-413.
|
| |
Fundamental Approaches to Software Engineering (2008), pp. 46-61.
|
| |
Information Systems, Vol. 30 (2003), pp. 245-275.
|
| |
Business Process Management (2006), pp. 389-394.
|
| |
Petri Nets and Other Models of Concurrency – ICATPN 2007 (2007), pp. 164-183.
|
| |
|
| |
Business Process Management Workshops (2008), pp. 359-370.
|
| |
In Application and Theory of Petri Nets 2003, Vol. 2679 (2003), pp. 296-315.
|
| |
Lectures on Concurrency and Petri Nets (2004), pp. 87-124.
|
| |
|
| |
In \guillemotleftUML' '01: Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (2001), pp. 76-90.
|
| |
Advances in Artificial Intelligence (2004), pp. 556-558.
|
| |
In Proceedings of the 5th ACM International Conference on Autonomous Agents (2001)
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 12, No. 3. (July 2003), pp. 317-370.
|
| |
Knowledge Representation and Reasoning Under Uncertainty (1994), pp. 123-129.
|
| |
Journal of Algorithms, Vol. 64, No. 1. (January 2009), pp. 31-40.
|
| |
|
| |
In AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems (2002), pp. 952-959.
|
| |
|
| |
Autonomous Agents and Multi-Agent Systems, Vol. 3, No. 3. (2000), pp. 259-283.
|
| |
Software Engineering for Multi-Agent Systems II (2004), pp. 349-351.
|
| |
Logic Journal of the IGPL, Vol. 9 (2001)
|
| |
|
| |
Programming Multi-Agent Systems (2008), pp. 124-139.
|
| |
The Knowledge Engineering Review, Vol. 19, No. 04. (December 2004), pp. 281-316.
|
| |
25 Years of Model Checking (2008), pp. 1-26.
|
| |
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 3. (1 June 2007), pp. 213-254.
|
| |
Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on In Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on (2006), pp. 123-124.
|
| |
Journal of Experimental & Theoretical Artificial Intelligence, Vol. 18, No. 1. (March 2006), pp. 87-115.
|
| |
Formal Modeling and Analysis of Timed Systems (2005), pp. 211-225.
|
| |
|
| |
In BPM Center Report BPM-07-11 (2007)
|
| |
In EDOC '08: Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference (2008), pp. 63-72.
|
| |
|
| |
Petri Nets and Other Models of Concurrency - ICATPN 2006 (2006), pp. 241-260.
|
| |
|
Search
