| Publication | Date of Publication | Type |
|---|
McColm conjecture
(available as arXiv preprint) | N/A | Paper |
Interactive classical algorithms: preview
Bulletin of the European Association for Theoretical Computer Science EATCS | 2026-05-12 | Paper |
| Reversify any sequential algorithm | 2026-04-29 | Paper |
The umbilical cord of finite model theory
Journal of Logic and Computation | 2025-10-29 | Paper |
Primal logic of information
ACM Transactions on Computational Logic | 2025-06-04 | Paper |
On a measure of intelligence
Bulletin of the European Association for Theoretical Computer Science EATCS | 2025-04-22 | Paper |
On logic and generative AI
Bulletin of the European Association for Theoretical Computer Science EATCS | 2024-08-21 | Paper |
| The railroad crossing problem: an experiment with instantaneous actions and immediate reactions | 2024-06-21 | Paper |
Logical foundations: personal perspective
Logic Journal of the IGPL | 2024-02-20 | Paper |
| scientific article; zbMATH DE number 7800881 (Why is no real title available?) | 2024-02-06 | Paper |
| What are kets? | 2024-02-06 | Paper |
Metafinite model theory
Lecture Notes in Computer Science | 2023-12-12 | Paper |
| Primal logic of information | 2023-07-12 | Paper |
| scientific article; zbMATH DE number 7701434 (Why is no real title available?) | 2023-06-26 | Paper |
scientific article; zbMATH DE number 7701441 (Why is no real title available?)
(available as arXiv preprint) | 2023-06-26 | Paper |
| scientific article; zbMATH DE number 7701441 (Why is no real title available?) | 2023-06-26 | Paper |
scientific article; zbMATH DE number 7699974 (Why is no real title available?)
(available as arXiv preprint) | 2023-06-22 | Paper |
Software science view on quantum circuit algorithms
Information and Computation | 2023-05-19 | Paper |
Negative probabilities: what are they for? <sup>*</sup>
Journal of Physics A: Mathematical and Theoretical | 2023-02-10 | Paper |
The 1966 International Congress of Mathematicians: A Micro-memoir
Fundamenta Informaticae | 2022-10-07 | Paper |
| Novosibirsk algebra and logic in the mid 1960s: A personal perspective | 2022-09-29 | Paper |
Quantum circuits with classical channels and the principle of deferred measurements
Theoretical Computer Science | 2022-05-17 | Paper |
Boris Abramovich Trakhtenbrot
Russian Mathematical Surveys | 2022-05-09 | Paper |
Wigner's quasidistribution and Dirac's kets
(available as arXiv preprint) | 2022-04-28 | Paper |
| Wigner's quasidistribution and Dirac's kets | 2022-04-28 | Paper |
Reversify any sequential algorithm
(available as arXiv preprint) | 2022-04-19 | Paper |
| Reversify any sequential algorithm | 2022-04-19 | Paper |
Logical foundations: personal perspective
Bulletin of the European Association for Theoretical Computer Science EATCS | 2022-04-19 | Paper |
Common denominator for value and expectation no-go theorems: extended abstract
(available as arXiv preprint) | 2021-12-17 | Paper |
| Common denominator for value and expectation no-go theorems: extended abstract | 2021-12-17 | Paper |
| Simple circuit simulations of classical and quantum Turing machines | 2021-11-21 | Paper |
Means-fit effectivity
(available as arXiv preprint) | 2021-08-30 | Paper |
| Means-fit effectivity | 2021-08-30 | Paper |
Quantum circuits with classical channels and the principle of deferred measurements
(available as arXiv preprint) | 2021-07-17 | Paper |
Witness algebra and anyon braiding
Mathematical Structures in Computer Science | 2020-12-08 | Paper |
| Negative probabilities | 2020-11-24 | Paper |
Negative probabilities: What they are and what they are for
(available as arXiv preprint) | 2020-09-22 | Paper |
On quantum computation, anyons, and categories
Outstanding Contributions to Logic | 2020-08-06 | Paper |
Braided distributivity
Theoretical Computer Science | 2020-01-22 | Paper |
| scientific article; zbMATH DE number 7150615 (Why is no real title available?) | 2020-01-13 | Paper |
Unconstrained Church-Turing thesis cannot possibly be true
(available as arXiv preprint) | 2020-01-13 | Paper |
| Unconstrained Church-Turing thesis cannot possibly be true | 2020-01-13 | Paper |
Circuit pedantry
(available as arXiv preprint) | 2020-01-13 | Paper |
| Circuit pedantry | 2020-01-13 | Paper |
Negative probabilities. II. What they are and what they are for
(available as arXiv preprint) | 2019-12-09 | Paper |
| Negative probabilities. II. What they are and what they are for | 2019-12-09 | Paper |
Negative probability
(available as arXiv preprint) | 2019-07-03 | Paper |
| Negative probability | 2019-07-03 | Paper |
Fundamentals of p-values: Introduction
(available as arXiv preprint) | 2019-07-03 | Paper |
| Fundamentals of p-values: Introduction | 2019-07-03 | Paper |
The 1966 International Congress of Mathematicians: A micro-memoir
(available as arXiv preprint) | 2019-07-03 | Paper |
| The 1966 International Congress of Mathematicians: A micro-memoir | 2019-07-03 | Paper |
| On the rectilinear Steiner problem | 2019-07-03 | Paper |
scientific article; zbMATH DE number 7075944 (Why is no real title available?)
(available as arXiv preprint) | 2019-07-03 | Paper |
| scientific article; zbMATH DE number 7075944 (Why is no real title available?) | 2019-07-03 | Paper |
Tailoring recursion for complexity
Automata, Languages and Programming | 2019-04-29 | Paper |
Monadic simultaneous rigid E-unification and related problems
Automata, Languages and Programming | 2018-07-04 | Paper |
Semantics-to-Syntax Analyses of Algorithms
Turing’s Revolution | 2018-04-18 | Paper |
Ordinary interactive small-step algorithms. I
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Ordinary interactive small-step algorithms, II
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Ordinary interactive small-step algorithms, III
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Program termination and well partial orderings
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Abstract state machines capture parallel algorithms: correction and extension
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Abstract state machines capture parallel algorithms
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Inadequacy of computable loop invariants
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Past present
International Journal of Foundations of Computer Science | 2016-06-23 | Paper |
A variation on the zero-one law
Information Processing Letters | 2016-06-09 | Paper |
Basic primal infon logic
Journal of Logic and Computation | 2016-04-28 | Paper |
Optimal ancilla-free Pauli+V circuits for axial rotations
Journal of Mathematical Physics | 2016-01-12 | Paper |
Logic of infons, the propositional case
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Persistent queries in the behavioral theory of algorithms
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Ancilla-approximable quantum state transformations
Journal of Mathematical Physics | 2015-05-15 | Paper |
Zero-one laws: thesauri and parametric conditions
Proof, Computation and Agency | 2015-04-17 | Paper |
Primal infon logic with conjunctions as sets
Advanced Information Systems Engineering | 2014-09-15 | Paper |
Propositional primal logic with disjunction
Journal Of Logic And Computation | 2014-04-01 | Paper |
Abstract Hilbertian deductive systems, infon logic, and Datalog
Information and Computation | 2014-01-16 | Paper |
Interactive Algorithms 2005 with Added Appendix
Interactive Computation | 2013-06-18 | Paper |
Transitive primal infon logic
The Review of Symbolic Logic | 2013-06-18 | Paper |
| Impugning randomness, convincingly | 2013-01-28 | Paper |
| Hilbertian deductive systems, infon logic, and Datalog | 2013-01-28 | Paper |
Impugning randomness, convincingly
Studia Logica | 2012-10-01 | Paper |
Foundational analyses of computation
Lecture Notes in Computer Science | 2012-08-14 | Paper |
From primal infon logic with individual variables to Datalog
Correct Reasoning | 2012-07-23 | Paper |
What is an algorithm?
SOFSEM 2012: Theory and Practice of Computer Science | 2012-06-15 | Paper |
| scientific article; zbMATH DE number 5823846 (Why is no real title available?) | 2010-12-08 | Paper |
Exact exploration and hanging algorithms
Computer Science Logic | 2010-09-03 | Paper |
Content-dependent chunking for differential compression, the local maximum approach
Journal of Computer and System Sciences | 2010-05-25 | Paper |
A geometric zero-one law
Journal of Symbolic Logic | 2009-09-29 | Paper |
| scientific article; zbMATH DE number 5606348 (Why is no real title available?) | 2009-09-22 | Paper |
| Zero-one laws: thesauri and parametric conditions. | 2009-09-19 | Paper |
| scientific article; zbMATH DE number 5605119 (Why is no real title available?) | 2009-09-19 | Paper |
| scientific article; zbMATH DE number 5605141 (Why is no real title available?) | 2009-09-19 | Paper |
| scientific article; zbMATH DE number 5604063 (Why is no real title available?) | 2009-09-15 | Paper |
| scientific article; zbMATH DE number 5604097 (Why is no real title available?) | 2009-09-15 | Paper |
| scientific article; zbMATH DE number 5604128 (Why is no real title available?) | 2009-09-15 | Paper |
Database query processing using finite cursor machines
Theory of Computing Systems | 2009-08-06 | Paper |
When are Two Algorithms the Same?
The Bulletin of Symbolic Logic | 2009-06-17 | Paper |
Foundations of Information and Knowledge Systems
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Abstract State Machines 2004. Advances in Theory and Practice
Lecture Notes in Computer Science | 2009-04-30 | Paper |
Abstract State Machines 2004. Advances in Theory and Practice
Lecture Notes in Computer Science | 2009-04-30 | Paper |
A Natural Axiomatization of Computability and Proof of Church's Thesis
The Bulletin of Symbolic Logic | 2009-03-25 | Paper |
One Useful Logic That Defines Its Own Truth
Lecture Notes in Computer Science | 2009-02-03 | Paper |
Proving Church’s Thesis
Computer Science – Theory and Applications | 2008-06-03 | Paper |
Membership Problem for the Modular Group
SIAM Journal on Computing | 2008-04-22 | Paper |
Interactive Small-Step Algorithms I: Axiomatization
Logical Methods in Computer Science | 2008-04-01 | Paper |
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
Logical Methods in Computer Science | 2008-04-01 | Paper |
Why Sets?
Pillars of Computer Science | 2008-03-25 | Paper |
Can abstract state machines be useful in language theory?
Theoretical Computer Science | 2007-05-11 | Paper |
Play to Test
Formal Approaches to Software Testing | 2007-05-02 | Paper |
Mathematical Foundations of Computer Science 2005
Lecture Notes in Computer Science | 2006-10-20 | Paper |
| scientific article; zbMATH DE number 5064388 (Why is no real title available?) | 2006-10-16 | Paper |
