We stand with Ukraine  

Thierry Heuillard

According to our database1, Thierry Heuillard authored at least 4 papers between 1987 and 2001.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2001
A UML-integrated Test Description Language for Component Testing.
[BibTeX]
[DOI]
Simon Pickin
,
Claude Jard
,
Thierry Heuillard
,
Jean-Marc Jézéquel
,
Philippe Desfray
Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

1990
Decidability of the Confluence of Finite Ground Term Rewrite Systems and of Other Related Term Rewrite Systems
[BibTeX]
[DOI]
Max Dauchet
,
Thierry Heuillard
,
Pierre Lescanne
,
Sophie Tison
Inf. Comput., October, 1990

1987
Decidability of the Confluence of Ground Term Rewriting Systems
[BibTeX]
Max Dauchet
,
Sophie Tison
,
Thierry Heuillard
,
Pierre Lescanne
Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

Compiling Conditional Rewriting Systems.
[BibTeX]
[DOI]
Thierry Heuillard
Proceedings of the Conditional Term Rewriting Systems, 1987


  Loading...