Concepedia

Philippe Schnoebelen

PS

14

Publications

656

Citations

11

H-Index

2002

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire Spécification et Vérification

École Normale Supérieure Paris-Saclay

University of Bonn

University of Oxford

Philippe Schnoebelen is an author at Centre National de la Recherche Scientifique specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringComputational ComplexityVerificationComputer EngineeringMathematical Foundations

Publications per year

2002–2019

14

Publications

14

The Complexity of Temporal Logic Model Checking.

Philippe Schnoebelen · 2002 · 199 citations

The Complexity of Propositional Linear Temporal Logics in Simple Cases

Stéphane Demri, Philippe Schnoebelen · Information and Computation · 2002 · 120 citations · Full text

Computational Logic, Engineering, Automated Reasoning +9

Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma

Diego Figueira, Santiago Figueira, Sylvain Schmitz et al. · 2011 · 104 citations · Full text

The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets

Serge Haddad, Sylvain Schmitz, Philippe Schnoebelen · 2012 · 34 citations · Full text

Petri Net, Engineering, Reachability Problem +21

Decidability, complexity, and expressiveness of first-order logic over the subword ordering

Simon Halfon, Philippe Schnoebelen, Georg Zetzsche · 2017 · 33 citations

Engineering, Well-founded Semantics, Higher-order Logic +16

Rows per page

1–5 of 14