Herman Geuvers

Citée par

	Toutes	Depuis 2020
Citations	3286	797
indice h	30	14
indice i10	61	24

200

100

150

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202510 9 37 33 41 71 60 46 66 45 93 91 99 101 78 121 106 93 89 109 112 102 129 104 110 85 113 130 131 141 129 114 190 195 28

Accès public

Tout afficher

12 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Josef UrbanDistinguished Researcher at Czech Technical University in PragueAdresse e-mail validée de cvut.cz
James McKinnaHeriot-Watt University, EdinburghAdresse e-mail validée de hw.ac.uk
Cezary KaliszykUniversity of MelbourneAdresse e-mail validée de unimelb.edu.au
hans zantemaEindhoven university of technologyAdresse e-mail validée de tue.nl
Henk BarendregtFaculty of Science, Radboud UniversityAdresse e-mail validée de ru.nl
Henning BasoldLIACS - Leiden UniversityAdresse e-mail validée de liacs.leidenuniv.nl
Robbert KrebbersAssociate Professor, Radboud University NijmegenAdresse e-mail validée de cs.ru.nl
Luís Cruz-FilipeUniversity of Southern DenmarkAdresse e-mail validée de imada.sdu.dk
Maribel FernandezProfessor of Computer Science, King's College LondonAdresse e-mail validée de kcl.ac.uk
Mark-Jan NederhofUniversity of St AndrewsAdresse e-mail validée de st-andrews.ac.uk
Jörg EndrullisVU University AmsterdamAdresse e-mail validée de endrullis.de
Bas SpittersAssociate Professor, Aarhus UniversityAdresse e-mail validée de cs.au.dk
Tom HeskesProfessor of Computer Science and Artificial Intelligence, Radboud University NijmegenAdresse e-mail validée de science.ru.nl
aspertiUniversity of BolognaAdresse e-mail validée de cs.unibo.it
Martijn OostdijkInveridAdresse e-mail validée de inverid.com
Carst TankinkSoftware engineer - Bol.com

Suivre

Herman Geuvers

Radboud University Nijmegen, the Netherlands

Adresse e-mail validée de cs.ru.nl - Page d'accueil

Type Theory Theoretical Computer Science Logic


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Logics and type systems JH Geuvers [Sl: sn], 1993	233	1993
Modular proof of strong normalization for the calculus of constructions H Geuvers, MJ Nederhof J. Funct. Program. 1 (2), 155-189, 1991	184	1991
Proof assistants: History, ideas and future H Geuvers Sadhana 34, 3-25, 2009	183	2009
Proof-assistants using dependent type systems H Barendregt, H Geuvers Handbook of automated reasoning 2, 1149-1238, 2001	157	2001
Selected papers on Automath RP Nederpelt, JH Geuvers, editors Roel, C De Vrijer North-Holland, 1994	137	1994
C-CoRN, the constructive Coq repository at Nijmegen L Cruz-Filipe, H Geuvers, F Wiedijk Mathematical Knowledge Management: Third International Conference, MKM 2004 …, 2004	136	2004
Inductive and coinductive types with iteration and recursion JH Geuvers Bastad: Chalmers University of Technology, 1992	136	1992
The Church-Rosser property for βη-reduction in typed λ-calculi JH Geuvers Washington: IEEE, 1992	99	1992
Automation of higher-order logic C Benzmüller, D Miller Handbook of the History of Logic 9, 215-254, 2014	90	2014
A short and flexible proof of strong normalization for the calculus of constructions H Geuvers International Workshop on Types for Proofs and Programs, 14-38, 1994	88	1994
A constructive algebraic hierarchy in Coq H Geuvers, R Pollack, F Wiedijk, J Zwanenburg Journal of Symbolic Computation 34 (4), 271-286, 2002	86	2002
Type theory and formal proof: an introduction R Nederpelt, H Geuvers Cambridge University Press, 2014	84	2014
Explicit substitution on the edge of strong normalization R Bloo, H Geuvers Theoretical Computer Science 211 (1-2), 375-395, 1999	80	1999
A constructive proof of the fundamental theorem of algebra without using the rationals H Geuvers, F Wiedijk, J Zwanenburg Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK …, 2002	68	2002
Modularity of strong normalization in the algebraic-λ-cube F Barbanera, M Fernández, H Geuvers Journal of Functional Programming 7 (6), 613-660, 1997	68	1997
Modularity of strong normalization and confluence in the algebraic-/spl lambda/-cube F Barbanera, M Fernández, H Geuvers Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 406-415, 1994	66	1994
Induction is not derivable in second order dependent type theory H Geuvers International Conference on Typed Lambda Calculi and Applications, 166-181, 2001	60	2001
Constructive reals in Coq: Axioms and categoricity H Geuvers, M Niqui International Workshop on Types for Proofs and Programs, 79-95, 2000	59	2000
Diaframe: automated verification of fine-grained concurrent programs in Iris I Mulder, R Krebbers, H Geuvers Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022	44	2022
On the Church-Rosser property for expressive type systems and its consequences for their metatheoretic study H Geuvers, B Werner Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 320-329, 1994	44	1994

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs