N. G. de Bruijn

15 papers A* 1B 1Journal 10Unranked 2

Year	Rank	Type	Title / Venue / Authors
2013	—	`ch.`	Remarks on Penrose Tilings. The Mathematics of Paul Erdős I N. G. de Bruijn
2006	J	`jnl`	Sum of a Series: 11131. Am. Math. Mon. N. G. de Bruijn, Rolf Richberg
2005	J	`jnl`	Problem 11131. Am. Math. Mon. N. G. de Bruijn
2000	J	`jnl`	Jaap Seidel 80. Des. Codes Cryptogr. N. G. de Bruijn
1999	A*	`conf`	A Model for Associative Memory, a Basis for Thinking and Consciousness. ICALP N. G. de Bruijn
1998	B	`conf`	Philosophical Aspects of Computerized Verification of Mathematics. TABLEAUX N. G. de Bruijn
1994	—	`conf`	Highlighting the Lambda-free Fragment of Automath. TPHOLs N. G. de Bruijn
1992	J	`jnl`	Penrose patterns are almost entirely determined by two points. Discret. Math. N. G. de Bruijn
1991	J	`jnl`	Telescopic Mappings in Typed Lambda Calculus Inf. Comput. N. G. de Bruijn
1988	—	`conf`	The use of justification systems for integrated semantics. Conference on Computer Logic N. G. de Bruijn
1984	J	`jnl`	Some Machines Defined bu Directed Graphs. Theor. Comput. Sci. N. G. de Bruijn
1983	J	`jnl`	Denumerations of rooted trees and multisets. Discret. Appl. Math. N. G. de Bruijn
1974	J	`jnl`	Sorting by means of swappings. Discret. Math. N. G. de Bruijn
1972	J	`jnl`	Enumeration of Mapping Patterns. J. Comb. Theory A N. G. de Bruijn
1967	J	`jnl`	Additional comments on a problem in concurrent programming control. Commun. ACM N. G. de Bruijn

2025 Best paper conf

CheckMATE

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

2026 Best paper preprint

arXiv

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski