Sylvain Schmitz

Identifiers

• name variant Sylvain Schmitz 0.60 · backfill

Papers (10)

1. Demystifying Reachability in Vector Addition Systems cs.LO · 2015 · author #2
2. Complexity Bounds for Ordinal-Based Termination cs.LO · 2014 · author #1
3. The Power of Well-Structured Systems cs.LO · 2014 · author #1
4. Complexity Hierarchies Beyond Elementary cs.CC · 2013 · author #1
5. The Parametric Ordinal-Recursive Complexity of Post Embedding Problems cs.LO · 2012 · author #2
6. Model Checking Parse Trees cs.LO · 2012 · author #2
7. Multiply-Recursive Upper Bounds with Higman's Lemma cs.LO · 2011 · author #1
8. Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma cs.LO · 2010 · author #3
9. Forward Analysis and Model Checking for Trace Bounded WSTS cs.LO · 2010 · author #3
10. Feature Unification in TAG Derivation Trees cs.CL · 2008 · author #1

Mentions

• 1211.5259 #2 · backfill · confidence 0.70 Sylvain Schmitz
• 1211.5256 #2 · backfill · confidence 0.70 Sylvain Schmitz
• 1103.4399 #1 · backfill · confidence 0.70 Sylvain Schmitz
• 1007.2989 #3 · backfill · confidence 0.70 Sylvain Schmitz
• 1004.2802 #3 · backfill · confidence 0.70 Sylvain Schmitz
• 0804.4584 #1 · backfill · confidence 0.70 Sylvain Schmitz

Frequent Coauthors

• Philippe Schnoebelen 3 shared papers
• Alain Finkel 1 shared papers
• Anudhyan Boral 1 shared papers
• Diego Figueira 1 shared papers
• J\'er\^ome Leroux 1 shared papers
• Joseph Le Roux 1 shared papers
• Pierre Chambart 1 shared papers
• Prateek Karandikar 1 shared papers
• Santiago Figueira 1 shared papers