Hugo Herbelin

Statistics

Publications

Citations

H-Index

Active since

1989

Affiliations

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

Université Paris Cité

Indiana University Bloomington

Centre National de la Recherche Scientifique

Laboratory Preuves, Programmes et Systèmes

Hugo Herbelin is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, formal methods, and automated reasoning.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSemanticsLanguageLinguisticsProgram AnalysisProgramming Languages

Publications per year

1989–2015

Publications

The Coq proof assistant : reference manual, version 6.1

Bruno Barras, Samuel Boutin, Cristina Cornes et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1997 · 985 citations · Full text

The duality of computation

Pierre-Louis Curien, Hugo Herbelin · 2000 · 318 citations

The Coq proof assistant user's guide : version 5.6

Gilles Dowek, Amy Felty, Hugo Herbelin et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 1991 · 124 citations · Full text

The duality of computation

Pierre-Louis Curien, Hugo Herbelin · ACM SIGPLAN Notices · 2000 · 89 citations · Full text

Engineering, Computational Model Theory, Computational Complexity +17

Game semantics and abstract machines

Vincent Danos, Hugo Herbelin, Laurent Régnier · 2002 · 83 citations

Game Ai, Engineering, Game Theory +17

1–5 of 24