Search the dblp DataBase

Publications of Author

1. Berndt Farwer
   omega-Automata. [Citation Graph (0, 0)][DBLP]
   Automata, Logics, and Infinite Games, 2001, pp:3-20 [Conf]
   
2. Berndt Farwer, Irina A. Lomazova
   A Systematic Approach towards Object-Based Petri Net Formalisms. [Citation Graph (0, 0)][DBLP]
   Ershov Memorial Conference, 2001, pp:255-267 [Conf]
   
3. Berndt Farwer, Kundan Misra
   Dynamic Modification of System Structures Using LLPNs. [Citation Graph (0, 0)][DBLP]
   Ershov Memorial Conference, 2003, pp:274-293 [Conf]
   
4. Berndt Farwer, Saraswati Kalvala, Kundan Misra
   Controller Synthesis for Object Petri Nets. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2003, pp:432-451 [Conf]
   
5. Berndt Farwer, Michael Leuschel
   Model checking object petri nets in prolog. [Citation Graph (0, 0)][DBLP]
   PPDP, 2004, pp:20-31 [Conf]
   
6. Berndt Farwer
   A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2000, v:43, n:1-4, pp:61-79 [Journal]
   
7. Berndt Farwer
   Comparing Concepts of Object Petri Net Formalisms. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2001, v:47, n:3-4, pp:247-258 [Journal]
   
8. Berndt Farwer
   Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2002, v:51, n:1-2, pp:91-101 [Journal]
   
9. Berndt Farwer
   A Linear Logic View of Object Petri Nets. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1999, v:37, n:3, pp:225-246 [Journal]
   
10. Berndt Farwer, Michael Köhler
    Mobile Object-Net Systems and their Processes. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:113-129 [Journal]
    
11. Berndt Farwer, Manfred Kudlek
    A New Synchronisation Model for Multi-Level Object Petri Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:131-142 [Journal]
    
12. Berndt Farwer, Michael Köhler
    Petri Net Processes for Zero-Safe Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:65-75 [Journal]
    
13. Berndt Farwer, Manfred Kudlek, Kundan Misra
    Some Considerations on Higher-Order Petri Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:185-193 [Journal]
    
14. Berndt Farwer, Kundan Misra
    Modelling with Hierarchical Object Petri Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:55, n:2, pp:129-147 [Journal]
    
15. Berndt Farwer, Michael Köhler
    Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:109-122 [Journal]
    
16. Berndt Farwer, Mauricio Varea
    Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:123-137 [Journal]
    
17. Michael Köhler, Berndt Farwer
    Object Nets for Mobility. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:244-262 [Conf]
    
18. Berndt Farwer, Manfred Kudlek, Heiko Rölke
    Concurrent Turing Machines. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:79, n:3-4, pp:303-317 [Journal]
    
19. 
    A flexible framework for verifying agent programs. [Citation Graph (, )][DBLP]
    
    
20. 
    Theoretical and experimental results on the goal-plan tree problem. [Citation Graph (, )][DBLP]
    
    
21. 
    On the (Un-)Decidability of Model Checking Resource-Bounded Agents. [Citation Graph (, )][DBLP]
    
    
22. 
    Automated Verification of Multi-Agent Programs. [Citation Graph (, )][DBLP]
    
    
23. 
    A Common Semantic Basis for BDI Languages. [Citation Graph (, )][DBLP]