2026 Joël Ouaknine: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	41	8960	8707	444	432	187	5639

Research.com Recognitions

2020 - Member of Academia Europaea

Overview

Joël Ouaknine is affiliated with the Max Planck Institute for Software Systems in Germany. Their research primarily focuses on computer science, with a specialization in computational theory and mathematics. The breadth of their work spans several interconnected subfields, including artificial intelligence, software, statistical and nonlinear physics, and geometry and topology.

Ouaknine's research topics cover a range of areas within formal methods and logic, programming, and algorithms. Key subjects include:

Formal Methods in Verification
Logic, programming, and type systems
Semigroups and automata theory
Polynomial and algebraic computation
Computability, Logic, AI Algorithms
Mathematical Dynamics and Fractals
Software Testing and Debugging Techniques

Their recent publications illustrate contributions to both theoretical aspects and practical algorithms in the field. Notable papers include:

"What's decidable about linear loops?" (2022), Proceedings of the ACM on Programming Languages
"Deciding ω-regular properties on linear recurrence sequences" (2021), Proceedings of the ACM on Programming Languages
"On Strongest Algebraic Program Invariants" (2023), Journal of the ACM
"Faster FDR Counterexample Generation Using SAT-Solving" (2024), Technische Universität Berlin - Universitätsbibliothek
"On Ranking Function Synthesis and Termination for Polynomial Programs" (2020), Leibniz-Zentrum für Informatik (Schloss Dagstuhl)

Frequent publication venues for Ouaknine's work include:

arXiv (Cornell University)
Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
Journal of the ACM
Proceedings of the ACM on Programming Languages
Theoretical Computer Science

Collaboration is an important aspect of Ouaknine's research output. Their frequent coauthors are:

James Worrell
Toghrul Karimov
Engel Lefaucheux
Florian Luca
David Purser

In 2020, Ouaknine was recognized as a Member of Academia Europaea.

Best Publications

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

Edmund M. Clarke;Ansgar Fehnker;Zhi Han;Bruce H. Krogh

258
Citations
On the decidability of metric temporal logic

J. Ouaknine;J. Worrell

252
Citations
State/Event-Based Software Model Checking

Sagar Chaki;Edmund M. Clarke;Joël Ouaknine;Natasha Sharygina

233
Citations
Sudoku as a SAT Problem.

Inês Lynce;Joël Ouaknine

198
Citations
Some Recent Results in Metric Temporal Logic

Joël Ouaknine;James Worrell

189
Citations
Deciding bit-vector arithmetic with abstraction

Randal E. Bryant;Daniel Kroening;Joël Ouaknine;Sanjit A. Seshia

187
Citations
Completeness and Complexity of Bounded Model Checking

Edmund M. Clarke;Daniel Kroening;Joël Ouaknine;Ofer Strichman

180
Citations
Nets with Tokens which Carry Data

Ranko Lazic;Tom Newcomb;Joël Ouaknine;A. W. Roscoe

168
Citations
On the decidability and complexity of Metric Temporal Logic over finite words

Joël Ouaknine;James Worrell

146
Citations
On the language inclusion problem for timed automata: closing a decidability gap

J. Ouaknine;J. Worrell

136
Citations
Positivity problems for low-order linear recurrence sequences

Joël Ouaknine;James Worrell

135
Citations
Tractable reasoning in a fragment of separation logic

Byron Cook;Christoph Haase;Joël Ouaknine;Matthew Parkinson

110
Citations
Reachability in Succinct and Parametric One-Counter Automata

Christoph Haase;Stephan Kreutzer;Joël Ouaknine;James Worrell

105
Citations
On metric temporal logic and faulty turing machines

Joël Ouaknine;James Worrell

103
Citations
Efficient Verification of Sequential and Concurrent C Programs

S. Chaki;E. Clarke;A. Groce;J. Ouaknine

99
Citations
Concurrent software verification with states, events, and deadlocks

Sagar Chaki;Edmund M. Clarke;Joël Ouaknine;Natasha Sharygina

92
Citations
Revisiting digitization, robustness, and decidability for timed automata

J. Ouaknine;J. Worrell

88
Citations
Axioms for Probability and Nondeterminism

Michael W. Mislove;Joël Ouaknine;James Worrell

85
Citations
Foundations for Decision Problems in Separation Logic with General Inductive Predicates

Timos Antonopoulos;Nikos Gorogiannis;Christoph Haase;Max I. Kanovich

82
Citations
Decision problems for linear recurrence sequences

Joël Ouaknine;James Worrell

82
Citations

Frequent Co-Authors

Edmund M. Clarke Carnegie Mellon University

Ofer Strichman Technion – Israel Institute of Technology

Daniel Kroening Amazon (United States)

Sagar Chaki Siemens (United States)

Nicolas Markey French Institute for Research in Computer Science and Automation - INRIA

Patricia Bouyer University of Paris-Saclay

Sanjit A. Seshia University of California, Berkeley

Christel Baier TU Dresden

Frits W. Vaandrager Radboud University

Parosh Aziz Abdulla Uppsala University

External Links

Personal website of Joël Ouaknine Google Scholar page

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

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens doors to diverse online degree and career options. For those seeking advanced leadership roles, mba online programs can help bridge the gap between technical expertise and business management skills.

If you’re eager to accelerate your education, one year graduate programs offer a fast track to a higher credential, letting you enhance your resume quickly.

For students balancing work and study, there are easy online degrees that pay well. These programs provide a practical route into tech jobs with strong salary prospects.

As technology advances, specialties like artificial intelligence are growing. The best online masters in artificial intelligence can boost your expertise and prepare you for cutting-edge roles in AI development.

Weighing these pathways will help you tailor your learning journey to your professional goals and personal circumstances.