Yves Bertot

Statistics

Publications

Citations

395

H-Index

Active since

1991

Affiliations

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

Yves Bertot is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, engineering, and computer science.

ORCID

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationVerificationProgram AnalysisSoftware AnalysisGeometryProof Complexity

Publications per year

1991–2016

Publications

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 Proof of GMP Square Root

Yves Bertot, Nicolas Magaud, Paul Zimmermann · Journal of Automated Reasoning · 2002 · 33 citations

The CtCoq System: Design and Architecture

Yves Bertot · Formal Aspects of Computing · 1999 · 26 citations

Inductive and Coinductive Components of Corecursive Functions in Coq

Yves Bertot, Ekaterina Komendantskaya · Electronic Notes in Theoretical Computer Science · 2008 · 25 citations · Full text

Circuit Complexity, Coinductive Definitions, Constructive Mathematics +14

1–5 of 17