Maxime Dénès

发表

Cyril Cohen, Maxime Dénès, Anders Mörtberg, 2013, CPP.
Pierre Courtieu, Xavier Leroy, Jacques-Henri Jourdan, 2011 .
Benjamin C. Pierce, Leonidas Lampropoulos, Antal Spector-Zabusky, 2016, Journal of Functional Programming.
Adrien Richard, Yves Bertot, Maxime Dénès, 2009, 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Benjamin C. Pierce, Antal Spector-Zabusky, Catalin Hritcu, 2015, 2015 IEEE Symposium on Security and Privacy.
Benjamin Grégoire, Maxime Dénès, Mathieu Boespflug, 2011, CPP.
Jónathan Heras, Laurence Rideau, Maxime Dénès, 2011, Calculemus/MKM.
Vincent Siles, Cyril Cohen, Maxime Dénès, 2016, Log. Methods Comput. Sci..
Benjamin C. Pierce, Leonidas Lampropoulos, Catalin Hritcu, 2015, ITP.
Vincent Siles, Maxime Dénès, Anders Mörtberg, 2012, ITP.
Stephan Merz, Sébastien Tixeuil, Leslie Lamport, 2013 .
Jónathan Heras, Vincent Siles, Gadea Mata, 2012, CTIC.