Jurriaan Rot

679 total citations
30 papers, 81 citations indexed

About

Jurriaan Rot is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Jurriaan Rot has authored 30 papers receiving a total of 81 indexed citations (citations by other indexed papers that have themselves been cited), including 28 papers in Artificial Intelligence, 23 papers in Computational Theory and Mathematics and 2 papers in Computer Networks and Communications. Recurrent topics in Jurriaan Rot's work include Logic, programming, and type systems (25 papers), Formal Methods in Verification (19 papers) and Logic, Reasoning, and Knowledge (12 papers). Jurriaan Rot is often cited by papers focused on Logic, programming, and type systems (25 papers), Formal Methods in Verification (19 papers) and Logic, Reasoning, and Knowledge (12 papers). Jurriaan Rot collaborates with scholars based in Netherlands, United Kingdom and France. Jurriaan Rot's co-authors include Marcello Bonsangue, Damien Pous, Filippo Bonchi, Jan Rutten, Reiner Hähnle, Frank de Boer, Bartek Klin, Alexandra Silva, Richard Bubel and Alexander Kurz and has published in prestigious journals such as SHILAP Revista de lepidopterología, Lecture notes in computer science and Information and Computation.

In The Last Decade

Jurriaan Rot

25 papers receiving 81 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Jurriaan Rot Netherlands	5	71	60	8	8	5	30	81
Russell Harmer France	3	73 1.0×	53 0.9×	7 0.9×	8 1.0×	2 0.4×	4	78
David Nowak France	5	55 0.8×	44 0.7×	7 0.9×	7 0.9×	2 0.4×	11	68
Jens Chr. Godskesen Denmark	6	43 0.6×	46 0.8×	14 1.8×	21 2.6×	2 0.4×	18	67
Sascha Böhme Germany	6	97 1.4×	72 1.2×	10 1.3×	11 1.4×		8	106
Alessio Guglielmi United Kingdom	6	142 2.0×	112 1.9×	12 1.5×	3 0.4×	4 0.8×	18	158
Joe Hurd United Kingdom	5	79 1.1×	56 0.9×	6 0.8×	16 2.0×	1 0.2×	13	90
Laurence Rideau France	5	41 0.6×	38 0.6×	6 0.8×	8 1.0×		10	53
Christian Sternagel Austria	5	42 0.6×	27 0.5×	7 0.9×	6 0.8×	1 0.2×	19	43
Alexandre Madeira Portugal	7	98 1.4×	90 1.5×	9 1.1×	9 1.1×		40	122
Cătălin Dima France	5	50 0.7×	53 0.9×	3 0.4×	5 0.6×	5 1.0×	14	65

Countries citing papers authored by Jurriaan Rot

Since Specialization

Citations

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

Fields of papers citing papers by Jurriaan Rot

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Jurriaan Rot

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

Pous, Damien, et al.. (2024). On Tools for Completeness of Kleene Algebra with Hypotheses (extended version). SPIRE - Sciences Po Institutional REpository.

Rot, Jurriaan, et al.. (2024). Composing Codensity Bisimulations. Radboud Repository (Radboud University). 1–13. 2 indexed citations

Katsumata, Shin-ya, et al.. (2021). Expressivity of quantitative modal logics : categorical foundations via codensity and approximation. Strathprints: The University of Strathclyde institutional repository (University of Strathclyde). 3 indexed citations

Dardha, Ornela & Jurriaan Rot. (2020). Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics. Electronic Proceedings in Theoretical Computer Science. 322. 1 indexed citations

Ancona, Davide, et al.. (2020). A big step from finite to infinite computations. Science of Computer Programming. 197. 102492–102492. 1 indexed citations

Rot, Jurriaan, et al.. (2019). Tree Automata as Algebras: Minimisation and Determinisation. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 1 indexed citations

Rot, Jurriaan. (2019). Distributive laws for monotone specifications. Acta Informatica. 56(7-8). 585–617.

Pérez, Jorge A. & Jurriaan Rot. (2019). Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics. Electronic Proceedings in Theoretical Computer Science. 300.

Boer, Frank S. de, et al.. (2017). Verifying OpenJDK’s Sort Method for Generic Collections. Journal of Automated Reasoning. 62(1). 93–126. 9 indexed citations

10.

Klin, Bartek & Jurriaan Rot. (2017). Coalgebraic trace semantics via forgetful logics. Logical Methods in Computer Science. Volume 12, Issue 4. 4 indexed citations

11.

Rot, Jurriaan & Marcello Bonsangue. (2016). Structural congruence for bialgebraic semantics. Journal of Logical and Algebraic Methods in Programming. 85(6). 1268–1291. 1 indexed citations

12.

Bonchi, Filippo, et al.. (2016). A general account of coinduction up-to. Acta Informatica. 54(2). 127–190. 13 indexed citations

13.

Rot, Jurriaan. (2016). Coalgebraic Minimization of Automata by Initiality and Finality. Electronic Notes in Theoretical Computer Science. 325. 253–276. 2 indexed citations

14.

Rot, Jurriaan, Filippo Bonchi, Marcello Bonsangue, et al.. (2015). Enhanced coalgebraic bisimulation. Mathematical Structures in Computer Science. 27(7). 1236–1264. 10 indexed citations

15.

Boer, Frank S. de, Marcello Bonsangue, & Jurriaan Rot. (2015). It is pointless to point in bounded heaps. Science of Computer Programming. 112. 102–118. 1 indexed citations

16.

Bonsangue, Marcello, Helle Hvid Hansen, Alexander Kurz, & Jurriaan Rot. (2015). Presenting Distributive Laws. Logical Methods in Computer Science. Volume 11, Issue 3. 8 indexed citations

17.

Rot, Jurriaan, Marcello Bonsangue, & Jan Rutten. (2015). Proving language inclusion and equivalence by coinduction. Information and Computation. 246. 62–76. 7 indexed citations

18.

Boer, Frank de, et al.. (2014). Model checking recursive programs interacting via the heap. Science of Computer Programming. 100. 61–83. 1 indexed citations

19.

Rot, Jurriaan, et al.. (2012). Interacting via the Heap in the Presence of Recursion. SHILAP Revista de lepidopterología. 104. 99–113. 3 indexed citations

20.

Bonsangue, Marcello, Stefan Milius, & Jurriaan Rot. (2012). On the specification of operations on the rational behaviour of systems. SHILAP Revista de lepidopterología. 89. 3–18. 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