| Publication | Date of Publication | Type |
|---|
How N. G. (Dick) de Bruijn combines mathematics and art
Nieuw Archief voor Wiskunde. Vijfde Serie | 2026-09-11 | Paper |
| Generalizations of Rice's theorem, applicable to executable and non-executable formalisms | 2026-01-14 | Paper |
The k-out-of-n picture-hanging puzzle: shorter solutions for small k and n-k
(available as arXiv preprint) | 2026-01-01 | Paper |
A proof of Lehmer's permutation conjecture for neighbor-swap graphs
(available as arXiv preprint) | 2026-01-01 | Paper |
| Handling sub-symmetry in integer programming using activation handlers | 2025-11-17 | Paper |
Comparison of Methods for Rotating a Point in $\mathbb{R}^3$: A Case Study
(available as arXiv preprint) | 2025-01-01 | Paper |
| Handling Sub-symmetry in Integer Programming using Activation Handlers | 2022-12-08 | Paper |
| scientific article; zbMATH DE number 7370156 (Why is no real title available?) | 2021-07-08 | Paper |
| Determining the essentially different partitions of all Japanese convex tangrams | 2018-11-29 | Paper |
| scientific article; zbMATH DE number 6823405 (Why is no real title available?) | 2018-01-09 | Paper |
Determining the essentially different partitions of all Japanese convex tangrams
(available as arXiv preprint) | 2018-01-01 | Paper |
The spurs of D. H. Lehmer. Hamiltonian paths in neighbor-swap graphs of permutations
Designs, Codes and Cryptography | 2017-07-21 | Paper |
The International Mathematics Olympiad
Nieuw Archief voor Wiskunde. Vijfde Serie | 2012-06-07 | Paper |
Halting still standing -- programs versus specifications
Unifying Theories of Programming | 2010-11-09 | Paper |
On computing a longest path in a tree
Information Processing Letters | 2002-07-14 | Paper |
Hintikka's ``The principles of mathematics revisited''
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
Some new binary, quasi-cyclic codes
IEEE Transactions on Information Theory | 1999-11-21 | Paper |
| scientific article; zbMATH DE number 1300642 (Why is no real title available?) | 1999-06-13 | Paper |
| scientific article; zbMATH DE number 1300642 (Why is no real title available?) | 1999-06-13 | Paper |
| scientific article; zbMATH DE number 559729 (Why is no real title available?) | 1994-05-02 | Paper |
An updated table of minimum-distance bounds for binary linear codes
IEEE Transactions on Information Theory | 1993-12-07 | Paper |
| scientific article; zbMATH DE number 139980 (Why is no real title available?) | 1993-03-28 | Paper |
Delay-insensitive codes - an overview
Distributed Computing | 1988-01-01 | Paper |
An updated table of minimum-distance bounds for binary linear codes
IEEE Transactions on Information Theory | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3878836 (Why is no real title available?) | 1985-01-01 | Paper |
