|
||
---|---|---|
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-01962631v1
Reports
A Poisson sample of a smooth surface is a good sample [Research Report] RR-9239, INRIA Nancy. 2018, pp.8 |
||
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 |
||
|