1. Decidability of conjugacy of tree-shifts of finite type;Aubrun,2009
2. Sofic and almost of finite type tree-shifts;Aubrun,2010
3. Tree-shifts of finite type;Aubrun;Theoret. Comput. Sci.,2012
4. Sofic tree-shifts;Aubrun;Theory Comput. Syst.,2013
5. Tree algebra of sofic tree languages;Aubrun;RAIRO Theor. Inform. Appl.,2014