Berndt Farwer

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