Publications de
Coinductive Graph Representation : the Problem of Embedded Lists
Dans : Electronic Communications of the EASST (ECEASST), Electronic Communications of the EASST, Berlin – Germany, Numéro spécial Selected Revised Papers from the Third International Workshop on Graph Computation Models (GCM 2010), Vol. 39, (en ligne), septembre 2011.
Résumé Accès : http://journal.ub.tu-berlin.de/eceasst/article/view/649
BibTeX
Verification of redecoration for infinite triangular matrices using coinduction (regular paper)
Dans : International Workshop on Types and Proofs for Programs (TYPES 2011), Bergen, Norvège, 08/09/11-11/09/11, Vol. 19, Nils Anders Danielsson, Bengt Nordström (Eds.), Schloss Dagstuhl Leibniz-Zentrum fur Informatik, LIPIcsLeibniz International Proceedings in Informatics, p. 55-69, janvier 2013.
Résumé Accès : http://www.irit.fr/~Ralph.Matthes/papers/MatthesPicardTYPES11PostProcLIPIcs.pdf – https://oatao.univ-toulouse.fr/12343/
BibTeXPermutations in Coinductive Graph Representation (regular paper)
Dans : Coalgebraic Methods in Computer Science, Tallinn, Estonie, 31/03/12-01/04/12, Vol. 7399, Dirk Pattinson, Lutz Schröder (Eds.), Springer, LNCS, p. 218-237, 2012.
Résumé Accès : http://www.irit.fr/~Ralph.Matthes/papers/PicardMatthesCMCS12Preproceedings.pdf
BibTeXCoinductive graph representation: the problem of embedded lists
Dans : Graph Computation Models, Enschede – The Netherlands, 02/10/10, Rachid Echahed, Annegret Habel, Mohamed Mosbah (Eds.).
Accès : http://gcm-events.org/gcm2010/pages/gcm2010-preproceedings.pdf
BibTeX
Représentation coinductive des graphes
Thèse de doctorat, Université Paul Sabatier, juin 2012.
Résumé Accès : http://tel.archives-ouvertes.fr/tel-00862507
BibTeX