Integer Vector Addition Systems with States. - Christoph Haase; Simon Halfon (RP, 2014)

Integer Vector Addition Systems. - Christoph Haase; Simon Halfon (CoRR, 2014)

Decidability, complexity, and expressiveness of first-order logic over the subword ordering. - Simon Halfon; Philippe Schnoebelen; Georg Zetzsche (LICS, 2017)

On Büchi One-Counter Automata. - Stanislav Böhm; Stefan Göller; Simon Halfon; Piotr Hofman (STACS, 2017)

Context-free commutative grammars with integer counters and resets. - Dmitry Chistikov 001; Christoph Haase; Simon Halfon (Theor. Comput. Sci., 2018)

On Effective Representations of Well Quasi-Orderings. (Représentations Effectives des Beaux Pré-Ordres). - Simon Halfon (2018)

The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering. - Jean Goubault-Larrecq; Simon Halfon; Prateek Karandikar; K. Narayan Kumar; Philippe Schnoebelen (CoRR, 2019)

On shuffle products, acyclic automata and piecewise-testable languages. - Simon Halfon; Philippe Schnoebelen (Inf. Process. Lett., 2019)

Measuring well quasi-ordered finitary powersets. - Sergio Abriola; Simon Halfon; Aliaume Lopez; Sylvain Schmitz; Philippe Schnoebelen; Isa Vialard (CoRR, 2023)