Berndt Farwer

403 total citations
21 papers, 128 citations indexed

About

Berndt Farwer is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications. According to data from OpenAlex, Berndt Farwer has authored 21 papers receiving a total of 128 indexed citations (citations by other indexed papers that have themselves been cited), including 19 papers in Computational Theory and Mathematics, 8 papers in Artificial Intelligence and 6 papers in Computer Networks and Communications. Recurrent topics in Berndt Farwer's work include Petri Nets in System Modeling (13 papers), Formal Methods in Verification (11 papers) and Logic, Reasoning, and Knowledge (5 papers). Berndt Farwer is often cited by papers focused on Petri Nets in System Modeling (13 papers), Formal Methods in Verification (11 papers) and Logic, Reasoning, and Knowledge (5 papers). Berndt Farwer collaborates with scholars based in Germany, United Kingdom and New Zealand. Berndt Farwer's co-authors include Nils Bulling, Rafael H. Bordini, Michaël Leuschel, Michael Köhler, Michael Fisher, Louise A. Dennis, Patricia Shaw, Manfred Kudlek, Daniel Moldt and F. García-Vallés and has published in prestigious journals such as Fundamenta Informaticae, ePrints Soton (University of Southampton) and Dépôt institutionnel de l'Université libre de Bruxelles (Université Libre de Bruxelles).

In The Last Decade

Berndt Farwer

21 papers receiving 116 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Berndt Farwer Germany	7	100	66	30	29	22	21	128
Lucia Pomello Italy	6	113 1.1×	59 0.9×	37 1.2×	37 1.3×	13 0.6×	23	143
Dirk Taubner Germany	6	100 1.0×	68 1.0×	20 0.7×	23 0.8×	21 1.0×	10	125
Astrid Kiehn Germany	4	128 1.3×	97 1.5×	52 1.7×	26 0.9×	14 0.6×	10	167
Laurent Van Begin Belgium	7	132 1.3×	41 0.6×	39 1.3×	27 0.9×	33 1.5×	24	157
Peter Habermehl France	9	156 1.6×	111 1.7×	21 0.7×	15 0.5×	69 3.1×	22	191
Fabrice Kordon France	6	49 0.5×	33 0.5×	28 0.9×	22 0.8×	34 1.5×	27	108
Daniel Yankelevich Argentina	7	61 0.6×	96 1.5×	42 1.4×	12 0.4×	30 1.4×	19	144
Paolo Baldan Italy	5	47 0.5×	38 0.6×	15 0.5×	17 0.6×	35 1.6×	7	76
Sascha Klüppelholz Germany	7	76 0.8×	105 1.6×	31 1.0×	11 0.4×	60 2.7×	23	148
Richard Trefler Canada	7	106 1.1×	69 1.0×	23 0.8×	6 0.2×	60 2.7×	13	142

Countries citing papers authored by Berndt Farwer

Since Specialization

Citations

This map shows the geographic impact of Berndt Farwer's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Berndt Farwer with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Berndt Farwer more than expected).

Fields of papers citing papers by Berndt Farwer

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Berndt Farwer. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Berndt Farwer. The network helps show where Berndt Farwer may publish in the future.

Co-authorship network of co-authors of Berndt Farwer

This figure shows the co-authorship network connecting the top 25 collaborators of Berndt Farwer. A scholar is included among the top collaborators of Berndt Farwer based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Berndt Farwer. Berndt Farwer is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Bulling, Nils & Berndt Farwer. (2010). On the (Un-)Decidability of Model Checking Resource-Bounded Agents. European Conference on Artificial Intelligence. 567–572. 23 indexed citations

Farwer, Berndt, Manfred Kudlek, & Heiko Rölke. (2008). Concurrent Turing Machines. Fundamenta Informaticae. 79(3). 303–317. 1 indexed citations

Shaw, Patricia, Berndt Farwer, & Rafael H. Bordini. (2008). Theoretical and experimental results on the goal-plan tree problem. Adaptive Agents and Multi-Agents Systems. 1379–1382. 9 indexed citations

Farwer, Berndt, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, & Georg Zetzsche. (2008). Petri Net Controlled Finite Automata. Fundamenta Informaticae. 85(1-4). 111–121. 3 indexed citations

Dennis, Louise A., Berndt Farwer, Rafael H. Bordini, & Michael Fisher. (2008). A Flexible Framework for Verifying Agent Programs (Short Paper). 2 indexed citations

Farwer, Berndt, et al.. (2006). Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets. Fundamenta Informaticae. 72(1). 123–137. 1 indexed citations

Farwer, Berndt & Michael Köhler. (2006). Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets. Fundamenta Informaticae. 72(1). 109–122. 5 indexed citations

Farwer, Berndt, et al.. (2005). Object-based Control/Data-flow Analysis. ePrints Soton (University of Southampton). 1 indexed citations

Farwer, Berndt, Daniel Moldt, & F. García-Vallés. (2005). An approach to modelling fms with dynamic object petri nets. vol.4. 49–54. 2 indexed citations

10.

Farwer, Berndt & Manfred Kudlek. (2004). A New Synchronisation Model for Multi-Level Object Petri Nets. Fundamenta Informaticae. 60(1). 131–142. 1 indexed citations

11.

Farwer, Berndt & Michaël Leuschel. (2004). Model Checking Object Petri Nets in Maude and Prolog. 2 indexed citations

12.

Farwer, Berndt & Michaël Leuschel. (2004). Model checking object petri nets in prolog. 20–31. 12 indexed citations

13.

Farwer, Berndt & Michael Köhler. (2003). Mobile Object-Net Systems and their Processes. Fundamenta Informaticae. 60(1). 113–129. 6 indexed citations

14.

Farwer, Berndt, et al.. (2003). Modelling with Hierarchical Object Petri Nets. Fundamenta Informaticae. 55(2). 129–147. 7 indexed citations

15.

Farwer, Berndt, et al.. (2002). Some considerations on higher-order Petri nets. Fundamenta Informaticae. 54(2). 185–193. 1 indexed citations

16.

Farwer, Berndt. (2002). ω-automata. 3. 3 indexed citations

17.

Farwer, Berndt. (2000). A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures. Fundamenta Informaticae. 43(1-4). 61–79. 1 indexed citations

18.

Farwer, Berndt. (1999). A Linear Logic View of Object Petri Nets. Fundamenta Informaticae. 37(3). 225–246. 27 indexed citations

19.

Farwer, Berndt. (1998). Towards Linear Logic Petri Nets - From P/T-Nets to Object Systems. 3 indexed citations

20.

Devillers, Raymond, et al.. (1997). General Parameterised Refinement in the M-net Calculus. Dépôt institutionnel de l'Université libre de Bruxelles (Université Libre de Bruxelles). 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact