Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

N. G. de Bruijn

dblp:64/2588 · DBLP profile ↗
← Back
6ranked-venue papers
6as first author
0since 2021 · last 2000
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 5 · 5 first-authorSecurity and privacy · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Logic in computer science · 100%
Artificial intelligence
1 paper
Knowledge representation and reasoning · 100%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Logic in computer science › lambda calculus
typed lambda calculus		 0.011991
Telescopic Mappings in Typed Lambda Calculus · Inf. Comput. 1991
Knowledge, reasoning and agents › Knowledge representation and reasoning › cognitive modeling
memory models		 0.011999
A Model for Associative Memory, a Basis for Thinking and Consciousness · ICALP 1999
YearPublicationVenuePosition
2000 Jaap Seidel 80
N. G. de Bruijn
 Des. Codes Cryptogr.1
1999 A Model for Associative Memory, a Basis for Thinking and Consciousness
N. G. de Bruijn
 ICALP1
1998 Philosophical Aspects of Computerized Verification of Mathematics
N. G. de Bruijn
 TABLEAUX1
1991 Telescopic Mappings in Typed Lambda Calculus
N. G. de Bruijn
 Inf. Comput.1
1984 Some Machines Defined bu Directed Graphs
N. G. de Bruijn
 Theor. Comput. Sci.1
1983 Denumerations of rooted trees and multisets
N. G. de Bruijn
 Discret. Appl. Math.1