Concepedia

Berndt Farwer

BF

Statistics

Publications

7

Citations

188

H-Index

7

Active since

1999

Affiliations

Universität Hamburg(Current)

Durham University

Berndt Farwer is an author at Universität Hamburg specializing in computing, computer science, and formal methods.

Publications per year

1999–2010

7

Publications

7

On the (Un-)Decidability of Model Checking Resource-Bounded Agents

Nils Bulling, Berndt Farwer · 2010 · 45 citations

Computing, Computer Science, Formal Methods +14

A Linear Logic View of Object Petri Nets

Berndt Farwer · Fundamenta Informaticae · 1999 · 41 citations

Computing, Computer Engineering, Computer Science +5

Automated Verification of Multi-Agent Programs

Rafael H. Bordini, Louise A. Dennis, Berndt Farwer et al. · 2008 · 41 citations

Computing, Autonomous Systems, Computer Science +16

Model checking object petri nets in prolog

Berndt Farwer, Michaël Leuschel · 2004 · 23 citations

Computing, Computer Science, Compilers +14

Theoretical and experimental results on the goal-plan tree problem

Patricia Shaw, Berndt Farwer, Rafael H. Bordini · Adaptive Agents and Multi-Agents Systems · 2008 · 17 citations

Computing, Autonomous Systems, Artificial Intelligence +11

1–5 of 7