Concepedia

Herman Geuvers

HG

Statistics

Publications

23

Citations

702

H-Index

16

Active since

1991

Affiliations

Radboud University Nijmegen(Current)

Eindhoven University of Technology

Centre National de la Recherche Scientifique

University of Turin

Herman Geuvers is an author at Radboud University Nijmegen specializing in formal methods, engineering, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal VerificationComputer ScienceVerificationLanguageSemanticsLinguisticsProgram Analysis

Publications per year

1991–2022

23

Publications

23

Modular proof of strong normalization for the calculus of constructions

Herman Geuvers, Mark-Jan Nederhof · Journal of Functional Programming · 1991 · 100 citations

Typed Lambda Calculi, Engineering, Substructural Logic +14

Proof assistants: History, ideas and future

Herman Geuvers · Sadhana · 2009 · 80 citations · Full text

Engineering, Automated Reasoning, Verification +6

A Constructive Algebraic Hierarchy in Coq

Herman Geuvers, Randy Pollack, Freek Wiedijk et al. · Journal of Symbolic Computation · 2002 · 65 citations · Full text

Algebraic Logic, Constructive Mathematics, Automated Reasoning +2

Explicit substitution on the edge of strong normalization

Roel Bloo, Herman Geuvers · Theoretical Computer Science · 1999 · 45 citations

Mathematical Programming, Text Normalization, Engineering +5

The Church-Rosser property for βη-reduction in typed λ-calculi

Herman Geuvers · Logic in Computer Science · 1992 · 35 citations

Typed λ-Calculi, Engineering, Automated Reasoning +10

1–5 of 23