Simon Halfon

12 papers A* 1A 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2023 J jnl
Measuring well quasi-ordered finitary powersets.
CoRR
Sergio Abriola, Simon Halfon, Aliaume Lopez, Sylvain Schmitz, Philippe Schnoebelen, Isa Vialard
2019 J jnl
On shuffle products, acyclic automata and piecewise-testable languages.
Inf. Process. Lett.
Simon Halfon, Philippe Schnoebelen
2019 J jnl
The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering.
CoRR
Jean Goubault-Larrecq, Simon Halfon, Prateek Karandikar, K. Narayan Kumar, Philippe Schnoebelen
2018 J jnl
Context-free commutative grammars with integer counters and resets.
Theor. Comput. Sci.
Dmitry Chistikov, Christoph Haase, Simon Halfon
2018 — —
On Effective Representations of Well Quasi-Orderings. (Représentations Effectives des Beaux Pré-Ordres).
Simon Halfon
2018 J jnl
On shuffle products, acyclic automata and piecewise-testable languages.
CoRR
Simon Halfon, Philippe Schnoebelen
2017 J jnl
Decidability, Complexity, and Expressiveness of First-Order Logic Over the Subword Ordering.
CoRR
Simon Halfon, Philippe Schnoebelen, Georg Zetzsche
2017 A* conf
Decidability, complexity, and expressiveness of first-order logic over the subword ordering.
LICS
Simon Halfon, Philippe Schnoebelen, Georg Zetzsche
2017 A conf
On Büchi One-Counter Automata.
STACS
Stanislav Böhm, Stefan Göller, Simon Halfon, Piotr Hofman
2015 J jnl
Context-Free Commutative Grammars with Integer Counters and Resets.
CoRR
Dmitry Chistikov, Christoph Haase, Simon Halfon
2014 — conf
Integer Vector Addition Systems with States.
RP
Christoph Haase, Simon Halfon
2014 J jnl
Integer Vector Addition Systems.
CoRR
Christoph Haase, Simon Halfon