| Publication | Date of Publication | Type |
|---|
Labyrinth: From Literature to Algorithms
WSPC Book Series in Unconventional Computing | 2023-09-01 | Paper |
The Power of Machines That Control Experiments
International Journal of Foundations of Computer Science | 2023-08-15 | Paper |
Object interaction
Mathematical Foundations of Computer Science 1992 | 2022-08-18 | Paper |
Machines that perform measurements
Theoretical Computer Science | 2022-06-13 | Paper |
A hierarchy for BPP//log\(\star\) based on counting calls to an oracle
Emergent Computation | 2018-10-04 | Paper |
Turing machines as clocks, rulers and randomizers
| 2018-01-09 | Paper |
Uncertainty in time
Parallel Processing Letters | 2017-12-15 | Paper |
Computations with oracles that measure vanishing quantities
Mathematical Structures in Computer Science | 2017-11-22 | Paper |
The power of analogue-digital machines (extended abstract)
| 2017-08-31 | Paper |
Axiomatizing physical experiments as oracles to algorithms
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2015-08-21 | Paper |
Three forms of physical measurement and their computability
The Review of Symbolic Logic | 2015-03-02 | Paper |
An analogue-digital Church-Turing thesis
International Journal of Foundations of Computer Science | 2014-11-14 | Paper |
Incomputability at the foundations of physics (a study in the philosophy of science)
Journal Of Logic And Computation | 2014-04-01 | Paper |
Oracles that measure thresholds: the Turing machine and the broken balance
Journal Of Logic And Computation | 2014-04-01 | Paper |
The ARNN model relativises \(\mathrm{P}=\mathrm{NP}\) and \(\mathrm{P}\neq \mathrm{NP}\)
Theoretical Computer Science | 2014-01-10 | Paper |
Processes with infinite liveness requirements
The Journal of Logic and Algebraic Programming | 2013-12-06 | Paper |
On the Power of Threshold Measurements as Oracles
Unconventional Computation and Natural Computation | 2013-06-28 | Paper |
The impact of models of a physical oracle on computational power
MSCS. Mathematical Structures in Computer Science | 2012-10-23 | Paper |
Limits to measurement in experiments governed by algorithms
Mathematical Structures in Computer Science | 2010-12-14 | Paper |
Physical oracles: the Turing machine and the Wheatstone bridge
Studia Logica | 2010-12-01 | Paper |
Computability on reals, infinite limits and differential equations
Applied Mathematics and Computation | 2010-09-01 | Paper |
Computational complexity with experiments as oracles. II. Upper bounds
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2010-05-19 | Paper |
A foundation for real recursive function theory
Annals of Pure and Applied Logic | 2009-10-26 | Paper |
A new conceptual framework for analog computation
Theoretical Computer Science | 2009-06-22 | Paper |
Processes with local and global liveness requirements
The Journal of Logic and Algebraic Programming | 2009-03-20 | Paper |
The Abstract Immune System Algorithm
Lecture Notes in Computer Science | 2009-02-17 | Paper |
Computational complexity with experiments as oracles
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2009-01-23 | Paper |
Oracles and Advice as Measurements
Unconventional Computing | 2008-12-02 | Paper |
On the Complexity of Measurement in Classical Physics
Lecture Notes in Computer Science | 2008-05-27 | Paper |
The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem
Lecture Notes in Computer Science | 2007-11-29 | Paper |
The New Promise of Analog Computation
Lecture Notes in Computer Science | 2007-11-13 | Paper |
Undecidability over Continuous Time
Logic Journal of the IGPL | 2007-02-15 | Paper |
The P\(\neq\) NP conjecture in the context of real and complex analysis
Journal of Complexity | 2006-05-16 | Paper |
Machines, Computations, and Universality
Lecture Notes in Computer Science | 2005-12-08 | Paper |
Real recursive functions and their hierarchy
Journal of Complexity | 2005-02-09 | Paper |
Analog computers and recursive functions over the reals.
Journal of Complexity | 2004-03-14 | Paper |
An analog characterization of the Grzegorczyk hierarchy
Journal of Complexity | 2003-05-14 | Paper |
scientific article; zbMATH DE number 1728659 (Why is no real title available?)
| 2002-04-15 | Paper |
Iteration, inequalities, and differentiability in analog computers
Journal of Complexity | 2001-03-12 | Paper |
scientific article; zbMATH DE number 1418816 (Why is no real title available?)
| 2000-03-30 | Paper |
Mirror, mirror in my hand: a duality between specifications and models of process behaviour
Mathematical Structures in Computer Science | 1996-11-18 | Paper |
scientific article; zbMATH DE number 871231 (Why is no real title available?)
| 1996-04-28 | Paper |
Object Specification Logic
Journal Of Logic And Computation | 1995-10-04 | Paper |
Progress assumption in concurrent systems
Formal Aspects of Computing | 1995-07-23 | Paper |
scientific article; zbMATH DE number 691422 (Why is no real title available?)
| 1994-11-21 | Paper |
Object inheritance beyond subtyping
Acta Informatica | 1994-07-04 | Paper |
