Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Berndt Farwer" ( http://dblp.L3S.de/Authors/Berndt_Farwer )

  Author page on DBLP  Author page in RDF  Community of Berndt Farwer in ASPL-2

Publication years (Num. hits)
1999-2005 (15) 2006-2010 (11)
Publication types (Num. hits)
article(13) book(1) inproceedings(12)
Venues (Conferences, Journals, ...)
Fundam. Inform.(13) AAMAS(2) Ershov Memorial Conference(2) ASE(1) Automata, Logics, and Infinite...(1) CLIMA(1) ECAI(1) ICATPN(1) ICFEM(1) PPDP(1) PROMAS(1)
Authors
Berndt Farwer(26) Kundan Misra(4) Manfred Kudlek(4) Michael Köhler(4) Rafael H. Bordini(4) Louise A. Dennis(3) Michael Fisher(3) Heiko Rölke(2) Nils Bulling(2) Georg Zetzsche(1) Irina A. Lomazova(1) Matthias Jantzen(1) Mauricio Varea(1) Michael Leuschel(1) Michael Wooldridge(1) Patricia H. Shaw(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords
Results
Found 26 publication records. Showing 26 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Nils Bulling, Berndt Farwer On the (Un-)Decidability of Model Checking Resource-Bounded Agents. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Nils Bulling, Berndt Farwer Expressing Properties of Resource-Bounded Systems: The Logics RTL* and RTL. Search on Bibsonomy CLIMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, Georg Zetzsche Petri Net Controlled Finite Automata. Search on Bibsonomy Fundam. Inform. The full citation details ... 2008 DBLP  BibTeX  RDF
1Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher Automated Verification of Multi-Agent Programs. Search on Bibsonomy ASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Patricia H. Shaw, Berndt Farwer, Rafael H. Bordini Theoretical and experimental results on the goal-plan tree problem. Search on Bibsonomy AAMAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher A flexible framework for verifying agent programs. Search on Bibsonomy AAMAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Berndt Farwer, Manfred Kudlek, Heiko Rölke Concurrent Turing Machines. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1Michael Köhler, Berndt Farwer Object Nets for Mobility. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF object nets, Petri nets, Mobile agents, nets-within-nets, name spaces
1Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge A Common Semantic Basis for BDI Languages. Search on Bibsonomy PROMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Berndt Farwer, Mauricio Varea Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2006 DBLP  BibTeX  RDF
1Berndt Farwer, Michael Köhler Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2006 DBLP  BibTeX  RDF
1Berndt Farwer, Michael Köhler Petri Net Processes for Zero-Safe Nets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2005 DBLP  BibTeX  RDF
1Berndt Farwer, Michael Köhler Mobile Object-Net Systems and their Processes. Search on Bibsonomy Fundam. Inform. The full citation details ... 2004 DBLP  BibTeX  RDF
1Berndt Farwer, Manfred Kudlek A New Synchronisation Model for Multi-Level Object Petri Nets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2004 DBLP  BibTeX  RDF
1Berndt Farwer, Michael Leuschel Model checking object petri nets in prolog. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF model checking, compilation, animation, prolog, object petri nets
1Berndt Farwer, Manfred Kudlek, Kundan Misra Some Considerations on Higher-Order Petri Nets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2003 DBLP  BibTeX  RDF
1Berndt Farwer, Kundan Misra Modelling with Hierarchical Object Petri Nets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2003 DBLP  BibTeX  RDF
1Berndt Farwer, Saraswati Kalvala, Kundan Misra Controller Synthesis for Object Petri Nets. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Berndt Farwer, Kundan Misra Dynamic Modification of System Structures Using LLPNs. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Berndt Farwer Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures. Search on Bibsonomy Fundam. Inform. The full citation details ... 2002 DBLP  BibTeX  RDF
1Berndt Farwer Comparing Concepts of Object Petri Net Formalisms. Search on Bibsonomy Fundam. Inform. The full citation details ... 2001 DBLP  BibTeX  RDF
1Berndt Farwer, Irina A. Lomazova A Systematic Approach towards Object-Based Petri Net Formalisms. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Berndt Farwer omega-Automata. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Berndt Farwer A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures. Search on Bibsonomy Fundam. Inform. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Berndt Farwer Linear logic based calculi for object Petri nets. Search on Bibsonomy 2000   RDF
1Berndt Farwer A Linear Logic View of Object Petri Nets. Search on Bibsonomy Fundam. Inform. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #26 of 26 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.