Vincent Siles

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 2

Top Topics

Persistent Homology

Top Venues

J. Funct. Program.

J. Formaliz. Reason.

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Guillaume Cano, Cyril Cohen, Maxime Dénès, Anders Mörtberg, Vincent Siles
Formalized linear algebra over Elementary Divisor Rings in Coq. Log. Methods Comput. Sci. 12 (2) (2016)
Pauline Bolignano, Thomas Jensen, Vincent Siles
Modeling and Abstraction of Memory Management in a Hypervisor. FASE (2016)
Jónathan Heras, Thierry Coquand, Anders Mörtberg, Vincent Siles
Computing persistent homology within Coq/SSReflect. ACM Trans. Comput. Log. 14 (4) (2013)
Thierry Coquand, Anders Mörtberg, Vincent Siles
Coherent and Strongly Discrete Rings in Type Theory. CPP (2012)
Jónathan Heras, Thierry Coquand, Anders Mörtberg, Vincent Siles
Computing Persistent Homology within Coq/SSReflect CoRR (2012)
Jónathan Heras, Maxime Dénès, Gadea Mata, Anders Mörtberg, María Poza, Vincent Siles
Towards a Certified Computation of Homology Groups for Digital Images. CTIC (2012)
Maxime Dénès, Anders Mörtberg, Vincent Siles
A Refinement-Based Approach to Computational Algebra in Coq. ITP (2012)
Vincent Siles, Hugo Herbelin
Pure Type System conversion is always typable. J. Funct. Program. 22 (2) (2012)
Thierry Coquand, Anders Mörtberg, Vincent Siles
A formal proof of Sasaki-Murao algorithm. J. Formaliz. Reason. 5 (1) (2012)
Thierry Coquand, Vincent Siles
A Decision Procedure for Regular Expression Equivalence in Type Theory. CPP (2011)
Vincent Siles, Hugo Herbelin
Equality Is Typable in Semi-full Pure Type Systems. LICS (2010)