]
"Conformance Checking of Service Behavior",
{ACM Transactions on Internet Technologies}, vol. 8, no. 3, 2008.
"Workflow Mining: Discovering Process Models from Event Logs",
IEEE Transactions on Knowledge and Data Engineering, vol. 16, no. 9, pp. 1128-1142, 2004.
"Verification of Workflow Nets",
Proceedings of the 18th International Conference on Application and Theory of Petri Nets 1997, vol. 1248: Springer, pp. 407-426, 1997.
"Process Mining and Verification of Properties: An Approach based on Temporal Logic",
{Proceedings of the OTM 2005 Confederated International Conferences CoopIS, DOA, and ODBASE}, vol. 3760: Springer, pp. 130-147, 2005.
"ProM 4.0: Comprehensive Support for Real Process Analysis",
{Proceedings of the 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007)}, vol. 4546: Springer, pp. 484–494, 2007.
"Business Process Mining: An Industrial Application",
Information Systems, vol. 32, no. 5, pp. 713-732, 2007.
"Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor",
IEEE Computer, vol. 43, no. 3, pp. 90-93, 2010.
"Workflow Mining: A Survey of Issues and Approaches",
Data and Knowledge Engineering, vol. 47, no. 2, pp. 237-267, 2003.
"Dealing with Workflow Change: Identification of Issues and Solutions",
Computer Systems, Science, and Engineering, vol. 15, no. 5, pp. 267-276, 2000.
"Declarative workflows: Balancing between flexibility and support",
Computer Science - R{&}D, vol. 23, no. 2, pp. 99-113, 2009.
"DecSerFlow: Towards a Truly Declarative Service Flow Language",
Proceedings of the 3rd Workshop on Web Services and Formal Methods (WS-FM2006), vol. 4184: Springer, pp. 1-23, 2006.
"Workflow Patterns",
Distributed and Parallel Databases, vol. 14, no. 1, pp. 5-51, 2003.
"Life After BPEL?",
Proceedings of the 2nd International Workshop on Web Services and Formal Methods ({WS}-{FM} 2005), vol. 3670: Springer, pp. 35–50, 2005.
"Web Service Composition Languages: Old Wine in New Bottles?",
Proceeding of the 29th EUROMICRO Conference: New Waves in System Architecture: IEEE Computer Society, pp. 298–305, 2003.
"Mining Process Models from Workflow Logs",
{6th International Conference on Extending Database Technology (EDBT1998)}, vol. 1377: Springer, pp. 469-483, 1998.
"Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture",
IEEE International Conference on Web Services (ICWS 2009): IEEE, pp. 254-261, 2009.
"Web Service contracting: Specification and Reasoning with SCIFF",
Proceedings of the 4th European Semantic Web Conference (ESWC'07), vol. 4519: Springer, pp. 68-83, 2007.
"Runtime Addition of Integrity Constraints in Abductive Logic Programs",
Proceedings of the 26th International Conference on Logic Programming (ICLP 2010), 2010.
"Compliance Verification of Agent interaction: a Logic-Based Software Tool",
Applied Artificial Intelligence, vol. 20, no. 2-4, pp. 133-157, 2006.
"Computational Logic for the Run-time Verification of Web Service Choreographies: Exploiting the SOCS-SI Tool",
Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM'06), vol. 4184: Springer, pp. 58-72, 2006.
"An Abductive Framework for A-Priori Verification of Web Services",
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming: ACM Press, pp. 39-50, 2006.
"Expressing and Verifying Business Contracts with Abductive Logic Programming",
Electronic Commerce, Special Issue on Contract Architectures and Languages, vol. 12, no. 4, pp. 9-38, 2008.
"Mapping Deontic Operators to Abductive Expectations",
Computational and Mathematical Organization Theory, vol. 12, no. 2-3: Springer, pp. 205-225, 2006.
"Verifiable Agent Interaction in Abductive Logic Programming: The SCIFF framework",
ACM Transactions on Computational Logic (TOCL), vol. 9, no. 4, 2008.
"Policy-Based Reasoning for Smart Web Service Interaction",
Proceedings of the First International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services, vol. 196, pp. 87-102, 2006.