 | 2010 |
|---|
| 26 |       | Nils Bulling,
Berndt Farwer:
On the (Un-)Decidability of Model Checking Resource-Bounded Agents.
ECAI 2010: 567-572 |
| 2009 |
|---|
| 25 | | Nils Bulling,
Berndt Farwer:
Expressing Properties of Resource-Bounded Systems: The Logics RTL* and RTL.
CLIMA 2009: 22-45 |
| 2008 |
|---|
| 24 | | Louise A. Dennis,
Berndt Farwer,
Rafael H. Bordini,
Michael Fisher:
A flexible framework for verifying agent programs.
AAMAS (3) 2008: 1303-1306 |
| 23 | | Patricia H. Shaw,
Berndt Farwer,
Rafael H. Bordini:
Theoretical and experimental results on the goal-plan tree problem.
AAMAS (3) 2008: 1379-1382 |
| 22 | | Rafael H. Bordini,
Louise A. Dennis,
Berndt Farwer,
Michael Fisher:
Automated Verification of Multi-Agent Programs.
ASE 2008: 69-78 |
| 21 | | Berndt Farwer,
Matthias Jantzen,
Manfred Kudlek,
Heiko Rölke,
Georg Zetzsche:
Petri Net Controlled Finite Automata.
Fundam. Inform. 85(1-4): 111-121 (2008) |
| 2007 |
|---|
| 20 | | Michael Köhler,
Berndt Farwer:
Object Nets for Mobility.
ICATPN 2007: 244-262 |
| 19 | | Louise A. Dennis,
Berndt Farwer,
Rafael H. Bordini,
Michael Fisher,
Michael Wooldridge:
A Common Semantic Basis for BDI Languages.
PROMAS 2007: 124-139 |
| 18 | | Berndt Farwer,
Manfred Kudlek,
Heiko Rölke:
Concurrent Turing Machines.
Fundam. Inform. 79(3-4): 303-317 (2007) |
| 2006 |
|---|
| 17 | | Berndt Farwer,
Michael Köhler:
Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets.
Fundam. Inform. 72(1-3): 109-122 (2006) |
| 16 | | Berndt Farwer,
Mauricio Varea:
Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets.
Fundam. Inform. 72(1-3): 123-137 (2006) |
| 2005 |
|---|
| 15 | | Berndt Farwer,
Michael Köhler:
Petri Net Processes for Zero-Safe Nets.
Fundam. Inform. 67(1-3): 65-75 (2005) |
| 2004 |
|---|
| 14 | | Berndt Farwer,
Michael Leuschel:
Model checking object petri nets in prolog.
PPDP 2004: 20-31 |
| 13 | | Berndt Farwer,
Michael Köhler:
Mobile Object-Net Systems and their Processes.
Fundam. Inform. 60(1-4): 113-129 (2004) |
| 12 | | Berndt Farwer,
Manfred Kudlek:
A New Synchronisation Model for Multi-Level Object Petri Nets.
Fundam. Inform. 60(1-4): 131-142 (2004) |
| 2003 |
|---|
| 11 | | Berndt Farwer,
Kundan Misra:
Dynamic Modification of System Structures Using LLPNs.
Ershov Memorial Conference 2003: 274-293 |
| 10 | | Berndt Farwer,
Saraswati Kalvala,
Kundan Misra:
Controller Synthesis for Object Petri Nets.
ICFEM 2003: 432-451 |
| 9 | | Berndt Farwer,
Manfred Kudlek,
Kundan Misra:
Some Considerations on Higher-Order Petri Nets.
Fundam. Inform. 54(2-3): 185-193 (2003) |
| 8 | | Berndt Farwer,
Kundan Misra:
Modelling with Hierarchical Object Petri Nets.
Fundam. Inform. 55(2): 129-147 (2003) |
| 2002 |
|---|
| 7 | | Berndt Farwer:
Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures.
Fundam. Inform. 51(1-2): 91-101 (2002) |
| 2001 |
|---|
| 6 | | Berndt Farwer:
omega-Automata.
Automata, Logics, and Infinite Games 2001: 3-20 |
| 5 | | Berndt Farwer,
Irina A. Lomazova:
A Systematic Approach towards Object-Based Petri Net Formalisms.
Ershov Memorial Conference 2001: 255-267 |
| 4 | | Berndt Farwer:
Comparing Concepts of Object Petri Net Formalisms.
Fundam. Inform. 47(3-4): 247-258 (2001) |
| 2000 |
|---|
| 3 |  | Berndt Farwer:
Linear logic based calculi for object Petri nets.
Logos 2000: I-III, 1-187 |
| 2 | | Berndt Farwer:
A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures.
Fundam. Inform. 43(1-4): 61-79 (2000) |
| 1999 |
|---|
| 1 | | Berndt Farwer:
A Linear Logic View of Object Petri Nets.
Fundam. Inform. 37(3): 225-246 (1999) |
Data released under the ODC-BY 1.0 license — See also our legal information page