| Publication | Date of Publication | Type |
|---|
LIARS, DEMONS, AND CHAOS
Words, Semigroups, and Transductions | 2022-12-06 | Paper |
The road to quantum computational supremacy
Springer Proceedings in Mathematics & Statistics | 2020-07-21 | Paper |
Fermat's last theorem and chaoticity
Natural Computing | 2016-07-08 | Paper |
The complexity of proving chaoticity and the Church-Turing thesis
Chaos: An Interdisciplinary Journal of Nonlinear Science | 2015-05-19 | Paper |
Inductive complexity of the P versus NP problem
Parallel Processing Letters | 2014-04-10 | Paper |
Inductive complexity measures for mathematical problems
International Journal of Foundations of Computer Science | 2013-10-23 | Paper |
Inductive complexity of P versus NP problem (extended abstract)
Unconventional Computation and Natural Computation | 2012-11-08 | Paper |
The complexity of Euler's integer partition theorem
Theoretical Computer Science | 2012-10-11 | Paper |
| The complexity of Riemann's hypothesis | 2012-04-26 | Paper |
The complexity of the four colour theorem
LMS Journal of Computation and Mathematics | 2011-09-15 | Paper |
| scientific article; zbMATH DE number 5772857 (Why is no real title available?) | 2010-08-18 | Paper |
| Evaluating the complexity of mathematical problems. I | 2010-03-10 | Paper |
scientific article; zbMATH DE number 5604130 (Why is no real title available?)
(available as arXiv preprint) | 2009-09-15 | Paper |
| Proving and programming | 2008-03-20 | Paper |
| scientific article; zbMATH DE number 5234254 (Why is no real title available?) | 2008-02-11 | Paper |
| What is the value of Taxicab\((6)\)? | 2006-04-12 | Paper |
| scientific article; zbMATH DE number 2162200 (Why is no real title available?) | 2005-04-28 | Paper |
| scientific article; zbMATH DE number 2087208 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1820021 (Why is no real title available?) | 2002-10-23 | Paper |
| scientific article; zbMATH DE number 1775501 (Why is no real title available?) | 2002-08-04 | Paper |
| Bisimulations and behaviour of nondeterministic automata | 2001-11-07 | Paper |
| scientific article; zbMATH DE number 1543070 (Why is no real title available?) | 2001-02-26 | Paper |
| scientific article; zbMATH DE number 1836414 (Why is no real title available?) | 2001-01-01 | Paper |
Finite nondeterministic automata: simulation and minimality
Theoretical Computer Science | 2000-08-21 | Paper |
| scientific article; zbMATH DE number 1236368 (Why is no real title available?) | 1999-03-11 | Paper |
| scientific article; zbMATH DE number 1189125 (Why is no real title available?) | 1998-08-13 | Paper |
Deterministic automata. Simulation, universality and minimality
Annals of Pure and Applied Logic | 1998-06-11 | Paper |
Physical versus computational complementarity. I
International Journal of Theoretical Physics | 1998-06-02 | Paper |
| scientific article; zbMATH DE number 1088283 (Why is no real title available?) | 1998-03-17 | Paper |
| scientific article; zbMATH DE number 3857951 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3829572 (Why is no real title available?) | 1982-01-01 | Paper |
