Berndt Farwer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2003–2010
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ECAI | On the (Un-)Decidability of Model Checking Resource-Bounded Agents. | Nils Bulling, Berndt Farwer |
| 2004 | PPDP | Model checking object petri nets in prolog. | Berndt Farwer, Michael Leuschel |
| 2003 | ICFEM | Controller Synthesis for Object Petri Nets. | Berndt Farwer, Saraswati Kalvala, Kundan Misra |