Accéder directement au contenu

Sylvain Schmitz

8
Documents

Présentation

Publications

philippe-schnoebelen

The Power of Priority Channel Systems

Christoph Haase , Sylvain Schmitz , Philippe Schnoebelen
Logical Methods in Computer Science, 2014, 10 (4:4), pp.1--39. ⟨10.2168/LMCS-10(4:4)2014⟩
Article dans une revue hal-01091086v1

The Power of Well-Structured Systems

Sylvain Schmitz , Philippe Schnoebelen
24th International Conference on Concurrency Theory, Aug 2013, Buenos Aires, Argentina. pp.5--24, ⟨10.1007/978-3-642-40184-8_2⟩
Communication dans un congrès hal-00907964v1

The Power of Priority Channel Systems

Christoph Haase , Sylvain Schmitz , Philippe Schnoebelen
24th International Conference on Concurrency Theory, Aug 2013, Buenos Aires, Argentina. pp.319--333, ⟨10.1007/978-3-642-40184-8_23⟩
Communication dans un congrès hal-00793809v1
Image document

The Ordinal Recursive Complexity of of Timed-Arc Petri Nets, Data Nets, and Other Enriched Nets

Serge Haddad , Sylvain Schmitz , Philippe Schnoebelen
27th ACM/IEEE Symposium on Logic in Computer Science, Jun 2012, Dubrovnik, Croatia. pp.355--364, ⟨10.1109/LICS.2012.46⟩
Communication dans un congrès hal-00793811v1

Multiply-Recursive Upper Bounds with Higman's Lemma

Sylvain Schmitz , Philippe Schnoebelen
38th International Colloquium on Automata, Languages and Programming, Jul 2011, Zürich, Switzerland. p. 441--452, ⟨10.1007/978-3-642-22012-8_35⟩
Communication dans un congrès hal-00609865v1

Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma

Diego Figueira , Santiago Figueira , Sylvain Schmitz , Philippe Schnoebelen
26th Annual IEEE Symposium on Logic in Computer Science, Jun 2011, Toronto, Canada. p. 269--278, ⟨10.1109/LICS.2011.39⟩
Communication dans un congrès hal-00609871v1
Image document

On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders

Mirna Džamonja , Sylvain Schmitz , Philippe Schnoebelen
Peter M. Schuster; Monika Seisenberger; Andreas Weiermann. Well-Quasi Orders in Computation, Logic, Language and Reasoning, 53, Springer, 2020, Trends in Logic, ⟨10.1007/978-3-030-30229-0_2⟩
Chapitre d'ouvrage halshs-01625981v1