Concepedia

Sylvain Schmitz

SS

14

Publications

470

Citations

12

H-Index

2006

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

École Normale Supérieure Paris-Saclay

Laboratoire Spécification et Vérification

Université Paris-Saclay

Institut national de recherche en sciences et technologies du numérique

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

ORCID

Top concepts

Publications per year

2006–2019

14

Publications

14

Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma

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

Demystifying Reachability in Vector Addition Systems

Jérôme Leroux, Sylvain Schmitz · 2015 · 83 citations · Full text

Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension

Jérôme Leroux, Sylvain Schmitz · 2019 · 58 citations · Full text

, , +13

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

, , +21

The complexity of reachability in vector addition systems

Sylvain Schmitz · ACM SIGLOG News · 2016 · 33 citations · Full text

, , +11

Rows per page

1–5 of 14