An algebraic and algorithmic method for analysing transition systems. - Anne Dicky (Theor. Comput. Sci., 1986)

An Algebraic Characterization of Transition System Equivalences - André Arnold; Anne Dicky (Inf. Comput., 1989)

A note about minimal non-deterministic automata. - André Arnold; Anne Dicky; Maurice Nivat (Bull. EATCS, 1992)

Equivalences and Preorders of Transition Systems. - André Arnold; Anne Dicky (MFCS, 1993)

Embedding Finite and Infinite Words into Overlapping Tiles - (Short Paper). - Anne Dicky; David Janin (Developments in Language Theory, 2014)

Two-way Automata and Regular Languages of Overlapping Tiles. - Anne Dicky; David Janin (Fundam. Informaticae, 2015)