×
Compute Distance To:
Author ID: schmitz.sylvain Recent zbMATH articles by "Schmitz, Sylvain"
Published as: Schmitz, Sylvain
External Links: ORCID

Publications by Year

Citations contained in zbMATH Open

34 Publications have been cited 191 times in 110 Documents Cited by Year
Demystifying reachability in vector addition systems. Zbl 1392.68308
Leroux, Jerome; Schmitz, Sylvain
23
2015
Complexity hierarchies beyond elementary. Zbl 1347.68162
Schmitz, Sylvain
20
2016
Multiply-recursive upper bounds with Higman’s lemma. Zbl 1333.68179
Schmitz, S.; Schnoebelen, Ph.
15
2011
Fixed-dimensional energy games are in pseudo-polynomial time. Zbl 1440.68122
Jurdziński, Marcin; Lazić, Ranko; Schmitz, Sylvain
14
2015
The ordinal-recursive complexity of timed-arc Petri nets, data nets, and other enriched nets. Zbl 1362.68214
Haddad, Serge; Schmitz, Sylvain; Schnoebelen, Philippe
11
2012
The power of well-structured systems. Zbl 1390.68488
Schmitz, Sylvain; Schnoebelen, Philippe
10
2013
The power of priority channel systems. Zbl 1448.68341
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe
10
2014
Deciding piecewise testable separability for regular tree languages. Zbl 1388.68172
Goubault-Larrecq, Jean; Schmitz, Sylvain
8
2016
Model checking coverability graphs of vector addition systems. Zbl 1343.68152
Blockelet, Michel; Schmitz, Sylvain
8
2011
The complexity of coverability in \(\nu\)-Petri nets. Zbl 1392.68306
Lazić, Ranko; Schmitz, Sylvain
6
2016
Alternating vector addition systems with states. Zbl 1425.68290
Courtois, Jean-Baptiste; Schmitz, Sylvain
6
2014
Coverability trees for Petri nets with unordered data. Zbl 1475.68208
Hofman, Piotr; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Schmitz, Sylvain; Totzke, Patrick
6
2016
Nonelementary complexities for branching VASS, MELL, and extensions. Zbl 1354.68128
Lazić, Ranko; Schmitz, Sylvain
6
2015
The ideal view on Rackoff’s coverability technique. Zbl 1471.68169
Lazić, Ranko; Schmitz, Sylvain
5
2015
A sequent calculus for a modal logic on finite data trees. Zbl 1370.03043
Baelde, David; Lunel, Simon; Schmitz, Sylvain
4
2016
The parametric ordinal-recursive complexity of Post embedding problems. Zbl 1260.68179
Karandikar, Prateek; Schmitz, Sylvain
4
2013
Implicational relevance logic is 2-ExpTime-complete. Zbl 1370.03029
Schmitz, Sylvain
4
2016
Parametric random generation of deterministic tree automata. Zbl 1209.68298
Héam, Pierre-Cyrille; Nicaud, Cyril; Schmitz, Sylvain
3
2010
Conservative ambiguity detection in context-free grammars. Zbl 1171.68518
Schmitz, Sylvain
3
2007
Noncanonical LALR(1) parsing. Zbl 1227.68044
Schmitz, Sylvain
3
2006
Random generation of deterministic tree (walking) automata. Zbl 1248.68298
Héam, Pierre-Cyrille; Nicaud, Cyril; Schmitz, Sylvain
3
2009
Forward analysis and model checking for trace bounded WSTS. Zbl 1343.68162
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain
3
2016
Ideal decompositions for vector addition systems (invited talk). Zbl 1388.68199
Leroux, Jérôme; Schmitz, Sylvain
2
2016
Forward analysis and model checking for trace bounded WSTS. Zbl 1330.68197
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain
2
2011
Perfect half space games. Zbl 1452.91052
Colcombet, Thomas; Jurdziński, Marcin; Lazić, Ranko; Schmitz, Sylvain
2
2017
Complexity bounds for ordinal-based termination (invited talk). Zbl 1448.68318
Schmitz, Sylvain
2
2014
Model-checking parse trees. Zbl 1366.68165
Boral, Anudhyan; Schmitz, Sylvain
1
2013
Non-elementary complexities for branching VASS, MELL, and extensions. Zbl 1394.68189
Lazić, Ranko; Schmitz, Sylvain
1
2014
An experimental ambiguity detection tool. Zbl 1187.68282
Schmitz, Sylvain
1
2010
The power of priority channel systems. Zbl 1390.68471
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe
1
2013
Shift-resolve parsing: simple, unbounded lookahead, linear time. Zbl 1160.68339
Gálvez, José Fortes; Schmitz, Sylvain; Farré, Jacques
1
2006
A hypersequent calculus with clusters for linear frames. Zbl 1418.03066
Baelde, David; Lick, Anthony; Schmitz, Sylvain
1
2018
The complexity of diagnosability and opacity verification for Petri nets. Zbl 1401.68221
Bérard, Béatrice; Haar, Stefan; Schmitz, Sylvain; Schwoon, Stefan
1
2018
Coverability Is undecidable in one-dimensional pushdown vector addition systems with resets. Zbl 07121146
Schmitz, Sylvain; Zetzsche, Georg
1
2019
Coverability Is undecidable in one-dimensional pushdown vector addition systems with resets. Zbl 07121146
Schmitz, Sylvain; Zetzsche, Georg
1
2019
A hypersequent calculus with clusters for linear frames. Zbl 1418.03066
Baelde, David; Lick, Anthony; Schmitz, Sylvain
1
2018
The complexity of diagnosability and opacity verification for Petri nets. Zbl 1401.68221
Bérard, Béatrice; Haar, Stefan; Schmitz, Sylvain; Schwoon, Stefan
1
2018
Perfect half space games. Zbl 1452.91052
Colcombet, Thomas; Jurdziński, Marcin; Lazić, Ranko; Schmitz, Sylvain
2
2017
Complexity hierarchies beyond elementary. Zbl 1347.68162
Schmitz, Sylvain
20
2016
Deciding piecewise testable separability for regular tree languages. Zbl 1388.68172
Goubault-Larrecq, Jean; Schmitz, Sylvain
8
2016
The complexity of coverability in \(\nu\)-Petri nets. Zbl 1392.68306
Lazić, Ranko; Schmitz, Sylvain
6
2016
Coverability trees for Petri nets with unordered data. Zbl 1475.68208
Hofman, Piotr; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Schmitz, Sylvain; Totzke, Patrick
6
2016
A sequent calculus for a modal logic on finite data trees. Zbl 1370.03043
Baelde, David; Lunel, Simon; Schmitz, Sylvain
4
2016
Implicational relevance logic is 2-ExpTime-complete. Zbl 1370.03029
Schmitz, Sylvain
4
2016
Forward analysis and model checking for trace bounded WSTS. Zbl 1343.68162
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain
3
2016
Ideal decompositions for vector addition systems (invited talk). Zbl 1388.68199
Leroux, Jérôme; Schmitz, Sylvain
2
2016
Demystifying reachability in vector addition systems. Zbl 1392.68308
Leroux, Jerome; Schmitz, Sylvain
23
2015
Fixed-dimensional energy games are in pseudo-polynomial time. Zbl 1440.68122
Jurdziński, Marcin; Lazić, Ranko; Schmitz, Sylvain
14
2015
Nonelementary complexities for branching VASS, MELL, and extensions. Zbl 1354.68128
Lazić, Ranko; Schmitz, Sylvain
6
2015
The ideal view on Rackoff’s coverability technique. Zbl 1471.68169
Lazić, Ranko; Schmitz, Sylvain
5
2015
The power of priority channel systems. Zbl 1448.68341
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe
10
2014
Alternating vector addition systems with states. Zbl 1425.68290
Courtois, Jean-Baptiste; Schmitz, Sylvain
6
2014
Complexity bounds for ordinal-based termination (invited talk). Zbl 1448.68318
Schmitz, Sylvain
2
2014
Non-elementary complexities for branching VASS, MELL, and extensions. Zbl 1394.68189
Lazić, Ranko; Schmitz, Sylvain
1
2014
The power of well-structured systems. Zbl 1390.68488
Schmitz, Sylvain; Schnoebelen, Philippe
10
2013
The parametric ordinal-recursive complexity of Post embedding problems. Zbl 1260.68179
Karandikar, Prateek; Schmitz, Sylvain
4
2013
Model-checking parse trees. Zbl 1366.68165
Boral, Anudhyan; Schmitz, Sylvain
1
2013
The power of priority channel systems. Zbl 1390.68471
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe
1
2013
The ordinal-recursive complexity of timed-arc Petri nets, data nets, and other enriched nets. Zbl 1362.68214
Haddad, Serge; Schmitz, Sylvain; Schnoebelen, Philippe
11
2012
Multiply-recursive upper bounds with Higman’s lemma. Zbl 1333.68179
Schmitz, S.; Schnoebelen, Ph.
15
2011
Model checking coverability graphs of vector addition systems. Zbl 1343.68152
Blockelet, Michel; Schmitz, Sylvain
8
2011
Forward analysis and model checking for trace bounded WSTS. Zbl 1330.68197
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain
2
2011
Parametric random generation of deterministic tree automata. Zbl 1209.68298
Héam, Pierre-Cyrille; Nicaud, Cyril; Schmitz, Sylvain
3
2010
An experimental ambiguity detection tool. Zbl 1187.68282
Schmitz, Sylvain
1
2010
Random generation of deterministic tree (walking) automata. Zbl 1248.68298
Héam, Pierre-Cyrille; Nicaud, Cyril; Schmitz, Sylvain
3
2009
Conservative ambiguity detection in context-free grammars. Zbl 1171.68518
Schmitz, Sylvain
3
2007
Noncanonical LALR(1) parsing. Zbl 1227.68044
Schmitz, Sylvain
3
2006
Shift-resolve parsing: simple, unbounded lookahead, linear time. Zbl 1160.68339
Gálvez, José Fortes; Schmitz, Sylvain; Farré, Jacques
1
2006
all top 5

Cited by 181 Authors

9 Finkel, Alain
8 Schmitz, Sylvain
7 Lasota, Sławomir
6 Hofman, Piotr
6 Lazić, Ranko
5 Blondin, Michael
5 Leroux, Jérôme
5 Schnoebelen, Philippe
4 Czerwiński, Wojciech
4 Demri, Stéphane P.
4 Goubault-Larrecq, Jean
4 Karandikar, Prateek
3 Abriola, Sergio
3 Chistikov, Dmitry V.
3 Fervari, Raul
3 Figueira, Santiago
3 Jančar, Petr
3 Köcher, Chris
3 Markey, Nicolas
3 Totzke, Patrick
3 Worrell, James B.
2 Alechina, Natasha
2 Areces, Carlos
2 Bertrand, Nathalie
2 Bouyer, Patricia
2 Bulling, Nils
2 Carnino, Vincent
2 Chambart, Pierre
2 Chatterjee, Krishnendu
2 De Felice, Sven
2 Dewaskar, Miheer
2 Fijalkow, Nathanaël
2 Genest, Blaise
2 Gimbert, Hugo
2 Haase, Christoph
2 Halfon, Simon
2 Héam, Pierre-Cyrille
2 Hugot, Vincent
2 Kouchnarenko, Olga
2 Kuske, Dietrich
2 Logan, Brian
2 Martens, Wim
2 Pilipczuk, Michał
2 Pratt-Hartmann, Ian
2 Praveen, M.
2 Randour, Mickael
2 Riveros, Cristian
2 Rosa-Velardo, Fernando
2 Sutre, Grégoire
2 Tendera, Lidia
2 Wehar, Michael
1 Aminof, Benjamin
1 Antonopoulos, Timos
1 Baez, John C.
1 Basten, H. J. S.
1 Belardinelli, Francesco
1 Bertsch, Eberhard
1 Björklund, Henrik
1 Björklund, Johanna
1 Blanqui, Frédéric
1 Bollig, Benedikt
1 Brabrand, Claus
1 Brázdil, Tomáš
1 Bruyère, Véronique
1 Cai, Xiaojuan
1 Calvanese, Diego
1 Cherroun, Hadda
1 Cotton-Barratt, Conrad
1 Czerner, Philipp
1 Decker, Normann
1 Descotte, María Emilia
1 Deters, Morgan
1 Dong, Xiaoju
1 Dudenhefner, Andrej
1 Englert, Matthias
1 Esparza, Javier
1 Figueira, Diego
1 Fraigniaud, Pierre
1 Freund, Anton
1 Fu, Yuxi
1 Ganty, Pierre
1 Geerts, Floris
1 Ghilardi, Silvio
1 Gianola, Alessandro
1 Giegerich, Robert
1 Gillibert, Pierre
1 Godbole, Adwait Amit
1 Guellouma, Younes
1 Haddad, Serge
1 Hampson, Christopher
1 Hautem, Quentin
1 Hélouët, Loïc
1 Indrzejczak, Andrzej
1 Jaax, Stefan
1 Jabri, Riad
1 Jensen, Lasse S.
1 Jonušas, Julius
1 Jurdziński, Marcin
1 Kaufmann, Isabella
1 Khmelnitsky, Igor
...and 81 more Authors

Citations by Year