| 2026 | ICDCIT | Integral Implementation of Higher-Order Algebraic Petri Nets in Maude. | Lorenzo Capra, Michael Khler-Bumeier |
| 2025 | ICDCIT | A "Symbolic" Representation of Object-Nets. | Michael Khler-Bumeier, Lorenzo Capra |
| 2025 | SYNASC | Effective Translation of Algebraic PNs with Active Tokens in Maude: A Model for Adaptive Systems. | Lorenzo Capra, Michael Khler-Bumeier |
| 2024 | GI | Assets, Artifacts and (Multi-)Agents: On Enacting Adaptive Organizations in Cyber-physical Systems: Invited Talk. | Jan Sudeikat, Michael Khler-Bumeier |
| 2024 | IJCCI | Modelling and Simulation of Adaptive Multi-Agent Systems with Stochastic Nets-within-Nets. | Michael Khler-Bumeier, Lorenzo Capra |
| 2023 | GI | Controlled Run-Time Adaptivity in Industrial Agent Systems - Challenges and Research Prospects. | Jan Sudeikat, Michael Khler-Bumeier |
| 2023 | IDC | Studying the Micro-Macro-Dynamics in MAPE-Like Adaption Processes. | Michael Khler-Bumeier, Jan Sudeikat |
| 2023 | SAC | Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems. | Lorenzo Capra, Michael Khler-Bumeier |
| 2023 | WorldCIST | Modelling Adaptive Systems with Maude Nets-within-Nets. | Lorenzo Capra, Michael Khler-Bumeier |
| 2022 | ECSA | A Maude Formalization of Object Nets. | Lorenzo Capra, Michael Khler-Bumeier |
| 2022 | GI | Towards Integrating Multi-Agent Organizations in OPC UA for Developing Adaptive Cyber-Physical Systems. | Jan Sudeikat, Michael Khler-Bumeier |
| 2022 | ICAART | On Combining Domain Modeling and Organizational Modeling for Developing Adaptive Cyber-Physical Systems. | Jan Sudeikat, Michael Khler-Bumeier |
| 2022 | IDC | Balance vs. Contingency: Adaption Measures for Organizational Multi-agent Systems. | Michael Khler-Bumeier, Jan Sudeikat |
| 2010 | LICS | A Survey of Elementary Object Systems. | Michael Khler-Bumeier |
| 2010 | LICS | Complexity of LTL Model-Checking for Safe Object Nets. | Michael Khler-Bumeier, Frank Heitmann |