Rob Nederpelt

512 total citations
27 papers, 180 citations indexed

About

Rob Nederpelt is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Theoretical Computer Science. According to data from OpenAlex, Rob Nederpelt has authored 27 papers receiving a total of 180 indexed citations (citations by other indexed papers that have themselves been cited), including 20 papers in Artificial Intelligence, 15 papers in Computational Theory and Mathematics and 5 papers in Theoretical Computer Science. Recurrent topics in Rob Nederpelt's work include Logic, programming, and type systems (20 papers), Logic, Reasoning, and Knowledge (11 papers) and Formal Methods in Verification (6 papers). Rob Nederpelt is often cited by papers focused on Logic, programming, and type systems (20 papers), Logic, Reasoning, and Knowledge (11 papers) and Formal Methods in Verification (6 papers). Rob Nederpelt collaborates with scholars based in Netherlands and United Kingdom. Rob Nederpelt's co-authors include Fairouz Kamareddine, Herman Geuvers, Francien Dechesne, F. Göbel, H.C.M. de Swart, Paul Erdős and John Loxton and has published in prestigious journals such as American Mathematical Monthly, Theoretical Computer Science and Information and Computation.

In The Last Decade

Rob Nederpelt

22 papers receiving 146 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Rob Nederpelt Netherlands	9	155	108	14	11	9	27	180
Benjamin Aminof Italy	9	133 0.9×	132 1.2×	10 0.7×	7 0.6×	15 1.7×	27	175
Sophie Tison France	7	161 1.0×	148 1.4×	6 0.4×	11 1.0×	41 4.6×	30	199
Irène Guessarian France	7	155 1.0×	155 1.4×	4 0.3×	9 0.8×	29 3.2×	28	213
Paulo A. S. Veloso Brazil	7	131 0.8×	88 0.8×	7 0.5×	16 1.5×	42 4.7×	51	166
Richard Owens United Kingdom	5	113 0.7×	46 0.4×	4 0.3×	11 1.0×	20 2.2×	14	139
Carroll Morgan Australia	9	167 1.1×	144 1.3×	5 0.4×	9 0.8×	29 3.2×	17	200
Beata Konikowska Poland	9	225 1.5×	210 1.9×	5 0.4×	18 1.6×	13 1.4×	30	248
Pavlos Peppas Greece	11	298 1.9×	93 0.9×	13 0.9×	14 1.3×	19 2.1×	48	338
Magdalena Kacprzak Poland	7	146 0.9×	92 0.9×	10 0.7×	10 0.9×	11 1.2×	26	164
Ulrich Furbach Germany	8	118 0.8×	47 0.4×	5 0.4×	15 1.4×	25 2.8×	42	163

Countries citing papers authored by Rob Nederpelt

Since Specialization

Citations

This map shows the geographic impact of Rob Nederpelt'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 Rob Nederpelt with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Rob Nederpelt more than expected).

Fields of papers citing papers by Rob Nederpelt

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Rob Nederpelt. 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 Rob Nederpelt. The network helps show where Rob Nederpelt may publish in the future.

Co-authorship network of co-authors of Rob Nederpelt

This figure shows the co-authorship network connecting the top 25 collaborators of Rob Nederpelt. A scholar is included among the top collaborators of Rob Nederpelt 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 Rob Nederpelt. Rob Nederpelt 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

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

Nederpelt, Rob & Herman Geuvers. (2014). Type Theory and Formal Proof. Cambridge University Press eBooks. 12 indexed citations

Geuvers, Herman & Rob Nederpelt. (2013). N.G. de Bruijn’s contribution to the formalization of mathematics. Indagationes Mathematicae. 24(4). 1034–1049. 1 indexed citations

Kamareddine, Fairouz, et al.. (2004). A Modern Perspective on Type Theory: From Its Origins Until Today. CERN Document Server (European Organization for Nuclear Research). 11 indexed citations

Nederpelt, Rob, et al.. (2004). Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories. Electronic Notes in Theoretical Computer Science. 93. 102–117. 1 indexed citations

Kamareddine, Fairouz & Rob Nederpelt. (2004). A Refinement of de Bruijn's Formal Language of Mathematics. Journal of Logic Language and Information. 13(3). 287–340. 12 indexed citations

Nederpelt, Rob, et al.. (2004). Logical Reasoning: A First Course. TU/e Research Portal. 19 indexed citations

Kamareddine, Fairouz, et al.. (2002). Types in Logic and Mathematics before 1940. Bulletin of Symbolic Logic. 8(2). 185–185.

Kamareddine, Fairouz, et al.. (2002). Revisiting the notion of function. The Journal of Logic and Algebraic Programming. 54(1-2). 65–107.

10.

Kamareddine, Fairouz, et al.. (2001). De Bruijn's syntax and reductional equivalence of λ-terms. TU/e Research Portal. 16–27. 2 indexed citations

11.

Kamareddine, Fairouz, et al.. (1999). On Π-conversion in the λ-cube and the combination with abbreviations. Annals of Pure and Applied Logic. 97(1-3). 27–45. 8 indexed citations

12.

Nederpelt, Rob, et al.. (1998). Dijkstra-Scholten predicate calculus: concepts and misconceptions. Acta Informatica. 35(12). 1007–1036. 5 indexed citations

13.

Nederpelt, Rob, et al.. (1996). Predicate calculus : concepts and misconceptions. TU/e Research Portal (Eindhoven University of Technology). 9621. 1 indexed citations

14.

Kamareddine, Fairouz & Rob Nederpelt. (1996). A useful λ-notation. Theoretical Computer Science. 155(1). 85–109. 15 indexed citations

15.

Kamareddine, Fairouz, et al.. (1996). The Barendregt Cube with Definitions and Generalised Reduction. Information and Computation. 126(2). 123–143. 21 indexed citations

16.

Kamareddine, Fairouz & Rob Nederpelt. (1996). Canonical typing and ∏-conversion in the Barendregt Cube. Journal of Functional Programming. 6(2). 245–267. 9 indexed citations

17.

Kamareddine, Fairouz & Rob Nederpelt. (1994). A unified approach to type theory through a refined λ-calculus. Theoretical Computer Science. 136(1). 183–216. 5 indexed citations

18.

Swart, H.C.M. de & Rob Nederpelt. (1991). Implication: a survey of the different logical analyses of "if ..., then ...". Data Archiving and Networked Services (DANS). 91(2). 1–26. 1 indexed citations

19.

Nederpelt, Rob. (1980). An approach to theorem proving on the basis of a typed lambda-calculus. TU/e Research Portal (Eindhoven University of Technology). 8001. 1 indexed citations

20.

Nederpelt, Rob, et al.. (1971). The Number of Numerical Outcomes of Iterated Powers. American Mathematical Monthly. 78(10). 1097–1097.

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