FIPA Communicative Act Library Specification, Interaction Protocol XC00037H,
: FIPA Consortium, 2001.
"Economic Consequences of the Sarbanes-Oxley Act of 2002",
University of Minnesota - Twin Cities, vol. 5: AEI-Brookings Joint Center, 2002.
"Improved Algorithm for the Soft Global Cardinality Constraint",
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Third International Conference, CPAIOR 2006, pp. 288-299, 2006.
"Flexible Protocol Specification and Execution: Applying Event Calculus Planning Using Commitments",
{Proceedings of the First International Joint Conference on Autonomous Agents {&} Multiagent Systems (AAMAS 2002)}: ACM Press, pp. 527-534, 2002.
Semantic Integration of Information by Abduction,
: Imperial College London, 2003.
"Deontic logic",
Mind, vol. 60, pp. 1-15, 1951.
Process Definition Interface – XML Process Definition Language,
, 2.1a: The Workflow Management Coalition, 2008.
An Introduction to MultiAgent Systems,
, Second: Wiley & Sons, 2009.
"Introduction to BPMN",
BPTrends, 2004.
Business Process Modeling Notation Specification 1.0,
: OMG, 2006.
Business Process Management: Concepts, Languages, Architectures,
: Springer, 2007.
Multiagent Systems - A Modern Approach to Distributed Artificial Intelligence,
: MIT Press, 1999.
"Change Patterns and Change Support Features in Process-Aware Information Systems",
Proceedings of the 19th International Conference on Advanced Information Systems Engineering (CAiSE 2007), vol. 4495: Springer, pp. 574-588, 2007.
"Constraint-Based Flexible Workflows",
Proceedings of the 9th International Workshop on Groupware: Design, Implementation, and Use (CRIWG 2003), vol. 2806, pp. 151–158, 2003.
"A Survey on Temporal Reasoning in Artificial Intelligence",
AI Communication, vol. 7, no. 1, pp. 4-28, 1994.
"Understanding Spaghetti Models with Sequence Clustering for ProM",
Proceedings of BPM 2009 Workshops: Springer, 2009.
"Branching vs. Linear Time: Final Showdown",
Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), vol. 2031: Springer, pp. 1-22, 2001.
Universal Description, Discovery and Integration (UDDI) Version 2.04 API Specification,
: OASIS Standard, 2002.
"Modelling Interactions via Commitments and Expectations",
Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models: IGI Global, 2009.
"A Retrospective on the Reactive Event Calculus and Commitment Modeling Language",
Declarative Agent Languages and Technologies IX, vol. 7169: Springer Berlin / Heidelberg, pp. 120-127, 2012.
Abstract
"Argumentation in the Semantic Web",
Intelligent Systems, IEEE, vol. 22, no. 6, pp. 66 -74, nov.-dec., 2007.
"Contextual Deontic Logic: Normative Agents, Violations and Independence",
Annals of Mathematics and Artificial Intelligence, vol. 37, no. 1, pp. 33–63, 2003.
"A Modular Approach for Representing and Executing Clinical Guidelines",
Artificial Intelligence in Medicine, vol. 23, no. 3, pp. 249-276, 2001.
"Applying Artificial Intelligence to Clinical Guidelines: The GLARE Approach",
Proceedings of the 8th Congress of AI*IA: Advances in Artificial Intelligence, vol. 2829: Springer, pp. 536-547, 2003.
"Improving Medical Protocols by Formal Methods",
Artificial Intelligence in Medicine, vol. 36, no. 3, pp. 193-209, 2006.

]