PHD Thesis

1994	Unification générale par surréduction ordonnée contrainte et surréduction dirigée. in french at University of Orléans, jan 1994        abstract        bibtex entry        postcript file

Conference papers

2013	Over-approximating Descendants by Synchronized Tree Languages. with Yohan Boichut and Pierre Réty In proc. of the 24th International Conference on Rewriting Techniques and Applications - RTA 2013        abstract        bibtex entry        pdf file
2012	Weak Inclusion for Recursive XML Types. with Joshua Amavi, Mirian Halfeld Ferrari Alves and Pierre Réty In proc. of the 17th International Conference on Implementation and Application of Automata - CIAA 2012 - Porto - Portugal - July 17-20        abstract        bibtex entry        pdf file
2011	Weak Inclusion for XML Types. with Joshua Amavi, Mirian Halfeld Ferrari Alves and Pierre Réty In proc. of the 16th International Conference on Implementation and Application of Automata - CIAA 2011 - Blois - France - July 13-16        abstract        bibtex entry        pdf file
2010	Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution. with Mirian Halfeld Ferrari Alves, Martin A. Musicante and Pierre Réty In proc. of the 7th International Colloquium on Theoretical Aspects of Computing - ICTAC 2010 - Natal, Rio Grande do Norte, Brazil, September 1-3        abstract        bibtex entry        pdf file
2007	Visibly Pushdown Languages and Term Rewriting. with Pierre Réty In proc. of the 6th International Symposium on Frontiers of Combining Systems (2007)        abstract        bibtex entry        postcript file
2000	CDR: A Rewriting Based Tool to Design FPLA Circuits. with Zahir Maazouzi, Nirina Andrianarivelo and Wadoud Bousdira In proc. of AISC '00: Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation, Madrid , ESPAGNE, (2000)        abstract        bibtex entry        pdf file
1998	Designing FPLA combinational circuits by conditional rewriting. with Nirina Andrianarivelo, Wadoud Bousdira and Zahir Maazouzi In proc. of ECAI'98, Brighton (UK) (1998)        abstract        bibtex entry        postcript file
1995	Experiments with associative-commutative discrimination nets. with T. Chen, L. Bachmair, I.V. Ramakrishnan and S. Anantharaman In proc. of IJCAI'95, Montreal QUEBEC (1995)        abstract        bibtex entry        pdf file
1991	Narrowing Directed by a Graph of Terms. with P. Réty In proc. of the 4th International Conference on Rewriting Techniques and Applications, (1991)        abstract        bibtex entry        pdf file

Workshop papers

2005	Unification thanks to Synchronized-ContextFree Tree languages. with Jing Chen and Pierre Réty UNIF'05, In proc. of the 19th Workshop on Unification (2005)        abstract        bibtex entry        postcript file
1997	A Conditional Rewrite based Method for designing Circuits. with Nirina Andrianarivelo, Wadoud Bousdira and Zahir Maazouzi UNIF'97, In proc. of the 11th Workshop on Unification, Orléans, France(1997)        bibtex entry
1993	E-Unification via Constrained Rewriting. with Siva Anantharaman and Pierre Réty UNIF'93, In proc. of the 7th Workshop on Unification, Boston, USA(1993)        abstract        bibtex entry        postcript file
1992	Narrowing and ordered completion under constraints. with Siva Anantharaman and Pierre Réty In CCL '92: Proceedings of the 4th Ifirst CCL workshop, Val d'Ajol, France, (1992)        abstract        bibtex entry

Research reports

2012	Weak Inclusion for recursive XML Types (full version) with Joshua Amavi, Miran Halfeld-Ferrari-Alves and Pierre Réty        Research Report 2012-02
2011	Weak Inclusion for XML Types (full version) with Joshua Amavi, Miran Halfeld-Ferrari-Alves and Pierre Réty        Research Report 2011-07
2009	Minimal Extensions of Tree Languages: Application to XML Schema Evolution. with Miran Halfeld-Ferrari-Alves, Martin A. Musicante and Pierre Réty        Research Report 2009-06
2006	Visibly Pushdown Languages and Term Rewriting. with Pierre Réty        Research Report 2006-14
2006	Synchronized ContextFree Tree-tuple Languages. with Jing Chen and Pierre Réty        Research Report 2006-13
1998	A conditional rewrite-based method for designing combinational logic circuits. with Nirina Andrianarivelo, Wadoud Bousdira and Zahir Maazouzi        Research Report 1998-4
1998	Designing FPLA combinatorial circuits by conditional rewriting. with Nirina Andrianarivelo, Wadoud Bousdira and Zahir Maazouzi        Research Report 1998-1
1995	Experiments with associative-commutative discrimination nets. with T. Chen, L. Bachmair, I.V. Ramakrishnan and S. Anantharaman        Research Report 1995-1
1993	E-Unification via Constrained Rewriting. with Siva Anantharaman and Pierre Réty        Research Report 1993-7
1992	Directed narrowing including merging. with P. Réty        Research Report 1992-1
1991	Narrowing directed by a graph of terms. with P. Réty        Research Report 1991-1

Back to Homepage