Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs. - Jens Claßen; Martin Liebenberg; Gerhard Lakemeyer; Benjamin Zarrieß (AAAI, 2014)

Towards Using i* for Modeling Mega-Urban Processes. - Martin Liebenberg; Victor Matare; Klaus Baier; Gerhard Lakemeyer (iStar, 2014)

Towards integrated intentional agent simulation and semantic geodata management in complex urban systems modeling. - Klaus Baier; Victor Matare; Martin Liebenberg; Gerhard Lakemeyer (Comput. Environ. Urban Syst., 2015)

An iStar 2.0 Editor Based on the Eclipse Modelling Framework. - Martin Liebenberg; Kerstin Roßmaier; Gerhard Lakemeyer (iStar, 2017)

Information Systems Engineering with Digital Shadows: Concept and Case Studies - An Exploratory Paper. - Martin Liebenberg; Matthias Jarke (CAiSE, 2020)

FactDAG: Formalizing Data Interoperability in an Internet of Production. - Lars Christoph Gleim; Jan Pennekamp; Martin Liebenberg; Melanie Buchsbaum; Philipp Niemietz; Simon Knape; Alexander Epple; Simon Storms; Daniel Trauth; Thomas Bergs; Christian Brecher; Stefan Decker; et al. (IEEE Internet Things J., 2020)

Autonomous agents for the World Wide Lab: artificial intelligence in the manufacturing industry. - Martin Liebenberg (2021)

A Computer Science Perspective on Digital Transformation in Production. - Philipp Brauner; Manuela Dalibor; Matthias Jarke; Ike Kunze; István Koren; Gerhard Lakemeyer; Martin Liebenberg; Judith Michael; Jan Pennekamp; Christoph Quix; Bernhard Rumpe; Wil M. P. van der Aalst; et al. (ACM Trans. Internet Things, 2022)

Information systems engineering with Digital Shadows: Concept and use cases in the Internet of Production. - Martin Liebenberg; Matthias Jarke (Inf. Syst., 2023)

i* for Sustainability: A Case Study in Urban Management. - Gerhard Lakemeyer; Martin Liebenberg (Social Modeling Using the i* Framework, 2024)