Concepedia

Joël Ouaknine

JO

Statistics

Publications

44

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 engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationAutomated ReasoningVerificationComputational ComplexitySystems EngineeringProgram AnalysisSoftware Analysis

Publications per year

2002–2023

44

Publications

44

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 · 177 citations

Hybrid System Abstractions, Engineering, Reachability Problem +17

On the Decidability of Metric Temporal Logic

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

Metric Temporal Logic, Logical Automaton, Engineering +14

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

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

Engineering, Reachability Problem, Verification +19

Sudoku as a SAT Problem.

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

Axioms for Probability and Nondeterminism

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

Probabilistic Ontology, Engineering, Operational Semantics +14

1–5 of 44