Yann Régis-Gianas

发表

Yann Régis-Gianas, Guillaume Claret, Lourdes Del Carmen González-Huesca, 2013, ITP.

Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet, 2018, FM.

Claude Marché, Yann Régis-Gianas, Ralf Treinen, 2020, TACAS.

Yann Régis-Gianas, François Pottier, F. Pottier, 2015 .

Yann Régis-Gianas, Guillaume Claret, Y. Régis-Gianas, 2015, 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering.

Yann Régis-Gianas, François Pottier, F. Pottier, 2008, MPC.

Thibaut Girka, David Mentré, Yann Régis-Gianas, 2017, PPDP.

Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet, 2020 .

Benjamin Grégoire, Enrico Tassi, Yann Régis-Gianas, 2014 .

Arthur Charguéraud, Didier Rémy, Yann Régis-Gianas, 2005 .

Yann Régis-Gianas, Ralf Treinen, Nicolas Jeannerod, 2017 .

Nicholas Ayache, Andrea Asperti, Claudio Sacerdoti Coen, 2011, FET.

Yann Régis-Gianas, François Pottier, 2006, Electron. Notes Theor. Comput. Sci..

Roberto M. Amadio, Yann Régis-Gianas, Nicholas Ayache, 2012, FMICS.

Yann Régis-Gianas, François Pottier, F. Pottier, 2006, POPL '06.

Stephan Merz, Leslie Lamport, Arthur Charguéraud, 2007 .

Jacques Sakarovitch, Yann Régis-Gianas, Raphael 'kena' Poss, 2003, CIAA.

Yann Régis-Gianas, Ralf Treinen, Nicolas Jeannerod, 2018, SLE.

Yann Régis-Gianas, Paolo G. Giarrusso, Philipp Schuster, 2019, ESOP.

Burkhart Wolff, Enrico Tassi, Yann Régis-Gianas, 2013, MKM/Calculemus/DML.

Yann Régis-Gianas, Ralf Treinen, Nicolas Jeannerod, 2020, J. Comput. Lang..

Derek Dreyer, Robbert Krebbers, Yann Régis-Gianas, 2018, Proc. ACM Program. Lang..

Yann Régis-Gianas, Matthias Puech, 2012 .

Roberto M. Amadio, Yann Régis-Gianas, Ronan Saillard, 2010, ArXiv.

Damien Doligez, Didier Rémy, Zaynah Dargaye, 2006 .

Jacques Sakarovitch, Yann Régis-Gianas, Sylvain Lombardy, 2004, Theor. Comput. Sci..

Pierre Chambart, Damien Doligez, Yann Régis-Gianas, 2015 .

Alexis Saurin, Yann Régis-Gianas, Pierre-Marie Pédrot, 2015 .

Roberto M. Amadio, Yann Régis-Gianas, R. Amadio, 2011, FOPARA.

Thibaut Girka, David Mentré, Yann Régis-Gianas, 2016 .

Claude Marché, Yann Régis-Gianas, Ralf Treinen, 2019 .

Yann Régis-Gianas, Franois Pottier, 2007 .