Articles publiés dans des revues d'audience internationale avec comité de rédaction

[1994002]   

Caron A.-C., COQUIDE J.-L., "Decidability of reachability and union of term rewriting systems", Theoretical Computer Science A, vol. 126, pp 31-52, 1994

[1994001]   

COQUIDE J.-L., Dauchet M., Gilleron R., Valvolgyi S., "Bottom-up tree pushdown automata and rewrite systems", Theoretical Computer Science A, vol. 127, pp 69-98, 1994

Communications à des manifestations d'audience internationales avec comité de lecture

[1994005]   

Caron A.-C., Comon H., COQUIDE J.-L., Dauchet M., Jacquemart F., "Pumping, Cleaning and Symbolic Constraints Solving", Proc. ICALP-94, LNCS 820, Springer, pp 436-449, Jérusalem, 1994

Thèse pour le grade de docteur en Informatique (Doctorat)

[1990001]   

COQUIDE J.-L., "Contrôles et preuves dans les systèmes clos, automates à piles d'arbres et calculs de formes normales", Thèse d'Université, Université de Lille I, France, Décembre 1990