Szenarios: Lokale Kriterien für globale Korrektheit. - Ekkart Kindler; Axel Martens (FBT, 1999)

Inter-operability of Workflow Applications: Local Criteria for Global Soundness. - Ekkart Kindler; Axel Martens; Wolfgang Reisig (Business Process Management, 2000)

The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. - Herbert Weber; Hartmut Ehrig; Wolfgang Reisig; Alexander Borusan; Sabine Lembke; Juliane Dehnert; Michael Weber 003; Axel Martens; Julia Padberg; Claudia Ermel; Anilda Qemali (Petri Net Technology for Communication-Based Systems, 2003)

Verteilte Geschäftsprozesse mit Hilfe von Web Services. - Axel Martens (Ausgezeichnete Informatikdissertationen, 2003)

Usability of Web services. - Axel Martens (WISE Workshops, 2003)

Analysis and Re-Engineering of Web Services. - Axel Martens (ICEIS (3), 2004)

Verteilte Geschäftsprozesse und Web Services. - Wolfgang Reisig; Axel Martens (Modellierung, 2004)

Modeling and Model Checking Web Services. - Bernd-Holger Schlingloff; Axel Martens; Karsten Schmidt 004 (LCMAS, 2004)

Consistency between Executable and Abstract Processes. - Axel Martens (EEE, 2005)

Analyzing Web Service Based Business Processes. - Axel Martens (FASE, 2005)

Process Oriented Discovery of Business Partners. - Axel Martens (ICEIS (3), 2005)

Analyzing Compatibility of BPEL Processes. - Axel Martens; Simon Moser; Achim Gerhardt; Karoline Funk (AICT/ICIW, 2006)

Diagnosing SCA Components Using Wombat. - Axel Martens; Simon Moser (Business Process Management, 2006)

A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes. - Simon Moser; Axel Martens; Marc Häbich; Jutta A. Mülle (Business Process Management, 2006)

Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis. - Simon Moser; Axel Martens; Katharina Görlach; Wolfram Amme; Artur Godlinski (IEEE SCC, 2007)

Semi-automated adaptation of service interactions. - Hamid R. Motahari Nezhad; Boualem Benatallah; Axel Martens; Francisco Curbera; Fabio Casati (WWW, 2007)

Business Provenance - A Technology to Increase Traceability of End-to-End Operations. - Francisco Curbera; Yurdaer N. Doganata; Axel Martens; Nirmal Mukhi; Aleksander Slominski (OTM Conferences (1), 2008)

Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis. - Wolfram Amme; Axel Martens; Simon Moser (Int. J. Bus. Process. Integr. Manag., 2009)

Business Control Management - A Discipline to Ensure Regulatory Compliance of SOA Applications. - Axel Martens; Francisco Curbera; Nirmal Mukhi; Aleksander Slominski (Business Process Management Workshops, 2010)

Integrated case management history and analytics. - Axel Martens; Geetika T. Lakshmanan; Nirmal Mukhi; Rania Khalaf (ICDE Workshops, 2011)

Assessing the Health of Case-Oriented Semi-structured Business Processes. - Geetika T. Lakshmanan; Nirmal Mukhi; Rania Khalaf; Axel Martens; Szabolcs Rozsnyai (IEEE SCC, 2012)

Advanced Case Management Enabled by Business Provenance. - Axel Martens; Aleksander Slominski; Geetika T. Lakshmanan; Nirmal Mukhi (ICWS, 2012)

Knowledge Management for Services Transitions. - Axel Martens; Kaan Katircioglu (SRII Global Conference, 2012)