| Publication | Date of Publication | Type |
|---|
| Logical models of mathematical texts: the case of conventions for division by zero. | 2025-01-13 | Paper |
| Which arithmetical data types admit fracterm flattening? | 2024-08-15 | Paper |
| Symmetric transrationals: the data type and the algorithmic degree of its equational theory | 2023-07-26 | Paper |
| Eager Equality for Rational Number Arithmetic | 2023-07-18 | Paper |
| Partial arithmetical data types of rational numbers and their equational specification | 2022-08-26 | Paper |
| Theory of computation over stream algebras, and its applications | 2022-08-18 | Paper |
| A model of systems with modes and mode transitions | 2022-05-25 | Paper |
| The wheel of rational numbers as an abstract data type | 2021-10-27 | Paper |
| An algebraic theory for data linkage | 2020-06-08 | Paper |
| A Hierarchy for $$ BPP //\log \!\star $$ B P P / / log ⋆ Based on Counting Calls to an Oracle | 2018-10-04 | Paper |
| Generalizing Computability Theory to Abstract Algebras | 2018-04-18 | Paper |
| Computations with oracles that measure vanishing quantities | 2017-11-22 | Paper |
| Examples of semicomputable sets of real and complex numbers | 2017-11-17 | Paper |
| Abstract versus concrete computation on metric partial algebras | 2017-07-12 | Paper |
| Abstract computability and algebraic specification | 2017-06-13 | 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 |
| Computability of Operators on Continuous and Discrete Time Streams | 2014-06-19 | Paper |
| Oracles that measure thresholds: the Turing machine and the broken balance | 2014-04-01 | Paper |
| On the Power of Threshold Measurements as Oracles | 2013-06-28 | Paper |
| Stability for Effective Algebras | 2013-05-03 | Paper |
| The impact of models of a physical oracle on computational power | 2012-10-23 | Paper |
| Continuity of operators on continuous and discrete time streams | 2011-07-07 | Paper |
| Stability of representations of effective partial algebras | 2011-05-06 | 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 |
| Computational complexity with experiments as oracles. II. Upper bounds | 2010-05-19 | Paper |
| Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms | 2009-11-13 | Paper |
| Computations via Newtonian and relativistic kinematic systems | 2009-11-13 | Paper |
| Division safe calculation in totalised fields | 2009-05-08 | Paper |
| Meadows and the equational specification of division | 2009-03-25 | Paper |
| Computational complexity with experiments as oracles | 2009-01-23 | Paper |
| Skew Meadows | 2009-01-07 | Paper |
| The rational numbers as an abstract data type | 2008-12-21 | Paper |
| Oracles and Advice as Measurements | 2008-12-02 | Paper |
| Programming Experimental Procedures for Newtonian Kinematic Machines | 2008-06-19 | Paper |
| On the Complexity of Measurement in Classical Physics | 2008-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5384974 | 2008-04-29 | Paper |
| Fields, Meadows and Abstract Data Types | 2008-03-25 | Paper |
| Experimental computation of real numbers by Newtonian machines | 2008-02-08 | Paper |
| Elementary Algebraic Specifications of the Rational Complex Numbers | 2007-09-07 | Paper |
| Computability of analog networks | 2007-03-12 | Paper |
| Can Newtonian systems, bounded in space, time, mass and energy compute all functions? | 2007-03-12 | Paper |
| Embedding infinitely parallel computation in Newtonian kinematics | 2006-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5477367 | 2006-07-03 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| CONSTRUCTIVE VOLUME GEOMETRY APPLIED TO VISUALIZATION OF CARDIAC ANATOMY AND ELECTROPHYSIOLOGY | 2005-03-08 | Paper |
| Computable total functions on metric algebras, universal algebraic specifications and dynamical systems | 2005-02-22 | Paper |
| Computable and Continuous Partial Homomorphisms on Metric Partial Algebras | 2005-02-09 | Paper |
| The algebraic structure of interfaces | 2004-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793033 | 2003-02-18 | Paper |
| Hierarchical reconstructions of cardiac tissue | 2002-08-18 | Paper |
| Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. | 2002-07-31 | Paper |
| Coupled map lattices as computational systems | 2001-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934287 | 2000-09-20 | Paper |
| Concrete models of computation for topological algebras | 1999-06-21 | Paper |
| Computation by `While' programs on topological partial algebras | 1999-06-21 | Paper |
| Reconstructing the heart | 1999-03-04 | Paper |
| Equational specifications, complete term rewriting systems, and computable and semicomputable algebras | 1998-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373490 | 1998-01-21 | Paper |
| AN ALGORITHMIC MODEL OF THE MAMMALIAN HEART: PROPAGATION, VULNERABILITY, RE-ENTRY AND FIBRILLATION | 1997-12-08 | Paper |
| Algebraic models of microprocessors architecture and organisation | 1996-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4842541 | 1995-08-14 | Paper |
| Coupling CMLs and the synchronization of a multilayer neural computing system | 1995-06-30 | Paper |
| The data type variety of stack algebras | 1995-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3138835 | 1993-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4039815 | 1993-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038725 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028148 | 1993-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4016523 | 1993-01-16 | Paper |
| PROJECTIONS OF SEMICOMPUTABLE RELATIONS ON ABSTRACT DATA TYPES | 1992-09-27 | Paper |
| Deterministic and nondeterministic computation, and horn programs, on abstract data types | 1992-08-13 | Paper |
| Algebraic and fixed point equations over inverse limits of algebras | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4205083 | 1989-01-01 | Paper |
| The concurrent assignment representation of synchronous systems | 1989-01-01 | Paper |
| Complete local rings as domains | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3823121 | 1988-01-01 | Paper |
| Algebraic specifications of computable and semicomputable data types | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4723293 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3702500 | 1985-01-01 | Paper |
| Top-down design and the algebra of communicating processes | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3330491 | 1984-01-01 | Paper |
| Hoare's logic for programming languages with two data types | 1984-01-01 | Paper |
| The axiomatic semantics of programs based on Hoare's logic | 1984-01-01 | Paper |
| Hoare's logic and Peano's arithmetic | 1983-01-01 | Paper |
| Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems | 1983-01-01 | Paper |
| Expressiveness and the completeness of Hoare's logic | 1982-01-01 | Paper |
| Floyd's principle, correctness theories and program equivalence | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4741695 | 1982-01-01 | Paper |
| Two theorems about the completeness of Hoare's logic | 1982-01-01 | Paper |
| Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs | 1982-01-01 | Paper |
| The completeness of the algebraic specification methods for computable data types | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912001 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3904041 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3904042 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3917477 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3878741 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893286 | 1980-01-01 | Paper |
| Finite alogorithmic procedures and inductive definability. | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912570 | 1980-01-01 | Paper |
| Finite alogorithmic procedures and computation theories. | 1980-01-01 | Paper |
| Computability and the algebra of fields: Some affine constructions | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3896478 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3050415 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3878740 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3883473 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3868737 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3854600 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3854601 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3860822 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893287 | 1980-01-01 | Paper |
| Computing Roots of Unity in Fields | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3851588 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3208066 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3853107 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3851592 | 1979-01-01 | Paper |
