illustration of data storage and cloud storage around the Eiffel tower

Inria Joint Center

Papiers de Collaboration

Key Publications

View by:

- SpatialSim: Recognizing Spatial Configurations of Objects with Graph Neural Networks
  
  Laetitia Teodorescu, Katja Hofmann, Pierre-Yves Oudeyer1
  
  Frontiers in Artificial Intelligence | January 2022, Vol 4
  
  Publication
- Spatio-Temporal Human Shape Completion With Implicit Function Networks
  
  Federica Bogo, Edmond Boyer, Jean-Sébastien Franco, Boyao Zhou
  
  International Conference on 3D Imaging, Modeling, Processing, Visualization and Transmission (3DIMPVT) | December 2021
  
  Publication
- A Modern Compiler for the French Tax Code
  
  Denis Merigoux, Raphaël Monat, Jonathan Protzenko
  
  arXiv: Programming Languages | January 2021
  
  PDF PDF PDF Publication Publication Publication Publication Publication Publication
- Mesh Denoising with Facet Graph Convolutions
  
  Matthieu Armando, Jean-Sebastien Franco, Edmond Boyer
  
  December 2020
  
  Publication
- HACL×N: Verified Generic SIMD Crypto (for all your favourite platforms)
  
  Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin
  
  ACM Conference on Computer and Communications Security (CCS) | November 2020
  
  Publication Download Project
- From Tree Matching to Sparse Graph Alignment
  
  Luca Ganassali, Laurent Massoulie
  
  COLT 2020 | June 2020
  
  PDF
- Leveraging Photometric Consistency over Time for Sparsely Supervised Hand-Object Reconstruction
  
  Yana Hasson, Bugra Tekin, Federica Bogo, Ivan Laptev, Marc Pollefeys, Cordelia Schmid
  
  2020 Conference on Computer Vision and Pattern Recognition (CVPR) | May 2020
  
  Publication PDF Project
- Blind Schnorr Signatures and Signed ElGamal Encryption in the Algebraic Group Model
  
  Georg Fuchsbauer, Antoine Plouviez, Yannick Seurin
  
  Eurocrypt 2020 | May 2020
  
  Publication
- EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider
  
  Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
  
  IEEE Symposium on Security and Privacy | May 2020
  
  Publication Video Download Github Project
- Automatic Curriculum Learning for Deep RL: A Short Survey
  
  Rémy Portelas, Cédric Colas, Lilian Weng, Katja Hofmann, Pierre-Yves Oudeyer
  
  International Joint Conference on Artificial Intelligence | March 2020
  
  DOI PDF Publication Publication Publication
- Statistically Preconditioned Accelerated Gradient Method for Distributed Optimization
  
  Hadrien Hendrikx, Lin Xiao (lixiao), Sébastien Bubeck (sebubeck), Francis Bach, Laurent Massoulie
  
  MSR-TR-2020-5 | February 2020
  
  Published by Microsoft Research
  
  Publication Video Project
- TLA+ Model Checking Made Symbolic
  
  Igor Konnov, Thanh-Hai Tran
  
  October 2019
  
  Publication
- Learning Joint Reconstruction of Hands and Manipulated Objects
  
  Yana Hasson, Gul Varol, Dimitrios Tzionas, Igor Kalevatykh, Michael J. Black, Ivan Laptev, Cordelia Schmid
  
  2019 Computer Vision and Pattern Recognition | June 2019
  
  DOI PDF PDF PDF Publication Publication Publication Publication Publication Publication
- Formally Verified Cryptographic Web Applications in WebAssembly
  
  Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan
  
  2019 IEEE Symposium on Security and Privacy (SP) | May 2019
  
  Publication Télécharger Projet
- Optimal Algorithms for Non-Smooth Distributed Optimization in Networks
  
  Kevin Scaman, Francis Bach, Sébastien Bubeck, Yin Tat Lee, Laurent Massoulié
  
  NeurIPS 2018 | June 2018
  
  Best Paper Award
  
  Publication Preprint Project
- Sparse Bayesian registration of medical images for self-tuning of parameters and spatially adaptive parametrization of displacements.
  
  Loic Le Folgoc, Hervé Delingette, Antonio Criminisi, Nicholas Ayache
  
  Medical Image Analysis | January 2017, Vol 36: pp. 79-97
  
  PDF DOI Project
- Managing Hot Metadata for Scientific Workflows on Multisite Clouds
  
  Luis Pineda-Morales, Ji Liu, Alexandru Costan, Esther Pacitti, Gabriel Antoniu, Patrick Valduriez, Marta Mattoso
  
  International Conference on Big Data | December 2016
  
  DOI PDF Publication Publication Publication Publication
- A Universal Catalyst for First-Order Optimization
  
  Hongzhou Lin, Julien Mairal, Zaid Harchaoui
  
  Neural Information Processing Systems | December 2015
  
  PDF Publication
- Non-backtracking Spectrum of Random Graphs: Community Detection and Non-regular Ramanujan Graphs
  
  Charles Bordenave, Marc Lelarge, Laurent Massoulie
  
  Foundations of Computer Science | October 2015
  
  DOI Publication Publication Publication Publication Publication Publication Publication
- Finding Actors and Actions in Movies
  
  P. Bojanowski, F. Bach, I. Laptev, J. Ponce, C. Schmid, J. Sivic
  
  International Conference on Computer Vision | December 2013
  
  DOI PDF PDF PDF Publication Publication Publication Publication Publication Publication Publication
- Enhancing the Reproducibility of Group Analysis with Randomized Brain Parcellations
  
  Benoit Da Mota, Virgile Fritsch, Gaël Varoquaux, Vincent Frouin, Jean-Baptiste Poline, Bertrand Thirion
  
  Medical Image Computing and Computer-Assisted Intervention | September 2013
  
  DOI PDF Publication Publication Publication Publication Publication
- A Machine-Checked Proof of the Odd Order Theorem
  
  Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
  
  Interactive Theorem Proving | July 2013
  
  DOI PDF PDF Publication Publication Publication Publication Publication Publication Publication Publication
- Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem
  
  Manuel Loth, Michéle Sebag, Youssef Hamadi, Marc Schoenauer, Christian Schulte
  
  Learning and Intelligent Optimization | January 2013
  
  DOI PDF Publication Publication Publication Publication
- TLA+ Proofs
  
  Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernan Vanzetto
  
  Proceedings of the 18th International Symposium on Formal Methods (FM 2012), Dimitra Giannakopoulou and Dominique Mery, editors. Springer-Verlag Lecture Notes in Computer Science | January 2012, Vol 7436: pp. 147-154
  
  Publication
- Secure Distributed Programming with Value-dependent Types
  
  Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
  
  The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011) | September 2011
  
  Publication Project
- A Modular Formalisation of Finite Group Theory
  
  Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry
  
  September 2007
  
  Publication

- SpatialSim: Recognizing Spatial Configurations of Objects with Graph Neural Networks
  
  Laetitia Teodorescu, Katja Hofmann, Pierre-Yves Oudeyer1
  
  Frontiers in Artificial Intelligence | January 2022, Vol 4
  
  Publication
- From Tree Matching to Sparse Graph Alignment
  
  Luca Ganassali, Laurent Massoulie
  
  COLT 2020 | June 2020
  
  PDF
- Statistically Preconditioned Accelerated Gradient Method for Distributed Optimization
  
  Hadrien Hendrikx, Lin Xiao (lixiao), Sébastien Bubeck (sebubeck), Francis Bach, Laurent Massoulie
  
  MSR-TR-2020-5 | February 2020
  
  Published by Microsoft Research
  
  Publication Video Project
- A Universal Catalyst for First-Order Optimization
  
  Hongzhou Lin, Julien Mairal, Zaid Harchaoui
  
  Neural Information Processing Systems | December 2015
  
  PDF Publication
- Finding Actors and Actions in Movies
  
  P. Bojanowski, F. Bach, I. Laptev, J. Ponce, C. Schmid, J. Sivic
  
  International Conference on Computer Vision | December 2013
  
  DOI PDF PDF PDF Publication Publication Publication Publication Publication Publication Publication
- Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem
  
  Manuel Loth, Michéle Sebag, Youssef Hamadi, Marc Schoenauer, Christian Schulte
  
  Learning and Intelligent Optimization | January 2013
  
  DOI PDF Publication Publication Publication Publication
- Spatio-Temporal Human Shape Completion With Implicit Function Networks
  
  Federica Bogo, Edmond Boyer, Jean-Sébastien Franco, Boyao Zhou
  
  International Conference on 3D Imaging, Modeling, Processing, Visualization and Transmission (3DIMPVT) | December 2021
  
  Publication
- Leveraging Photometric Consistency over Time for Sparsely Supervised Hand-Object Reconstruction
  
  Yana Hasson, Bugra Tekin, Federica Bogo, Ivan Laptev, Marc Pollefeys, Cordelia Schmid
  
  2020 Conference on Computer Vision and Pattern Recognition (CVPR) | May 2020
  
  Publication PDF Project
- Learning Joint Reconstruction of Hands and Manipulated Objects
  
  Yana Hasson, Gul Varol, Dimitrios Tzionas, Igor Kalevatykh, Michael J. Black, Ivan Laptev, Cordelia Schmid
  
  2019 Computer Vision and Pattern Recognition | June 2019
  
  DOI PDF PDF PDF Publication Publication Publication Publication Publication Publication
- Sparse Bayesian registration of medical images for self-tuning of parameters and spatially adaptive parametrization of displacements.
  
  Loic Le Folgoc, Hervé Delingette, Antonio Criminisi, Nicholas Ayache
  
  Medical Image Analysis | January 2017, Vol 36: pp. 79-97
  
  PDF DOI Project
- Enhancing the Reproducibility of Group Analysis with Randomized Brain Parcellations
  
  Benoit Da Mota, Virgile Fritsch, Gaël Varoquaux, Vincent Frouin, Jean-Baptiste Poline, Bertrand Thirion
  
  Medical Image Computing and Computer-Assisted Intervention | September 2013
  
  DOI PDF Publication Publication Publication Publication Publication
- A Modern Compiler for the French Tax Code
  
  Denis Merigoux, Raphaël Monat, Jonathan Protzenko
  
  arXiv: Programming Languages | January 2021
  
  PDF PDF PDF Publication Publication Publication Publication Publication Publication
- HACL×N: Verified Generic SIMD Crypto (for all your favourite platforms)
  
  Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin
  
  ACM Conference on Computer and Communications Security (CCS) | November 2020
  
  Publication Download Project
- EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider
  
  Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
  
  IEEE Symposium on Security and Privacy | May 2020
  
  Publication Video Download Github Project
- Secure Distributed Programming with Value-dependent Types
  
  Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
  
  The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011) | September 2011
  
  Publication Project
- Statistically Preconditioned Accelerated Gradient Method for Distributed Optimization
  
  Hadrien Hendrikx, Lin Xiao (lixiao), Sébastien Bubeck (sebubeck), Francis Bach, Laurent Massoulie
  
  MSR-TR-2020-5 | February 2020
  
  Published by Microsoft Research
  
  Publication Video Project
- Optimal Algorithms for Non-Smooth Distributed Optimization in Networks
  
  Kevin Scaman, Francis Bach, Sébastien Bubeck, Yin Tat Lee, Laurent Massoulié
  
  NeurIPS 2018 | June 2018
  
  Best Paper Award
  
  Publication Preprint Project
- A Universal Catalyst for First-Order Optimization
  
  Hongzhou Lin, Julien Mairal, Zaid Harchaoui
  
  Neural Information Processing Systems | December 2015
  
  PDF Publication
- TLA+ Proofs
  
  Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernan Vanzetto
  
  Proceedings of the 18th International Symposium on Formal Methods (FM 2012), Dimitra Giannakopoulou and Dominique Mery, editors. Springer-Verlag Lecture Notes in Computer Science | January 2012, Vol 7436: pp. 147-154
  
  Publication
- Statistically Preconditioned Accelerated Gradient Method for Distributed Optimization
  
  Hadrien Hendrikx, Lin Xiao (lixiao), Sébastien Bubeck (sebubeck), Francis Bach, Laurent Massoulie
  
  MSR-TR-2020-5 | February 2020
  
  Published by Microsoft Research
  
  Publication Video Project
- Non-backtracking Spectrum of Random Graphs: Community Detection and Non-regular Ramanujan Graphs
  
  Charles Bordenave, Marc Lelarge, Laurent Massoulie
  
  Foundations of Computer Science | October 2015
  
  DOI Publication Publication Publication Publication Publication Publication Publication
- EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider
  
  Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
  
  IEEE Symposium on Security and Privacy | May 2020
  
  Publication Video Download Github Project
- Managing Hot Metadata for Scientific Workflows on Multisite Clouds
  
  Luis Pineda-Morales, Ji Liu, Alexandru Costan, Esther Pacitti, Gabriel Antoniu, Patrick Valduriez, Marta Mattoso
  
  International Conference on Big Data | December 2016
  
  DOI PDF Publication Publication Publication Publication
- A Machine-Checked Proof of the Odd Order Theorem
  
  Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
  
  Interactive Theorem Proving | July 2013
  
  DOI PDF PDF Publication Publication Publication Publication Publication Publication Publication Publication
- Automatic Curriculum Learning for Deep RL: A Short Survey
  
  Rémy Portelas, Cédric Colas, Lilian Weng, Katja Hofmann, Pierre-Yves Oudeyer
  
  International Joint Conference on Artificial Intelligence | March 2020
  
  DOI PDF Publication Publication Publication
- A Modular Formalisation of Finite Group Theory
  
  Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry
  
  September 2007
  
  Publication
- HACL×N: Verified Generic SIMD Crypto (for all your favourite platforms)
  
  Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin
  
  ACM Conference on Computer and Communications Security (CCS) | November 2020
  
  Publication Download Project
- Blind Schnorr Signatures and Signed ElGamal Encryption in the Algebraic Group Model
  
  Georg Fuchsbauer, Antoine Plouviez, Yannick Seurin
  
  Eurocrypt 2020 | May 2020
  
  Publication
- EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider
  
  Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
  
  IEEE Symposium on Security and Privacy | May 2020
  
  Publication Video Download Github Project
- TLA+ Model Checking Made Symbolic
  
  Igor Konnov, Thanh-Hai Tran
  
  October 2019
  
  Publication
- Formally Verified Cryptographic Web Applications in WebAssembly
  
  Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan
  
  2019 IEEE Symposium on Security and Privacy (SP) | May 2019
  
  Publication Télécharger Projet
- Mesh Denoising with Facet Graph Convolutions
  
  Matthieu Armando, Jean-Sebastien Franco, Edmond Boyer
  
  December 2020
  
  Publication
- Sparse Bayesian registration of medical images for self-tuning of parameters and spatially adaptive parametrization of displacements.
  
  Loic Le Folgoc, Hervé Delingette, Antonio Criminisi, Nicholas Ayache
  
  Medical Image Analysis | January 2017, Vol 36: pp. 79-97
  
  PDF DOI Project

- SpatialSim: Recognizing Spatial Configurations of Objects with Graph Neural Networks
  
  Laetitia Teodorescu, Katja Hofmann, Pierre-Yves Oudeyer1
  
  Frontiers in Artificial Intelligence | January 2022, Vol 4
  
  Publication
- A Modern Compiler for the French Tax Code
  
  Denis Merigoux, Raphaël Monat, Jonathan Protzenko
  
  arXiv: Programming Languages | January 2021
  
  PDF PDF PDF Publication Publication Publication Publication Publication Publication
- Sparse Bayesian registration of medical images for self-tuning of parameters and spatially adaptive parametrization of displacements.
  
  Loic Le Folgoc, Hervé Delingette, Antonio Criminisi, Nicholas Ayache
  
  Medical Image Analysis | January 2017, Vol 36: pp. 79-97
  
  PDF DOI Project
- TLA+ Proofs
  
  Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernan Vanzetto
  
  Proceedings of the 18th International Symposium on Formal Methods (FM 2012), Dimitra Giannakopoulou and Dominique Mery, editors. Springer-Verlag Lecture Notes in Computer Science | January 2012, Vol 7436: pp. 147-154
  
  Publication
- Spatio-Temporal Human Shape Completion With Implicit Function Networks
  
  Federica Bogo, Edmond Boyer, Jean-Sébastien Franco, Boyao Zhou
  
  International Conference on 3D Imaging, Modeling, Processing, Visualization and Transmission (3DIMPVT) | December 2021
  
  Publication
- HACL×N: Verified Generic SIMD Crypto (for all your favourite platforms)
  
  Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin
  
  ACM Conference on Computer and Communications Security (CCS) | November 2020
  
  Publication Download Project
- From Tree Matching to Sparse Graph Alignment
  
  Luca Ganassali, Laurent Massoulie
  
  COLT 2020 | June 2020
  
  PDF
- Leveraging Photometric Consistency over Time for Sparsely Supervised Hand-Object Reconstruction
  
  Yana Hasson, Bugra Tekin, Federica Bogo, Ivan Laptev, Marc Pollefeys, Cordelia Schmid
  
  2020 Conference on Computer Vision and Pattern Recognition (CVPR) | May 2020
  
  Publication PDF Project
- Blind Schnorr Signatures and Signed ElGamal Encryption in the Algebraic Group Model
  
  Georg Fuchsbauer, Antoine Plouviez, Yannick Seurin
  
  Eurocrypt 2020 | May 2020
  
  Publication
- EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider
  
  Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
  
  IEEE Symposium on Security and Privacy | May 2020
  
  Publication Video Download Github Project
- Automatic Curriculum Learning for Deep RL: A Short Survey
  
  Rémy Portelas, Cédric Colas, Lilian Weng, Katja Hofmann, Pierre-Yves Oudeyer
  
  International Joint Conference on Artificial Intelligence | March 2020
  
  DOI PDF Publication Publication Publication
- Learning Joint Reconstruction of Hands and Manipulated Objects
  
  Yana Hasson, Gul Varol, Dimitrios Tzionas, Igor Kalevatykh, Michael J. Black, Ivan Laptev, Cordelia Schmid
  
  2019 Computer Vision and Pattern Recognition | June 2019
  
  DOI PDF PDF PDF Publication Publication Publication Publication Publication Publication
- Formally Verified Cryptographic Web Applications in WebAssembly
  
  Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan
  
  2019 IEEE Symposium on Security and Privacy (SP) | May 2019
  
  Publication Télécharger Projet
- Optimal Algorithms for Non-Smooth Distributed Optimization in Networks
  
  Kevin Scaman, Francis Bach, Sébastien Bubeck, Yin Tat Lee, Laurent Massoulié
  
  NeurIPS 2018 | June 2018
  
  Best Paper Award
  
  Publication Preprint Project
- Managing Hot Metadata for Scientific Workflows on Multisite Clouds
  
  Luis Pineda-Morales, Ji Liu, Alexandru Costan, Esther Pacitti, Gabriel Antoniu, Patrick Valduriez, Marta Mattoso
  
  International Conference on Big Data | December 2016
  
  DOI PDF Publication Publication Publication Publication
- A Universal Catalyst for First-Order Optimization
  
  Hongzhou Lin, Julien Mairal, Zaid Harchaoui
  
  Neural Information Processing Systems | December 2015
  
  PDF Publication
- Non-backtracking Spectrum of Random Graphs: Community Detection and Non-regular Ramanujan Graphs
  
  Charles Bordenave, Marc Lelarge, Laurent Massoulie
  
  Foundations of Computer Science | October 2015
  
  DOI Publication Publication Publication Publication Publication Publication Publication
- Finding Actors and Actions in Movies
  
  P. Bojanowski, F. Bach, I. Laptev, J. Ponce, C. Schmid, J. Sivic
  
  International Conference on Computer Vision | December 2013
  
  DOI PDF PDF PDF Publication Publication Publication Publication Publication Publication Publication
- Enhancing the Reproducibility of Group Analysis with Randomized Brain Parcellations
  
  Benoit Da Mota, Virgile Fritsch, Gaël Varoquaux, Vincent Frouin, Jean-Baptiste Poline, Bertrand Thirion
  
  Medical Image Computing and Computer-Assisted Intervention | September 2013
  
  DOI PDF Publication Publication Publication Publication Publication
- A Machine-Checked Proof of the Odd Order Theorem
  
  Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
  
  Interactive Theorem Proving | July 2013
  
  DOI PDF PDF Publication Publication Publication Publication Publication Publication Publication Publication
- Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem
  
  Manuel Loth, Michéle Sebag, Youssef Hamadi, Marc Schoenauer, Christian Schulte
  
  Learning and Intelligent Optimization | January 2013
  
  DOI PDF Publication Publication Publication Publication
- Secure Distributed Programming with Value-dependent Types
  
  Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
  
  The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011) | September 2011
  
  Publication Project
- A Modular Formalisation of Finite Group Theory
  
  Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry
  
  September 2007
  
  Publication
- Mesh Denoising with Facet Graph Convolutions
  
  Matthieu Armando, Jean-Sebastien Franco, Edmond Boyer
  
  December 2020
  
  Publication
- TLA+ Model Checking Made Symbolic
  
  Igor Konnov, Thanh-Hai Tran
  
  October 2019
  
  Publication
- Statistically Preconditioned Accelerated Gradient Method for Distributed Optimization
  
  Hadrien Hendrikx, Lin Xiao (lixiao), Sébastien Bubeck (sebubeck), Francis Bach, Laurent Massoulie
  
  MSR-TR-2020-5 | February 2020
  
  Published by Microsoft Research
  
  Publication Video Project