Concepedia

Joël Ouaknine

JO

Statistics

Publications

45

Citations

1.8K

H-Index

24

Active since

2002

Affiliations

University of Oxford(Current)

Carnegie Mellon University

Tulane University

Max Planck Institute for Software Systems

Technion – Israel Institute of Technology

Joël Ouaknine is an author at University of Oxford specializing in computer science, computing, and theory of computation.

Publications per year

2002–2023

45

Publications

45

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

Edmund M. Clarke, Ansgar Fehnker, Zhi Han et al. · International Journal of Foundations of Computer Science · 2003 · 178 citations

Computing, Computer Science, Formal Methods +14

On the Decidability of Metric Temporal Logic

Joël Ouaknine, James Worrell · 2006 · 174 citations

Computing, Computer Science, Mathematics +17

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

Joël Ouaknine, James Worrell · Logical Methods in Computer Science · 2007 · 112 citations · Full text

Computing, Computer Science, Mathematics +17

Sudoku as a SAT Problem.

Inês Lynce, Joël Ouaknine · 2006 · 91 citations

Computing, Computer Science, Mathematics +13

Axioms for Probability and Nondeterminism

Michael Mislove, Joël Ouaknine, James Worrell · Electronic Notes in Theoretical Computer Science · 2004 · 67 citations · Full text

Engineering, Computer Science, Mathematics +15

1–5 of 45