Publications
Filter by publication type:
You may also want to check my
DBLP page ,
or get a complete
bibtex file with all the following publications
(also available as a
pdf ).
2011
In
Logical Methods in Computer Science (LMCS) ,
7(2),
2011.
In
Mathematical Structures in Computer Science (MSCS) ,
21(4),
pp. 827-859,
2011.
2010
In
Proceedings of the International Conference on Interactive Theorem Proving
(
ITP '10 ),
Edinburgh, Scotland.
In
Proceedings of the 19th European Symposium on Programming
(
ESOP '10 ),
Paphos, Cyprus.
2009
In
Acta Cybernetica ,
19(1),
pp. 357-392,
2009.
In
Applicable Algebra in Engineering, Communication and Computing (AAECC) ,
20(5-6),
pp. 379-425,
2009.
INRIA Research Report 6949 , INRIA, Paris, France, June 2009
2008 PhD Thesis, Eindhoven University of Technology,
Eindhoven, The Netherlands,
September 2008
In
Proceedings of the 19th International Conference on Rewriting Techniques and Applications
(
RTA '08 ),
Hagenberg, Austria.
In
Proceedings of the 34th International Conference on Current Trends in Theory and Practice of Computer Science
(
SOFSEM '08 ),
Nový Smokovec, Slovakia.
2007
In
Proceedings of the 21st International Conference on Automated Deduction
(
CADE '07 ),
Bremen, Germany.
In
Proceedings of the 9th International Workshop on Termination
(
WST '07 ),
Paris, France.
2006 Technical Report CSR-06-21 , Eindhoven University of Technology, Eindhoven, The Netherlands, August 2006
In
Proceedings of the 17th International Conference on Rewriting Techniques and Applications
(
RTA '06 ),
Seattle, WA, USA.
In
Proceedings of the 3rd International Joint Conference on Automated Reasoning
(
IJCAR '06 ),
Seattle, WA, USA.
In
Proceedings of the 17th International Conference on Rewriting Techniques and Applications
(
RTA '06 ),
Seattle, WA, USA.
In
Proceedings of the 8th International Workshop on Termination
(
WST '06 ),
Seattle, WA, USA.
2005
In
Proceedings of the Doctoral Symposium on Integrated Formal Methods
(
IFM '05 ),
Eindhoven, The Netherlands.
In
Proceedings of the 5th International Workshop on Frontiers of Combining Systems
(
FroCoS '05 ),
Vienna, Austria.
2004 Master Thesis, Vrije Universiteit,
Amsterdam, The Netherlands,
August 2004
In
Dutch Proof Tools Day 2004,
Nijmegen, The Netherlands.
