A Linear Logic View of Object Petri Nets. - Berndt Farwer (Fundam. Informaticae, 1999)

Linear logic based calculi for object Petri nets. - Berndt Farwer (Logos, 2000)

A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures. - Berndt Farwer (Fundam. Informaticae, 2000)

omega-Automata. - Berndt Farwer (Automata, Logics, and Infinite Games, 2001)

A Systematic Approach towards Object-Based Petri Net Formalisms. - Berndt Farwer; Irina A. Lomazova (Ershov Memorial Conference, 2001)

Comparing Concepts of Object Petri Net Formalisms. - Berndt Farwer (Fundam. Informaticae, 2001)

Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures. - Berndt Farwer (Fundam. Informaticae, 2002)

Dynamic Modification of System Structures Using LLPNs. - Berndt Farwer; Kundan Misra (Ershov Memorial Conference, 2003)

Controller Synthesis for Object Petri Nets. - Berndt Farwer; Saraswati Kalvala; Kundan Misra (ICFEM, 2003)

Some Considerations on Higher-Order Petri Nets. - Berndt Farwer; Manfred Kudlek; Kundan Misra (Fundam. Informaticae, 2003)

Modelling with Hierarchical Object Petri Nets. - Berndt Farwer; Kundan Misra (Fundam. Informaticae, 2003)

Model checking object petri nets in prolog. - Berndt Farwer; Michael Leuschel (PPDP, 2004)

Mobile Object-Net Systems and their Processes. - Berndt Farwer; Michael Köhler 001 (Fundam. Informaticae, 2004)

A New Synchronisation Model for Multi-Level Object Petri Nets. - Berndt Farwer; Manfred Kudlek (Fundam. Informaticae, 2004)

Petri Net Processes for Zero-Safe Nets. - Berndt Farwer; Michael Köhler 001 (Fundam. Informaticae, 2005)

Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets. - Berndt Farwer; Michael Köhler 001 (Fundam. Informaticae, 2006)

Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets. - Berndt Farwer; Mauricio Varea (Fundam. Informaticae, 2006)

Object Nets for Mobility. - Michael Köhler 001; Berndt Farwer (ICATPN, 2007)

A Common Semantic Basis for BDI Languages. - Louise A. Dennis; Berndt Farwer; Rafael H. Bordini; Michael Fisher 001; Michael J. Wooldridge (PROMAS, 2007)

Concurrent Turing Machines. - Berndt Farwer; Manfred Kudlek; Heiko Rölke (Fundam. Informaticae, 2007)

A flexible framework for verifying agent programs. - Louise A. Dennis; Berndt Farwer; Rafael H. Bordini; Michael Fisher 001 (AAMAS (3), 2008)

Theoretical and experimental results on the goal-plan tree problem. - Patricia H. Shaw; Berndt Farwer; Rafael H. Bordini (AAMAS (3), 2008)

Task Suspension in Agent Systems. - Berndt Farwer (Programming Multi-Agent Systems, 2008)

Automated Verification of Multi-Agent Programs. - Rafael H. Bordini; Louise A. Dennis; Berndt Farwer; Michael Fisher 001 (ASE, 2008)

Petri Net Controlled Finite Automata. - Berndt Farwer; Matthias Jantzen; Manfred Kudlek; Heiko Rölke; Georg Zetzsche (Fundam. Informaticae, 2008)

Expressing Properties of Resource-Bounded Systems: The Logics RTL* and RTL. - Nils Bulling; Berndt Farwer (CLIMA, 2009)

On the (Un-)Decidability of Model Checking Resource-Bounded Agents. - Nils Bulling; Berndt Farwer (ECAI, 2010)

Incorporating BDI-Agent Concepts into Object-Oriented Programming. - Berndt Müller; Jack Betts (CS&P, 2014)

Engineering MAS - A Device Integration Framework for Smart Home Environments. - Jack Betts; Berndt Müller (Fundam. Informaticae, 2014)

Preface. - Berndt Müller; Melvin Fitting (Fundam. Informaticae, 2014)

Editorial. - Berndt Müller (Connect. Sci., 2015)

Towards Efficient Verification of Elementary Object Systems. - Ismaila Jihad Abdullahi; Berndt Müller (CS&P, 2016)

Agents and Dementia - Smart Risk Assessment. - Steve Williams 004; Berndt Müller (EUMAS/AT, 2016)

Preserving safety, privacy and mobility of persons living with Dementia by recognising uncharacteristic out-door movement using Recurrent Neural Networks with low computing capacity. - Steve Williams 004; John Mark Ware; Berndt Müller (AIH@IJCAI, 2018)

Ethical Surveillance: Applying Deep Learning and Contextual Awareness for the Benefit of Persons Living with Dementia. - Steve Williams 004; John Mark Ware; Berndt Müller (AIH@IJCAI (Revised Selected Papers), 2018)

SLIDR and SLOPPR: flexible identification of spliced leader trans-splicing and prediction of eukaryotic operons from RNA-Seq data. - Marius A. Wenzel; Berndt Müller; Jonathan Pettitt (BMC Bioinform., 2021)

On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study. - Veera Raghava Reddy Kovvuri; Siyuan Liu 003; Monika Seisenberger; Xiuyi Fan; Berndt Müller; Hsuan Fu (INISTA, 2022)

On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study. - Veera Raghava Reddy Kovvuri; Siyuan Liu 003; Monika Seisenberger; Berndt Müller; Xiuyi Fan (CoRR, 2022)

Future Proofing Systems Engineering: Reliability, Responsibility, and Resilience. - Berndt Müller (IDC, 2023)

All that glitters is not gold: trustworthy and ethical AI principles. - Connor Rees; Berndt Müller (AI Ethics, 2023)

Designing for Situated AI-Human Decision Making: Lessons Learned from a Primary Care Deployment Ben Wilson. - Ben Wilson; Darren Scott; Matt J. Roach; Emily Esther Nielsen; Berndt Müller (SYNERGY@AVI, 2024)