World's Best Scientists 2026 revealed!

D-Index & Metrics

Engineering and Technology

D-Index
42
Citations
8509
World Ranking
6450
National Ranking
130

Overview

Jan Rutten is affiliated with Radboud University in the Netherlands and has contributed extensively to research in computer science, with a strong focus on artificial intelligence and software. Their work intersects several subfields including computational theory and mathematics, statistical and nonlinear physics, and sociology and political science.

Their research portfolio covers a range of topics such as:

  • Machine Learning and Algorithms
  • Formal Methods in Verification
  • Quantum Computing Algorithms and Architecture
  • Software Reliability and Analysis Research
  • Misinformation and Its Impacts
  • Complex Network Analysis Techniques
  • Software Testing and Debugging Techniques

Rutten's recent scholarly articles include:

  • Multi-view learning with distinguishable feature fusion for rumor detection, 2022, published in Knowledge-Based Systems
  • Multi-scale graph capsule with influence attention for information cascades prediction, 2021, in International Journal of Intelligent Systems
  • Catch me if you can: A participant-level rumor detection framework via fine-grained user representation learning, 2021, Information Processing & Management
  • Modeling microscopic and macroscopic information diffusion for rumor detection, 2021, International Journal of Intelligent Systems
  • Symbolic execution formally explained, 2021, Formal Aspects of Computing

The venues where Rutten frequently publishes include the International Journal of Intelligent Systems, arXiv (Cornell University), Knowledge-Based Systems, Information Processing & Management, and Formal Aspects of Computing.

Rutten regularly collaborates with several co-authors who have contributed to multiple publications together. These frequently include Xueqin Chen, Fan Zhou, Jingyi Mei, Alfons Laarman, and Fengli Zhang.

Best Publications

  • Universal coalgebra: a theory of systems

    J. J. M. M. Rutten

  • A coinductive calculus of component connectors

    F. Arbab;J. J. M. M. Rutten

  • Modeling component connectors in Reo by constraint automata

    Christel Baier;Marjan Sirjani;Farhad Arbab;Jan Rutten

  • Solving reflexive domain equations in a category of complete metric spaces

    P.H.M. America;J.J.M.M. Rutten

  • Automata and coinduction (An exercise in coalgebra)

    J. J. M. M. Rutten

  • Advanced Topics in Bisimulation and Coinduction

    Davide Sangiorgi;Jan Rutten

  • Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems

    J. J. Rutten;Marta Kwiatkowska;Gethin Norman;David Parker

  • Initial algebra and final coalgebra semantics for concurrency

    J.J.M.M. Rutten;D. Turi

  • Bisimulation for probabilistic transition systems: a coalgebraic approach

    E. P. de Vink;J. J. M. M. Rutten

  • Behavioural differential equations: a coinductive calculus of streams, automata, and power series

    J. J. M. M. Rutten

  • Elements of generalized ultrametric domain theory

    J. J. M. M. Rutten

  • Generalizing determinization from automata to coalgebras

    Alexandra Silva;Filippo Bonchi;Marcello M. Bonsangue;Jan J. M. M. Rutten

  • Denotational semantics of a parallel object-oriented language

    P. America;J. de Bakker;J. N. Kok;J. Rutten

  • Operational semantics of a parallel object-oriented language

    Pierre America;Jaco de Bakker;Joost N. Kok;Jan J. M. M. Rutten

  • On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces

    Daniele Turi;Jan Rutten

  • The Failure of Failures in a Paradigm for Asynchronous Communication

    Frank S. de Boer;Joost N. Kok;Catuscia Palamidessi;Jan J. M. M. Rutten

  • A coinductive calculus of streams

    J. J. M. M. Rutten

  • Non-Deterministic Kleene Coalgebras

    Alexandra Silva;Marcello M. Bonsangue;Jan J. M. M. Rutten

  • Coalgebra, concurrency, and control

    J. J.M.M. Rutten

  • Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach

    Erik P. de Vink;Jan J. M. M. Rutten

  • Iterative solution methods

    J. J. Rutten;Marta Kwiatkowska;Gethin Norman;David Parker

  • The failure of failures in a paradigm for asynchronous communication

    F.S. deBoer;J.N. Kok;C. Palamidessi;J.J.M.M. Rutten

Frequent Co-Authors

Farhad Arbab
Farhad Arbab Leiden University
Joost N. Kok
Joost N. Kok University of Twente
Bart Jacobs
Bart Jacobs Radboud University
Catuscia Palamidessi
Catuscia Palamidessi French Institute for Research in Computer Science and Automation - INRIA
Christel Baier
Christel Baier TU Dresden
Krzysztof R. Apt
Krzysztof R. Apt Centrum Wiskunde & Informatica
David Parker
David Parker University of Oxford
Marta Kwiatkowska
Marta Kwiatkowska University of Oxford
Gethin Norman
Gethin Norman University of Glasgow
Gianluigi Zavattaro
Gianluigi Zavattaro University of Bologna

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Best Scientists Citing Jan Rutten

Trending Scientists

Recently Published Articles