Y. Régis-Gianas
发表
F. Pottier,
Y. Régis-Gianas,
Yann Régis-Gianas,
2019
.
F. Pottier,
Y. Régis-Gianas,
2016
.
Benjamin Grégoire,
Enrico Tassi,
Yann Régis-Gianas,
2014
.
On orthogonal specialization in C + + Dealing with efficiency and algebraic abstraction in Vaucanson
Y. Régis-Gianas,
2003
.
F. Pottier,
Y. Régis-Gianas,
2009
.
M. Puech,
Y. Régis-Gianas,
2012
.
Stephan Merz,
Leslie Lamport,
Arthur Charguéraud,
2007
.
Damien Doligez,
Didier Rémy,
Zaynah Dargaye,
2006
.
Yann Régis-Gianas,
François Pottier,
F. Pottier,
2006,
POPL '06.
Arthur Charguéraud,
Didier Rémy,
Yann Régis-Gianas,
2005
.
Pierre Chambart,
Damien Doligez,
Yann Régis-Gianas,
2015
.
Yann Régis-Gianas,
François Pottier,
F. Pottier,
2015
.
Yann Régis-Gianas,
François Pottier,
F. Pottier,
2008,
MPC.
Yann Régis-Gianas,
Ralf Treinen,
Nicolas Jeannerod,
2018,
SLE.
F. Pottier,
Y. Régis-Gianas,
Yann Régis-Gianas,
2016
.
F. Pottier,
Y. Régis-Gianas,
2009
.
J. P. Boender,
R. M. Amadio,
N. Ayache,
2013,
FOPARA.
Roberto M. Amadio,
Yann Régis-Gianas,
Nicholas Ayache,
2012,
FMICS.
Derek Dreyer,
Robbert Krebbers,
Yann Régis-Gianas,
2018,
Proc. ACM Program. Lang..
Lourdes Del Carmen González-Huesca,
Y. Régis-Gianas,
Guillaume Claret,
2013,
ITP.
Yann Régis-Gianas,
Guillaume Claret,
Y. Régis-Gianas,
2015,
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering.
Claude Marché,
Yann Régis-Gianas,
Ralf Treinen,
2019
.
Benedikt F. H. Becker,
C. Marché,
R. Treinen,
2022,
International Journal on Software Tools for Technology Transfer.
Claude Marché,
Yann Régis-Gianas,
Ralf Treinen,
2014,
TACAS.