|
Article
- Two-way automata and regular languages of overlapping tiles
(with
A. Dicky),
Fundamenta Informaticae
141:311-343,
2015
(doi)
(hal)
(pdf).
- On Labeled Birooted Trees Languages: Algebras, Automata and Logic,
#ic#
243:222--248,
2015
(doi)
(hal)
(pdf).
- A syntactic congruence for languages of birooted trees
(with
A. Blumensath),
Semigroup Forum
,
2014
(doi)
(hal)
(pdf).
- Une \'etude des jeux distribu\'es
(with
J. Bernet),
Technique et Science Informatique
32:1007-1041,
2013
(doi)
(hal)
(pdf).
- Advanced synchronization of audio or symbolic musical patterns: an algebraic approach
(with
F. Berthaut and B. Martin),
International Journal of Semantic Computing
6 (4):409-427,
2012
(doi)
(hal)
(pdf).
- Vers une mod\'elisation combinatoire des structures rythmiques simples de la musique,
Revue Francophone d'Informatique Musicale (RFIM)
2,
2012 (hal)
(pdf).
- The monadic theory of finite representations of infinite words
(with
A. Dawar),
Inf. Process. Lett.
103 (3):94-101,
2007 (hal)
(pdf).
- On the relationship between weak monadic second order logic on arbitrary trees, with application to the mu-calculus
(with
G. Lenzi),
Fundam. Inform.
61:247--265,
2004 (hal)
(pdf).
- Permissive strategies: from parity games to safety games
(with
J. Bernet and I. Walukiewicz),
Theoretical Informatics and Applications (RAIRO)
36:261-275,
2002 (hal)
(pdf).
- On the logical definability of topologically closed recognizable languages of infinite trees
(with
G. Lenzi),
Computing and Informatics
21:185--203,
2002 (hal)
(pdf).
|