Simon Halfon

According to our database, Simon Halfon authored at least 9 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Measuring well quasi-ordered finitary powersets.

Sergio Abriola, Simon Halfon, Aliaume Lopez, Sylvain Schmitz, Philippe Schnoebelen, Isa Vialard

CoRR, 2023

2019

On shuffle products, acyclic automata and piecewise-testable languages.

Simon Halfon, Philippe Schnoebelen

Inf. Process. Lett., 2019

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

2018

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

Simon Halfon

PhD thesis, 2018

Context-free commutative grammars with integer counters and resets.

Dmitry Chistikov, Christoph Haase, Simon Halfon

Theor. Comput. Sci., 2018

2017

On Büchi One-Counter Automata.

Stanislav Böhm, Stefan Göller, Simon Halfon, Piotr Hofman

Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science, 2017

Decidability, complexity, and expressiveness of first-order logic over the subword ordering.

Simon Halfon, Philippe Schnoebelen, Georg Zetzsche

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2014

Integer Vector Addition Systems.

Christoph Haase, Simon Halfon

CoRR, 2014

Integer Vector Addition Systems with States.

Christoph Haase, Simon Halfon

Proceedings of the Reachability Problems - 8th International Workshop, 2014