1. and , A theorem on probabilistic constant depth computations. Proceedings 16th ACM STOC, pp. 471-474, 1984.
2. A Conjecture Concerning the Spectrum of a Sentence
3. Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität
4. Utilisation des destinées pour la décision et sa complexité dans le cas de formules à profondeur de quantification bornée sur des structures logiques finies et infinies. Ph. D. thesis, Université d'Auvergne, 2003.
5. and , Characterization of Ehrenfeucht-Fraïssé equivalence in two classes of finite graphs and application to Ash's counting functions. Technical report, LLAIC, Université d'Auvergne, 2005.