( en | de | ru )

 

Disambiguation of "Farwer, Berndt"

Author of the publication

copydeleteadd this publication to your clipboard
Theoretical and experimental results on the goal-plan tree problem.

, , and . AAMAS (3), page 1379-1382. IFAAMAS, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Berndt Farwer

Susanne Farwer

Alfward Farwer

Jochen Farwer

René Berndt

Einfluss eines diabaten Turboladermodells auf die Gesamtprozess-Simulation abgasturboaufgeladener PKW-Dieselmotoren. TU Berlin, (2009)
 

Other publications of authors with the same name

Controller Synthesis for Object Petri Nets., , and . ICFEM, volume 2885 of Lecture Notes in Computer Science, page 432-451. Springer, (2003)Comparing Concepts of Object Petri Net Formalisms.. Fundam. Informaticae, 47 (3-4): 247-258 (2001)omega-Automata.. Automata, Logics, and Infinite Games, volume 2500 of Lecture Notes in Computer Science, page 3-20. Springer, (2001)Model checking object petri nets in prolog., and . PPDP, page 20-31. ACM, (2004)Theoretical and experimental results on the goal-plan tree problem., , and . AAMAS (3), page 1379-1382. IFAAMAS, (2008)Automated Verification of Multi-Agent Programs., , , and . ASE, page 69-78. IEEE Computer Society, (2008)A Common Semantic Basis for BDI Languages., , , , and . PROMAS, volume 4908 of Lecture Notes in Computer Science, page 124-139. Springer, (2007)Task Suspension in Agent Systems.. Programming Multi-Agent Systems, volume 08361 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)A Systematic Approach towards Object-Based Petri Net Formalisms., and . Ershov Memorial Conference, volume 2244 of Lecture Notes in Computer Science, page 255-267. Springer, (2001)A flexible framework for verifying agent programs., , , and . AAMAS (3), page 1303-1306. IFAAMAS, (2008)