Laurent Théry

Statistics

Publications

Citations

262

H-Index

Active since

1992

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Laurent Théry is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, formal methods, and verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationDiscrete MathematicsComputer-aided DesignMathematical ProgrammingCombinatorial Optimization

Publications per year

1992–2014

Publications

A Skeptic's Approach to Combining HOL and Maple

John Harrison, Laurent Théry · Journal of Automated Reasoning · 1998 · 90 citations

Real theorem provers deserve real user-interfaces

Laurent Théry, Yves Bertot, Gilles Kahn · 1992 · 51 citations

Engineering, Automated Reasoning, Verification +8

A Generic Approach to Building User Interfaces for Theorem Provers

Yves Bertot, Laurent Théry · Journal of Symbolic Computation · 1998 · 50 citations

Engineering, Automated Reasoning, Verification +9

A Machine-Checked Implementation of Buchberger's Algorithm

Laurent Théry · Journal of Automated Reasoning · 2001 · 28 citations

A Flexible Proof Format for SMT: a Proposal

Frédéric Besson, Pascal Fontaine, Laurent Théry · HAL (Le Centre pour la Communication Scientifique Directe) · 2011 · 20 citations · Full text

1–5 of 7