Vincent Siles
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2010–2016
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FASE | Modeling and Abstraction of Memory Management in a Hypervisor. | Pauline Bolignano, Thomas Jensen, Vincent Siles |
| 2012 | CPP | Coherent and Strongly Discrete Rings in Type Theory. | Thierry Coquand, Anders Mrtberg, Vincent Siles |
| 2012 | ITP | A Refinement-Based Approach to Computational Algebra in Coq. | Maxime Dns, Anders Mrtberg, Vincent Siles |
| 2011 | CPP | A Decision Procedure for Regular Expression Equivalence in Type Theory. | Thierry Coquand, Vincent Siles |
| 2010 | LICS | Equality Is Typable in Semi-full Pure Type Systems. | Vincent Siles, Hugo Herbelin |