Simon Halfon

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 9

Top Topics

Quantifier Free

Context Free Languages

Formal Language Theory

Top Venues

Inf. Process. Lett.

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

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