Publications of Charles Dumenil

2022

Theses

titre
Expected Size of the 3-Dimensional Delaunay Triangulation of Random Points on a Surface
auteur
Charles Duménil
article
Computational Geometry [cs.CG]. Université de Lorraine, 2022. English. ⟨NNT : 2022LORR0050⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03695908/file/TheseCharlesDumenilVersionFinale.pdf BibTex

2021

Conference papers

vignette.png
titre
Stochastic Analysis of Empty-Region Graphs
auteur
Olivier Devillers, Charles Duménil
article
CCCG 2021 - 33rd Canadian Conference on Computational Geometry, Aug 2021, Halifax / Virtual, Canada
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03296186/file/paper12.pdf BibTex

2019

Conference papers

titre
A Poisson sample of a smooth surface is a good sample
auteur
Olivier Devillers, Charles Duménil
article
EuroCG 2019 - 35th European Workshop on Computational Geometry, Mar 2019, Utrecht, Netherlands
Accès au texte intégral et bibtex
https://hal.science/hal-02394144/file/PoissonSampleGoodSample.pdf BibTex

2018

Reports

vignette.png
titre
A Poisson sample of a smooth surface is a good sample
auteur
Olivier Devillers, Charles Duménil
article
[Research Report] RR-9239, INRIA Nancy. 2018, pp.8
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01962631/file/RR-9239.pdf BibTex

2017

Conference papers

titre
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols (extended version)
auteur
Jannik Dreier, Charles Duménil, Steve Kremer, Ralf Sasse
article
POST 2017 - 6th International Conference on Principles of Security and Trust, Apr 2017, Uppsala, Sweden. pp.117-140, ⟨10.1007/978-3-662-54455-6_6⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01430490/file/techreport.pdf BibTex