Philippe Schnoebelen
Identifiers
- name variant Philippe Schnoebelen 0.60 · backfill
Papers (11)
- The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering cs.LO · 2019 · author #5
- On shuffle products, acyclic automata and piecewise-testable languages cs.FL · 2018 · author #2
- Decidability in the logic of subsequences and supersequences cs.LO · 2015 · author #2
- On the state complexity of closures and interiors of regular languages with subwords and superwords cs.FL · 2014 · author #3
- The Power of Well-Structured Systems cs.LO · 2014 · author #2
- On the index of Simon's congruence for piecewise testability cs.FL · 2013 · author #3
- Generalized Post Embedding Problems cs.LO · 2011 · author #2
- Multiply-Recursive Upper Bounds with Higman's Lemma cs.LO · 2011 · author #2
- Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma cs.LO · 2010 · author #4
- Toward a Compositional Theory of Leftist Grammars and Transformations cs.FL · 2010 · author #2
- Verifying nondeterministic probabilistic channel systems against $\omega$-regular linear-time properties cs.LO · 2005 · author #3
Mentions
- 1406.0690 #3 · backfill · confidence 0.70 Philippe Schnoebelen
- 1402.2908 #2 · backfill · confidence 0.70 Philippe Schnoebelen
- 1310.1278 #3 · backfill · confidence 0.70 Philippe Schnoebelen
- 1109.1691 #2 · backfill · confidence 0.70 Philippe Schnoebelen
- 1103.4399 #2 · backfill · confidence 0.70 Philippe Schnoebelen
- 1007.2989 #4 · backfill · confidence 0.70 Philippe Schnoebelen
- 1001.5047 #2 · backfill · confidence 0.70 Philippe Schnoebelen
Frequent Coauthors
- Prateek Karandikar 5 shared papers
- Sylvain Schmitz 3 shared papers
- Simon Halfon 2 shared papers
- Christel Baier 1 shared papers
- Diego Figueira 1 shared papers
- Jean Goubault-Larrecq 1 shared papers
- K. Narayan Kumar 1 shared papers
- Manfred Kufleitner 1 shared papers
- Matthias Niewerth 1 shared papers
- Nathalie Bertrand 1 shared papers
- Pierre Chambart 1 shared papers
- Santiago Figueira 1 shared papers