 |
 |
 |
|
|
||
|---|---|---|
| hal-02394144v1
Conference papers
A Poisson sample of a smooth surface is a good sample EuroCG 2019 - 35th European Workshop on Computational Geometry, Mar 2019, Utrecht, Netherlands |
||
| hal-01430490v2
Conference papers
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-03296186v1
Conference papers
Stochastic Analysis of Empty-Region Graphs CCCG 2021 - 33rd Canadian Conference on Computational Geometry, Aug 2021, Halifax / Virtual, Canada |
||
|
|
||
