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
Gary Perelman, Marcos Serrano, Mathieu Raynal, Celia Picard, Mustapha Derras, Emmanuel Dubois
DECO: A Design Space for Device Composition (regular paper)
Dans : ACM conference on Designing Interactive Systems (DIS 2016), Brisbane, Australie, 06/06/16-08/06/16, ACM : Association for Computing Machinery, p. 435-446, 2016.
Résumé Accès : http://dx.doi.org.gate6.inist.fr/10.1145/2901790.2901893 – https://oatao.univ-toulouse.fr/17051/
BibTeXGary Perelman, Marcos Serrano, Mathieu Raynal, Celia Picard, Moustapha Derras, Emmanuel Dubois
Disco(s) : Dispositifs à Multiples Degrés de Liberté pour Interagir avec des Données Multidimensionnelles (short paper)
Dans : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2015), Toulouse, 28/10/15-30/10/15, ACM : Association for Computing Machinery, (en ligne), octobre 2015.
Résumé Accès : https://hal.archives-ouvertes.fr/hal-01219926 – https://oatao.univ-toulouse.fr/16907/
BibTeXGary Perelman, Marcos Serrano, Mathieu Raynal, Celia Picard, Moustapha Derras, Emmanuel Dubois
The Roly-Poly Mouse: Designing a Rolling Input Device Unifying 2D and 3D Interaction (regular paper)
Dans : Conference on Human Factors in Computing Systems – Special Interest Group on Computer-Human Interaction (CHI – SIGCHI 2015), Seoul, Korea, 18/04/15-25/04/15, ACM SIGCHI, p. 327-336, avril 2015.
Résumé Accès : http://doi.acm.org/10.1145/2702123.2702244 – https://oatao.univ-toulouse.fr/15225/
BibTeXGary Perelman, Marcos Serrano, Mathieu Raynal, Celia Picard, Moustapha Derras, Emmanuel Dubois
Conception d’un Dispositif pour Interagir avec des Données Multidimensionnelles : Disco (regular paper)
Dans : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2014), Lille, 28/10/14-31/10/14, ACM : Association for Computing Machinery, p. 91-100, 2014.
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