J.J.M.M. Rutten

3.8k total citations · 1 hit paper
60 papers, 1.5k citations indexed

About

J.J.M.M. Rutten is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, J.J.M.M. Rutten has authored 60 papers receiving a total of 1.5k indexed citations (citations by other indexed papers that have themselves been cited), including 41 papers in Artificial Intelligence, 41 papers in Computational Theory and Mathematics and 10 papers in Computer Networks and Communications. Recurrent topics in J.J.M.M. Rutten's work include Logic, programming, and type systems (33 papers), Formal Methods in Verification (20 papers) and Logic, Reasoning, and Knowledge (19 papers). J.J.M.M. Rutten is often cited by papers focused on Logic, programming, and type systems (33 papers), Formal Methods in Verification (20 papers) and Logic, Reasoning, and Knowledge (19 papers). J.J.M.M. Rutten collaborates with scholars based in Netherlands, Italy and France. J.J.M.M. Rutten's co-authors include Marcello Bonsangue, E.P. de Vink, Franck van Breugel, Joost N. Kok, Farhad Arbab, Marta Kwiatkowska, Gethin Norman, David Parker, Pierre America and Catuscia Palamidessi and has published in prestigious journals such as SHILAP Revista de lepidopterología, Annals of the New York Academy of Sciences and SIAM Journal on Computing.

In The Last Decade

J.J.M.M. Rutten

59 papers receiving 1.3k citations

Hit Papers

Universal coalgebra: a theory of systems 2000 2026 2008 2017 2000 100 200 300 400 500

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
J.J.M.M. Rutten Netherlands 17 1.1k 1.0k 202 197 147 60 1.5k
Glynn Winskel United Kingdom 23 1.5k 1.3× 1.7k 1.7× 604 3.0× 125 0.6× 78 0.5× 119 2.4k
Charles Wells United States 11 660 0.6× 448 0.4× 140 0.7× 252 1.3× 268 1.8× 25 1.1k
Ernest G. Manes United States 17 560 0.5× 652 0.6× 64 0.3× 183 0.9× 144 1.0× 40 1.0k
Jesse B. Wright United States 16 1.2k 1.1× 1.2k 1.2× 155 0.8× 45 0.2× 60 0.4× 32 1.5k
Eugenio Moggi Italy 15 1.6k 1.4× 940 0.9× 233 1.2× 112 0.6× 40 0.3× 39 1.7k
Franck van Breugel Canada 14 276 0.2× 287 0.3× 163 0.8× 47 0.2× 77 0.5× 43 583
Ronald V. Book United States 26 1.3k 1.2× 1.9k 1.8× 144 0.7× 72 0.4× 198 1.3× 101 2.1k
Gérard Huet France 19 2.2k 1.9× 1.5k 1.5× 347 1.7× 58 0.3× 70 0.5× 45 2.4k
Gyula O. H. Katona Hungary 19 201 0.2× 515 0.5× 132 0.7× 54 0.3× 354 2.4× 83 990
J. W. de Bakker Netherlands 16 806 0.7× 862 0.9× 196 1.0× 19 0.1× 48 0.3× 53 1.1k

Countries citing papers authored by J.J.M.M. Rutten

Since Specialization
Citations

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

Fields of papers citing papers by J.J.M.M. Rutten

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

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

This figure shows the co-authorship network connecting the top 25 collaborators of J.J.M.M. Rutten. A scholar is included among the top collaborators of J.J.M.M. Rutten 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.J.M.M. Rutten. J.J.M.M. Rutten is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Ballester‐Bolinches, A., et al.. (2014). The dual equivalence of equations and coequations for automata. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 1–30. 2 indexed citations
2.
Rutten, J.J.M.M., et al.. (2011). An exercise in coinduction: Moessner's theorem. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 1–10. 4 indexed citations
3.
Hansen, Helle Hvid & J.J.M.M. Rutten. (2010). Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions. SHILAP Revista de lepidopterología. 20(2). 97–130. 5 indexed citations
4.
Rutten, J.J.M.M., et al.. (2009). Coinductive Predicates as Final Coalgebras. Data Archiving and Networked Services (DANS). 79–85. 1 indexed citations
5.
Arbab, Farhad, et al.. (2005). Synthesis of Reo circuits. Lecture notes in computer science. 3454. 236–251. 2 indexed citations
6.
Rutten, J.J.M.M., Marta Kwiatkowska, Gethin Norman, & David Parker. (2004). Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems. 103 indexed citations
7.
Rutten, J.J.M.M.. (2003). Coinductive counting with weighted automata. Journal of automata, languages and combinatorics. 8(2). 319–352. 7 indexed citations
8.
Arbab, Farhad & J.J.M.M. Rutten. (2003). A coinductive calculus of component connectors. Lecture notes in computer science. 2755. 35–56. 49 indexed citations
9.
Rutten, J.J.M.M.. (2001). Elements of stream calculus (an extensive exercise in coinduction). Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 1–54. 16 indexed citations
10.
Rutten, J.J.M.M.. (2000). Behavioural differential equations : a coinductive calculus of streams, automata, and power series. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 1–46. 1 indexed citations
11.
Bonsangue, Marcello, Franck van Breugel, & J.J.M.M. Rutten. (1998). Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding. Theoretical Computer Science. 193(1-2). 1–51. 76 indexed citations
12.
Rutten, J.J.M.M.. (1996). Universal coalgebra: a theory of systems. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 1–55. 49 indexed citations
13.
Bonsangue, Marcello, et al.. (1996). Generalized metric spaces : completion, topology, and powerdomains via the Yoneda embedding. Data Archiving and Networked Services (DANS). 1–43. 2 indexed citations
14.
Bonsangue, Marcello, Franck van Breugel, & J.J.M.M. Rutten. (1995). Generalized ultrametric spaces: completion, topology, and powerdomains via the Yoneda embedding. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 1–43. 13 indexed citations
15.
Kok, Joost N., et al.. (1991). The failure of failures in a paradigm for asynchronous communication. Department of Computer Science [CS]. 1–19. 1 indexed citations
16.
Palamidessi, Catuscia, et al.. (1989). Control flow versus logic: a denotational and a declarative model for guarded Horn clauses. Department of Computer Science [CS]. 1–16. 1 indexed citations
17.
America, Pierre & J.J.M.M. Rutten. (1989). A Parallel Object-Oriented Language: Design and Semantic Foundations.. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 1–44. 7 indexed citations
18.
Boer, Frank S. de, Joost N. Kok, Catuscia Palamidessi, & J.J.M.M. Rutten. (1989). Semantic Models for a Version of PARLOG.. International Conference on Lightning Protection. 621–636. 5 indexed citations
19.
Rutten, J.J.M.M.. (1988). Semantic correctness for a parallel object-oriented language. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 1–44. 1 indexed citations
20.
Kok, Joost N. & J.J.M.M. Rutten. (1987). Contractions in comparing concurrency semantics. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 1–40. 2 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

Rankless by CCL
2026