| Publication | Date of Publication | Type |
|---|
| Labyrinth: From Literature to Algorithms | 2023-09-01 | Paper |
| The Power of Machines That Control Experiments | 2023-08-15 | Paper |
| Object interaction | 2022-08-18 | Paper |
| Machines that perform measurements | 2022-06-13 | Paper |
| A Hierarchy for $$ BPP //\log \!\star $$ B P P / / log ⋆ Based on Counting Calls to an Oracle | 2018-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4600392 | 2018-01-09 | Paper |
| Uncertainty in Time | 2017-12-15 | Paper |
| Computations with oracles that measure vanishing quantities | 2017-11-22 | Paper |
| The power of analogue-digital machines (extended abstract) | 2017-08-31 | Paper |
| Axiomatizing physical experiments as oracles to algorithms | 2015-08-21 | Paper |
| THREE FORMS OF PHYSICAL MEASUREMENT AND THEIR COMPUTABILITY | 2015-03-02 | Paper |
| AN ANALOGUE-DIGITAL CHURCH-TURING THESIS | 2014-11-14 | Paper |
| Oracles that measure thresholds: the Turing machine and the broken balance | 2014-04-01 | Paper |
| Incomputability at the foundations of physics (A study in the philosophy of science) | 2014-04-01 | Paper |
| The ARNN model relativises \(\mathrm{P}=\mathrm{NP}\) and \(\mathrm{P}\neq \mathrm{NP}\) | 2014-01-10 | Paper |
| Processes with infinite liveness requirements | 2013-12-06 | Paper |
| On the Power of Threshold Measurements as Oracles | 2013-06-28 | Paper |
| The impact of models of a physical oracle on computational power | 2012-10-23 | Paper |
| Limits to measurement in experiments governed by algorithms | 2010-12-14 | Paper |
| Physical oracles: the Turing machine and the Wheatstone bridge | 2010-12-01 | Paper |
| Computability on reals, infinite limits and differential equations | 2010-09-01 | Paper |
| Computational complexity with experiments as oracles. II. Upper bounds | 2010-05-19 | Paper |
| A foundation for real recursive function theory | 2009-10-26 | Paper |
| A new conceptual framework for analog computation | 2009-06-22 | Paper |
| Processes with local and global liveness requirements | 2009-03-20 | Paper |
| The Abstract Immune System Algorithm | 2009-02-17 | Paper |
| Computational complexity with experiments as oracles | 2009-01-23 | Paper |
| Oracles and Advice as Measurements | 2008-12-02 | Paper |
| On the Complexity of Measurement in Classical Physics | 2008-05-27 | Paper |
| The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem | 2007-11-29 | Paper |
| The New Promise of Analog Computation | 2007-11-13 | Paper |
| Undecidability over Continuous Time | 2007-02-15 | Paper |
| The P\(\neq\) NP conjecture in the context of real and complex analysis | 2006-05-16 | Paper |
| Machines, Computations, and Universality | 2005-12-08 | Paper |
| Real recursive functions and their hierarchy | 2005-02-09 | Paper |
| Analog computers and recursive functions over the reals. | 2004-03-14 | Paper |
| An analog characterization of the Grzegorczyk hierarchy | 2003-05-14 | Paper |
| Iteration, inequalities, and differentiability in analog computers | 2001-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942098 | 2000-03-30 | Paper |
| Mirror, mirror in my hand: a duality between specifications and models of process behaviour | 1996-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4874646 | 1996-04-28 | Paper |
| Object Specification Logic | 1995-10-04 | Paper |
| Progress assumption in concurrent systems | 1995-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4314310 | 1994-11-21 | Paper |
| Object inheritance beyond subtyping | 1994-07-04 | Paper |
