Tom Verhoeff

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Generalizations of Rice's theorem, applicable to executable and non-executable formalisms	2026-01-14	Paper
Handling sub-symmetry in integer programming using activation handlers	2025-11-17	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
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

Research outcomes over time

This page was built for person: Tom Verhoeff