Skip to Main content Skip to Navigation


...
hal-01430490v2  Conference papers
Jannik DreierCharles DuménilSteve KremerRalf Sasse. Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols (extended version)
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⟩
...
hal-01962631v1  Reports
Olivier DevillersCharles Duménil. A Poisson sample of a smooth surface is a good sample
[Research Report] RR-9239, INRIA Nancy. 2018, pp.8
...
hal-02394144v1  Conference papers
Olivier DevillersCharles Duménil. A Poisson sample of a smooth surface is a good sample
EuroCG 2019 - 35th European Workshop on Computational Geometry, Mar 2019, Utrecht, Netherlands
...
hal-03296186v1  Conference papers
Olivier DevillersCharles Duménil. Stochastic Analysis of Empty-Region Graphs
CCCG 2021 - 33rd Canadian Conference on Computational Geometry, Aug 2021, Halifax / Virtual, Canada