Berndt Farwer

Publication Activity (10 Years)

Years Active: 1999-2010
Publications (10 Years): 0

Publications

Nils Bulling, Berndt Farwer
On the (Un-)Decidability of Model Checking Resource-Bounded Agents. ECAI (2010)
Nils Bulling, Berndt Farwer
and RTL. CLIMA (2009)
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher
A flexible framework for verifying agent programs. AAMAS (3) (2008)
Patricia H. Shaw, Berndt Farwer, Rafael H. Bordini
Theoretical and experimental results on the goal-plan tree problem. AAMAS (3) (2008)
Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, Georg Zetzsche
Petri Net Controlled Finite Automata. Fundam. Informaticae 85 (1-4) (2008)
Berndt Farwer
Task Suspension in Agent Systems. Programming Multi-Agent Systems (2008)
Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher
Automated Verification of Multi-Agent Programs. ASE (2008)
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael J. Wooldridge
A Common Semantic Basis for BDI Languages. PROMAS (2007)
Berndt Farwer, Manfred Kudlek, Heiko Rölke
Concurrent Turing Machines. Fundam. Informaticae 79 (3-4) (2007)
Michael Köhler, Berndt Farwer
Object Nets for Mobility. ICATPN (2007)
Berndt Farwer, Michael Köhler
Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets. Fundam. Informaticae 72 (1-3) (2006)
Berndt Farwer, Mauricio Varea
Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets. Fundam. Informaticae 72 (1-3) (2006)
Berndt Farwer, Michael Köhler
Petri Net Processes for Zero-Safe Nets. Fundam. Informaticae 67 (1-3) (2005)
Berndt Farwer, Michael Köhler
Mobile Object-Net Systems and their Processes. Fundam. Informaticae 60 (1-4) (2004)
Berndt Farwer, Michael Leuschel
Model checking object petri nets in prolog. PPDP (2004)
Berndt Farwer, Manfred Kudlek
A New Synchronisation Model for Multi-Level Object Petri Nets. Fundam. Informaticae 60 (1-4) (2004)
Berndt Farwer, Manfred Kudlek, Kundan Misra
Some Considerations on Higher-Order Petri Nets. Fundam. Informaticae 54 (2-3) (2003)
Berndt Farwer, Kundan Misra
Dynamic Modification of System Structures Using LLPNs. Ershov Memorial Conference (2003)
Berndt Farwer, Kundan Misra
Modelling with Hierarchical Object Petri Nets. Fundam. Informaticae 55 (2) (2003)
Berndt Farwer, Saraswati Kalvala, Kundan Misra
Controller Synthesis for Object Petri Nets. ICFEM (2003)
Berndt Farwer
Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures. Fundam. Informaticae 51 (1-2) (2002)
Berndt Farwer
omega-Automata. Automata, Logics, and Infinite Games (2001)
Berndt Farwer
Comparing Concepts of Object Petri Net Formalisms. Fundam. Informaticae 47 (3-4) (2001)
Berndt Farwer, Irina A. Lomazova
A Systematic Approach towards Object-Based Petri Net Formalisms. Ershov Memorial Conference (2001)
Berndt Farwer
A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures. Fundam. Informaticae 43 (1-4) (2000)
Berndt Farwer
A Linear Logic View of Object Petri Nets. Fundam. Informaticae 37 (3) (1999)