RSS
Contact
Publications
Press
Photos-videos
Homepage
About the Joint Centre
Overview
Highlights
Timeline
Research Areas & Projects
Research Areas
Computer Vision and Medical Imaging
Formal Methods for Mathematics, Distributed Systems and Security
Machine Learning & Big Data
Social Information Networks and Privacy
More
Projects
colonne 1
4D Cardiac MR Images
A-Brain
Adaptative Combinatorial Search for E-science
Interactive Network Visualization
Mathematical Components
ReActivity
Privacy-Friendly Services and Apps
Structured Large Scale Machine Learning
colonne 2
Dynamic Dictionary of Mathematical Functions
Information Flows in Online Social Networks
Scientific Image and Video Mining
Secure Distributed Computations and their Proofs
Tools for Proofs
White-Box Search-Based Software Engineering
Z-CloudFlow: Data Workflows in the Cloud
More
Researchers
News & Events
News
Events
Conferences & Workshops
Open Positions
Overview
Microsoft Research Inria Joint Centre
26 March 2014
ACM Turing Award goes to Leslie Lamport
scbskqjqcbk
Home
>
Researchers
>
Maxime Dénès
Researchers
Back to the list
Share:
A
A
Maxime Dénès
Inria Sophia Antipolis - Méditerranée
Presentation
Contact:
rf.airni@seneD.emixaM
+33 4 92 38 75 65
Personal web page
Publications at the Joint Centre:
2013
Conference papers
titre
Refinements for Free!
auteur
Cyril Cohen, Maxime Dénès, Anders Mörtberg
article
Certified Programs and Proofs
, Dec 2013, Melbourne, Australia. pp.147 – 162, 2013,
〈10.1007/978-3-319-03545-1_10〉
Accès au texte intégral et bibtex
