Herman Geuvers

1.5k total citations
51 papers, 343 citations indexed

About

Herman Geuvers is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Herman Geuvers has authored 51 papers receiving a total of 343 indexed citations (citations by other indexed papers that have themselves been cited), including 45 papers in Artificial Intelligence, 33 papers in Computational Theory and Mathematics and 5 papers in Computer Networks and Communications. Recurrent topics in Herman Geuvers's work include Logic, programming, and type systems (38 papers), Logic, Reasoning, and Knowledge (26 papers) and Formal Methods in Verification (10 papers). Herman Geuvers is often cited by papers focused on Logic, programming, and type systems (38 papers), Logic, Reasoning, and Knowledge (26 papers) and Formal Methods in Verification (10 papers). Herman Geuvers collaborates with scholars based in Netherlands, France and Italy. Herman Geuvers's co-authors include Freek Wiedijk, Mark-Jan Nederhof, Rob Nederpelt, Josef Urban, Robbert Krebbers, Randy Pollack, Benjamin Werner, Franco Barbanera, Maribel Fernández and Julien Schmaltz and has published in prestigious journals such as SHILAP Revista de lepidopterología, Theoretical Computer Science and Lecture notes in computer science.

In The Last Decade

Herman Geuvers

45 papers receiving 316 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Herman Geuvers Netherlands	11	297	228	37	26	25	51	343
Kent Petersson Sweden	5	349 1.2×	230 1.0×	41 1.1×	27 1.0×	26 1.0×	7	375
Cezary Kaliszyk Austria	11	294 1.0×	175 0.8×	29 0.8×	53 2.0×	45 1.8×	48	343
Bengt Nordström Sweden	6	411 1.4×	280 1.2×	45 1.2×	36 1.4×	26 1.0×	14	441
Yoram Hirshfeld Israel	11	212 0.7×	243 1.1×	19 0.5×	30 1.2×	55 2.2×	21	305
Guy McCusker United Kingdom	11	368 1.2×	269 1.2×	20 0.5×	28 1.1×	24 1.0×	26	385
Hayo Thielecke United Kingdom	9	249 0.8×	155 0.7×	34 0.9×	37 1.4×	22 0.9×	22	264
Mario Coppo Italy	12	537 1.8×	405 1.8×	93 2.5×	35 1.3×	33 1.3×	37	578
Varmo Vene Estonia	11	251 0.8×	177 0.8×	51 1.4×	37 1.4×	37 1.5×	27	294
Anca Muscholl France	14	307 1.0×	337 1.5×	98 2.6×	29 1.1×	37 1.5×	46	431
Roy L. Crole United Kingdom	7	258 0.9×	153 0.7×	38 1.0×	32 1.2×	15 0.6×	22	295

Countries citing papers authored by Herman Geuvers

Since Specialization

Citations

This map shows the geographic impact of Herman Geuvers's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Herman Geuvers with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Herman Geuvers more than expected).

Fields of papers citing papers by Herman Geuvers

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Herman Geuvers. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Herman Geuvers. The network helps show where Herman Geuvers may publish in the future.

Co-authorship network of co-authors of Herman Geuvers

This figure shows the co-authorship network connecting the top 25 collaborators of Herman Geuvers. A scholar is included among the top collaborators of Herman Geuvers based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Herman Geuvers. Herman Geuvers is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Krebbers, Robbert, et al.. (2022). Diaframe: automated verification of fine-grained concurrent programs in Iris. Radboud Repository (Radboud University). 809–824. 19 indexed citations

Geuvers, Herman & Bart Jacobs. (2021). RELATING APARTNESS AND BISIMULATION. Radboud Repository (Radboud University). 3 indexed citations

Geuvers, Herman, et al.. (2020). Higher Inductive Types in Programming. JUCS - Journal of Universal Computer Science. 23. 63–88. 7 indexed citations

Urban, Josef, et al.. (2020). The Tactician: A Seamless, Interactive Tactic Learner and Prover for Coq. 271–277. 2 indexed citations

Geuvers, Herman, et al.. (2019). The Construction of Set-Truncated Higher Inductive Types. Electronic Notes in Theoretical Computer Science. 347. 261–280. 2 indexed citations

Rabe, Florian, et al.. (2017). Intelligent Computer Mathematics. Lecture notes in computer science. 2 indexed citations

Nederpelt, Rob & Herman Geuvers. (2014). Type Theory and Formal Proof: An Introduction. TU/e Research Portal. 7 indexed citations

Geuvers, Herman, Robbert Krebbers, & James McKinna. (2012). TheλμT-calculus. Annals of Pure and Applied Logic. 164(6). 676–701.

Eekelen, M.C.J.D. van, Herman Geuvers, Julien Schmaltz, & Freek Wiedijk. (2011). Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings. Lecture notes in computer science. 6898. 4 indexed citations

10.

Eekelen, Marko van, Herman Geuvers, Julien Schmaltz, & Freek Wiedijk. (2011). Proceedings of the Second international conference on Interactive theorem proving. 1 indexed citations

11.

Urban, Josef, Jesse Alama, Piotr Rudnicki, & Herman Geuvers. (2010). A wiki for Mizar: motivation, considerations, and initial prototype. Lecture notes in computer science. 455–469. 5 indexed citations

12.

Endrullis, Jörg, Herman Geuvers, Jakob Grue Simonsen, & Hans Zantema. (2010). Levels of undecidability in rewriting. Information and Computation. 209(2). 227–245. 8 indexed citations

13.

Asperti, Andrea, et al.. (2009). Social processes, program verification and all that. Mathematical Structures in Computer Science. 19(5). 877–896. 10 indexed citations

14.

Geuvers, Herman, et al.. (2004). A Calculus of Tactics and Its Operational Semantics. Electronic Notes in Theoretical Computer Science. 93. 118–137. 2 indexed citations

15.

Oostdijk, Martijn & Herman Geuvers. (2002). Proof by computation in the Coq system. Theoretical Computer Science. 272(1-2). 293–314. 4 indexed citations

16.

Geuvers, Herman, et al.. (2002). A Constructive Algebraic Hierarchy in Coq. Journal of Symbolic Computation. 34(4). 271–286. 25 indexed citations

17.

Geuvers, Herman, et al.. (1999). Explicit substitution on the edge of strong normalization. Theoretical Computer Science. 211(1-2). 375–395. 17 indexed citations

18.

Barbanera, Franco, Maribel Fernández, & Herman Geuvers. (1997). Modularity of strong normalization in the algebraic-λ-cube. Journal of Functional Programming. 7(6). 613–660. 13 indexed citations

19.

Geuvers, Herman, et al.. (1996). A simple model construction for the Calculus of Constructions. Lecture notes in computer science. 1158. 249–264. 2 indexed citations

20.

Geuvers, Herman. (1992). The Church-Rosser property for βη-reduction in typed λ-calculi. 453–460. 17 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact