Tristan Denmat
According to our database1,
Tristan Denmat
authored at least 8 papers
between 2005 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
Proceedings of the Proceedings 14th International Workshop on Verification of Infinite-State Systems, 2012
2007
Proceedings of the ISSRE 2007, 2007
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming.
Proceedings of the Principles and Practice of Constraint Programming, 2007
2005
Proceedings of the 15th International Workshop on Logic Programming Environments, 2005
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005