dblp.uni-trier.dewww.uni-trier.de

Thierry Heuillard Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2001
4 Simon Pickin, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray: A UML-integrated Test Description Language for Component Testing. pUML 2001: 208-223
1990
3 Max Dauchet, Thierry Heuillard, Pierre Lescanne, Sophie Tison: Decidability of the Confluence of Finite Ground Term Rewrite Systems and of Other Related Term Rewrite Systems Inf. Comput. 88(2): 187-201 (1990)
1987
2 Thierry Heuillard: Compiling Conditional Rewriting Systems. CTRS 1987: 111-128
1 Max Dauchet, Sophie Tison, Thierry Heuillard, Pierre Lescanne: Decidability of the Confluence of Ground Term Rewriting Systems LICS 1987: 353-359

Coauthor Index

1Max Dauchet [1] [3]
2Philippe Desfray [4]
3Claude Jard [4]
4Jean-Marc Jézéquel [4]
5Pierre Lescanne [1] [3]
6Simon Pickin [4]
7Sophie Tison [1] [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)