×

zbMATH — the first resource for mathematics

Schmitz, Sylvain

Compute Distance To:
Author ID: schmitz.sylvain Recent zbMATH articles by "Schmitz, Sylvain"
Published as: Schmitz, S.; Schmitz, Sylvain
External Links: ORCID
Documents Indexed: 40 Publications since 1997, including 2 Books

Publications by Year

Citations contained in zbMATH

30 Publications have been cited 148 times in 87 Documents Cited by Year
Demystifying reachability in vector addition systems. Zbl 1392.68308
Leroux, Jerome; Schmitz, Sylvain
17
2015
Complexity hierarchies beyond elementary. Zbl 1347.68162
Schmitz, Sylvain
16
2016
Multiply-recursive upper bounds with Higman’s lemma. Zbl 1333.68179
Schmitz, S.; Schnoebelen, Ph.
12
2011
The ordinal-recursive complexity of timed-arc Petri nets, data nets, and other enriched nets. Zbl 1362.68214
Haddad, Serge; Schmitz, Sylvain; Schnoebelen, Philippe
10
2012
Fixed-dimensional energy games are in pseudo-polynomial time. Zbl 1440.68122
Jurdziński, Marcin; Lazić, Ranko; Schmitz, Sylvain
9
2015
The power of well-structured systems. Zbl 1390.68488
Schmitz, Sylvain; Schnoebelen, Philippe
9
2013
The power of priority channel systems. Zbl 1448.68341
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe
8
2014
Model checking coverability graphs of vector addition systems. Zbl 1343.68152
Blockelet, Michel; Schmitz, Sylvain
7
2011
Deciding piecewise testable separability for regular tree languages. Zbl 1388.68172
Goubault-Larrecq, Jean; Schmitz, Sylvain
6
2016
Coverability trees for Petri nets with unordered data. Zbl 06591835
Hofman, Piotr; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Schmitz, Sylvain; Totzke, Patrick
5
2016
The complexity of coverability in \(\nu\)-Petri nets. Zbl 1392.68306
Lazić, Ranko; Schmitz, Sylvain
4
2016
Nonelementary complexities for branching VASS, MELL, and extensions. Zbl 1354.68128
Lazić, Ranko; Schmitz, Sylvain
4
2015
Alternating vector addition systems with states. Zbl 1425.68290
Courtois, Jean-Baptiste; Schmitz, Sylvain
4
2014
A sequent calculus for a modal logic on finite data trees. Zbl 1370.03043
Baelde, David; Lunel, Simon; Schmitz, Sylvain
3
2016
Implicational relevance logic is 2-ExpTime-complete. Zbl 1370.03029
Schmitz, Sylvain
3
2016
Forward analysis and model checking for trace bounded WSTS. Zbl 1343.68162
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain
3
2016
The ideal view on Rackoff’s coverability technique. Zbl 06798768
Lazić, Ranko; Schmitz, Sylvain
3
2015
The parametric ordinal-recursive complexity of Post embedding problems. Zbl 1260.68179
Karandikar, Prateek; Schmitz, Sylvain
3
2013
Parametric random generation of deterministic tree automata. Zbl 1209.68298
Héam, Pierre-Cyrille; Nicaud, Cyril; Schmitz, Sylvain
3
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
Ideal decompositions for vector addition systems (invited talk). Zbl 1388.68199
Leroux, Jérôme; Schmitz, Sylvain
2
2016
Complexity bounds for ordinal-based termination (invited talk). Zbl 1448.68318
Schmitz, Sylvain
2
2014
A hypersequent calculus with clusters for linear frames. Zbl 1418.03066
Baelde, David; Lick, Anthony; Schmitz, Sylvain
1
2018
Non-elementary complexities for branching VASS, MELL, and extensions. Zbl 1394.68189
Lazić, Ranko; Schmitz, Sylvain
1
2014
Model-checking parse trees. Zbl 1366.68165
Boral, Anudhyan; Schmitz, Sylvain
1
2013
Forward analysis and model checking for trace bounded WSTS. Zbl 1330.68197
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain
1
2011
An experimental ambiguity detection tool. Zbl 1187.68282
Schmitz, Sylvain
1
2010
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
Complexity hierarchies beyond elementary. Zbl 1347.68162
Schmitz, Sylvain
16
2016
Deciding piecewise testable separability for regular tree languages. Zbl 1388.68172
Goubault-Larrecq, Jean; Schmitz, Sylvain
6
2016
Coverability trees for Petri nets with unordered data. Zbl 06591835
Hofman, Piotr; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Schmitz, Sylvain; Totzke, Patrick
5
2016
The complexity of coverability in \(\nu\)-Petri nets. Zbl 1392.68306
Lazić, Ranko; Schmitz, Sylvain
4
2016
A sequent calculus for a modal logic on finite data trees. Zbl 1370.03043
Baelde, David; Lunel, Simon; Schmitz, Sylvain
3
2016
Implicational relevance logic is 2-ExpTime-complete. Zbl 1370.03029
Schmitz, Sylvain
3
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
17
2015
Fixed-dimensional energy games are in pseudo-polynomial time. Zbl 1440.68122
Jurdziński, Marcin; Lazić, Ranko; Schmitz, Sylvain
9
2015
Nonelementary complexities for branching VASS, MELL, and extensions. Zbl 1354.68128
Lazić, Ranko; Schmitz, Sylvain
4
2015
The ideal view on Rackoff’s coverability technique. Zbl 06798768
Lazić, Ranko; Schmitz, Sylvain
3
2015
The power of priority channel systems. Zbl 1448.68341
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe
8
2014
Alternating vector addition systems with states. Zbl 1425.68290
Courtois, Jean-Baptiste; Schmitz, Sylvain
4
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
9
2013
The parametric ordinal-recursive complexity of Post embedding problems. Zbl 1260.68179
Karandikar, Prateek; Schmitz, Sylvain
3
2013
Model-checking parse trees. Zbl 1366.68165
Boral, Anudhyan; Schmitz, Sylvain
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
10
2012
Multiply-recursive upper bounds with Higman’s lemma. Zbl 1333.68179
Schmitz, S.; Schnoebelen, Ph.
12
2011
Model checking coverability graphs of vector addition systems. Zbl 1343.68152
Blockelet, Michel; Schmitz, Sylvain
7
2011
Forward analysis and model checking for trace bounded WSTS. Zbl 1330.68197
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain
1
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 148 Authors

8 Schmitz, Sylvain
8 Schnoebelen, Philippe
7 Finkel, Alain
4 Goubault-Larrecq, Jean
4 Hofman, Piotr
4 Karandikar, Prateek
4 Lasota, Sławomir
4 Lazić, Ranko
4 Leroux, Jérôme
3 Abriola, Sergio
3 Bertrand, Nathalie
3 Blondin, Michael
3 Chistikov, Dmitry V.
3 Czerwiński, Wojciech
3 Demri, Stéphane P.
3 Figueira, Santiago
3 Jančar, Petr
3 Markey, Nicolas
3 Worrell, James B.
2 Alechina, Natasha
2 Bouyer, Patricia
2 Bulling, Nils
2 Carnino, Vincent
2 Chambart, Pierre
2 Chatterjee, Krishnendu
2 De Felice, Sven
2 Dewaskar, Miheer
2 Fervari, Raul
2 Genest, Blaise
2 Gimbert, Hugo
2 Halfon, Simon
2 Héam, Pierre-Cyrille
2 Hugot, Vincent
2 Köcher, Chris
2 Kouchnarenko, Olga
2 Kuske, Dietrich
2 Logan, Brian
2 Ouaknine, Joel O.
2 Pilipczuk, Michał
2 Praveen, M.
2 Rosa-Velardo, Fernando
2 Skobelev, Volodymyr V.
2 Sutre, Grégoire
2 Totzke, Patrick
2 Wehar, Michael
1 Aminof, Benjamin
1 Antonopoulos, Timos
1 Areces, Carlos
1 Baez, John C.
1 Basten, H. J. S.
1 Bertsch, Eberhard
1 Blanqui, Frédéric
1 Brabrand, Claus
1 Brázdil, Tomáš
1 Cai, Xiaojuan
1 Calvanese, Diego
1 Cherroun, Hadda
1 Cotton-Barratt, Conrad
1 Decker, Normann
1 Descotte, María Emilia
1 Deters, Morgan
1 Dong, Xiaoju
1 Dudenhefner, Andrej
1 Džamonja, Mirna
1 Esparza, Javier
1 Figueira, Diego
1 Fijalkow, Nathanaël
1 Fraigniaud, Pierre
1 Fu, Yuxi
1 Ganty, Pierre
1 Geerts, Floris
1 Ghilardi, Silvio
1 Gianola, Alessandro
1 Giegerich, Robert
1 Godbole, Adwait Amit
1 Guellouma, Younes
1 Haase, Christoph
1 Indrzejczak, Andrzej
1 Jabri, Riad
1 Jensen, Lasse S.
1 Jurdziński, Marcin
1 Kaufmann, Isabella
1 König, Barbara
1 Kotek, Tomer
1 Kucera, Antonin
1 Kumar, K. Narayan
1 Kuznetsov, Petr
1 Kwee, Kent
1 Larchey-Wendling, Dominique
1 Laroussinie, François
1 Larsen, Kim Guldstrand
1 Li, Chunmiao
1 Lonati, Violetta
1 Majumdar, Rupak
1 Mandrioli, Dino
1 Martens, Wim
1 Martos-Salgado, María
1 Masopust, Tomáš
1 Master, Jade
1 McKenzie, Pierre
...and 48 more Authors

Citations by Year