J.M. Davoren

544 total citations
15 papers, 150 citations indexed

About

J.M. Davoren is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Control and Systems Engineering. According to data from OpenAlex, J.M. Davoren has authored 15 papers receiving a total of 150 indexed citations (citations by other indexed papers that have themselves been cited), including 13 papers in Computational Theory and Mathematics, 7 papers in Artificial Intelligence and 3 papers in Control and Systems Engineering. Recurrent topics in J.M. Davoren's work include Formal Methods in Verification (12 papers), Petri Nets in System Modeling (9 papers) and Logic, programming, and type systems (7 papers). J.M. Davoren is often cited by papers focused on Formal Methods in Verification (12 papers), Petri Nets in System Modeling (9 papers) and Logic, programming, and type systems (7 papers). J.M. Davoren collaborates with scholars based in Australia, Germany and United States. J.M. Davoren's co-authors include Anil Nerode, Jörg Raisch, Tine De Moor, Thomas Moor, Brian D. O. Anderson, Allen Hazen and Sergei Artëmov and has published in prestigious journals such as Proceedings of the IEEE, Australasian Journal of Philosophy and Annals of Pure and Applied Logic.

In The Last Decade

J.M. Davoren

14 papers receiving 137 citations

Peers

J.M. Davoren

CTM

AI

CSE

HA

SOFTW

Anne-Kathrin Schmuck Germany

Marisa Venturini Zilli Italy

Markus N. Rabe United States

Marcus Größer Germany

Sergio Mover Italy

Nima Roohi United States

Kåre J. Kristoffersen Denmark

Marc Pantel France

Roberto Cavada Italy

Bernhard Josko Germany

Anne-Kathrin Schmuck Germany

J.M. Davoren

132 ×1.2

CTM

57 ×0.8

AI

50 ×1.6

CSE

23 ×1.1

HA

28 ×1.4

SOFTW

Citations per year, relative to J.M. Davoren J.M. Davoren (= 1×) peers Anne-Kathrin Schmuck

Countries citing papers authored by J.M. Davoren

Since Specialization

Citations

This map shows the geographic impact of J.M. Davoren'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 J.M. Davoren with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites J.M. Davoren more than expected).

Fields of papers citing papers by J.M. Davoren

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by J.M. Davoren. 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 J.M. Davoren. The network helps show where J.M. Davoren may publish in the future.

Co-authorship network of co-authors of J.M. Davoren

This figure shows the co-authorship network connecting the top 25 collaborators of J.M. Davoren. A scholar is included among the top collaborators of J.M. Davoren 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 J.M. Davoren. J.M. Davoren 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:

15 of 15 papers shown

1.

Davoren, J.M.. (2009). On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations. Annals of Pure and Applied Logic. 161(3). 349–367. 8 indexed citations

2.

Davoren, J.M.. (2007). Logic-based design and synthesis of controllers for hybrid systems. 1 indexed citations

3.

Moor, Tine De, J.M. Davoren, & Jörg Raisch. (2006). Learning by doing: systematic abstraction refinement for hybrid control synthesis. IEE Proceedings - Control Theory and Applications. 153(5). 591–599. 6 indexed citations

4.

Davoren, J.M. & Thomas Moor. (2006). NON-DETERMINISTIC REACTIVE SYSTEMS, FROM HYBRID SYSTEMS AND BEHAVIOURAL SYSTEMS PERSPECTIVES. IFAC Proceedings Volumes. 39(5). 409–416. 1 indexed citations

5.

Raisch, Jörg, et al.. (2003). Computational advantages of a two-level hybrid control architecture. Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228). 1. 358–363. 4 indexed citations

6.

Moor, Thomas, Jörg Raisch, & J.M. Davoren. (2003). Admissibility Criteria for a Hierarchical Design of Hybrid Control Systems 1. IFAC Proceedings Volumes. 36(6). 349–354. 13 indexed citations

7.

Moor, Tine De, J.M. Davoren, & Jörg Raisch. (2003). Strategic refinements in abstraction based supervisory control of hybrid systems. 41. 329–334. 5 indexed citations

8.

Moor, Tine De, J.M. Davoren, & Brian D. O. Anderson. (2003). Robust hybrid control from a behavioural perspective. 2. 1169–1174. 5 indexed citations

9.

Raisch, Jörg, et al.. (2002). Computational advantages of a two-level hybrid control architecture. Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228). 6 indexed citations

10.

Artëmov, Sergei, J.M. Davoren, & Anil Nerode. (2002). Logic, topological semantics and hybrid systems. 1. 698–701.

11.

Moor, Tine De, J.M. Davoren, & Jörg Raisch. (2001). Modular supervisory control of a class of hybrid systems in a behavioural framework. 870–875. 5 indexed citations

12.

Hazen, Allen & J.M. Davoren. (2000). Russell's 1925 logic. Australasian Journal of Philosophy. 78(4). 534–556. 4 indexed citations

13.

Davoren, J.M.. (2000). Using modal logics for the formal analysis and synthesis of hybrid control systems. ANU Open Research (Australian National University). 3 indexed citations

14.

Davoren, J.M. & Anil Nerode. (2000). Logics for hybrid systems. Proceedings of the IEEE. 88(7). 985–1010. 74 indexed citations

15.

Davoren, J.M.. (1999). Topologies, Continuity and Bisimulations. RAIRO - Theoretical Informatics and Applications. 33(4-5). 357–381. 15 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