Nathalie Aubrun

Manon Blanc

Olivier Bournez

CoRR, 2024

2023

Domino Snake Problems on Groups.

[BibT_eX]

[DOI]

Nicolas Bitar

Proceedings of the Fundamentals of Computation Theory - 24th International Symposium, 2023

2022

Strongly Aperiodic SFTs on Generalized Baumslag-Solitar groups.

[BibT_eX]

[DOI]

Nicolas Bitar

Sacha Huriot-Tattegrain

CoRR, 2022

2021

On the domino problem of the Baumslag-Solitar groups.

[BibT_eX]

[DOI]

Jarkko Kari

Theor. Comput. Sci., 2021

Addendum to "Tilings problems on Baumslag-Solitar groups".

[BibT_eX]

[DOI]

Jarkko Kari

CoRR, 2021

Dynamique symbolique sur des groupes : une approche informatique. (Symbolics dynamics on groups: a computer scientist approach).

[BibT_eX]

[DOI]

, 2021

2020

Tilings of the hyperbolic plane of substitutive origin as subshifts of finite type on Baumslag-Solitar groups BS(1, n).

[BibT_eX]

[DOI]

Michael Schraudner

CoRR, 2020

Domino Problem Under Horizontal Constraints.

[BibT_eX]

[DOI]

Julien Esnay

Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, 2020

2019

The Domino Problem is Undecidable on Surface Groups.

[BibT_eX]

[DOI]

Sebastián Barbieri

Etienne Moutot

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

2017

A notion of effectiveness for subshifts on finitely generated groups.

[BibT_eX]

[DOI]

Sebastián Barbieri

Theor. Comput. Sci., 2017

2016

Simulation of Effective Subshifts by Two-dimensional Subshifts of Finite Type.

[BibT_eX]

[DOI]

CoRR, 2016

Row-constrained effective sets of colourings in the $2$-fold horocyclic tessellations of $\mathbb{H}^2$ are sofic.

[BibT_eX]

[DOI]

CoRR, 2016

2014

Tree algebra of sofic tree languages.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2014

2013

Sofic Tree-Shifts.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2013

Tiling Problems on Baumslag-Solitar groups.

[BibT_eX]

[DOI]

Jarkko Kari

Proceedings of the Proceedings Machines, Computations and Universality 2013, 2013

2012

Tree-shifts of finite type.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

2011

Dynamique symbolique des systèmes 2D et des arbres infinis. (Symbolic dynamics on multidimensional systems and infinite trees).

[BibT_eX]

[DOI]

PhD thesis, 2011

Multidimensional effective S-adic systems are sofic

[BibT_eX]

[DOI]

CoRR, 2011

2010

Sofic and Almost of Finite Type Tree-Shifts.

[BibT_eX]

[DOI]

Proceedings of the Computer Science, 2010

2009

An Order on Sets of Tilings Corresponding to an Order on Languages.

[BibT_eX]

[DOI]

Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science, 2009

Decidability of Conjugacy of Tree-Shifts of Finite Type.

[BibT_eX]

[DOI]