| Publication | Date of Publication | Type |
|---|
| Theory of computation over stream algebras, and its applications | 2022-08-18 | Paper |
| Tracking computability of GPAC-generable functions | 2022-02-08 | Paper |
| Tracking computability of GPAC-generable functions | 2020-05-06 | Paper |
| Feferman on Computability | 2020-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5232906 | 2019-09-13 | Paper |
| Analog networks on function data streams | 2019-03-20 | Paper |
| Generalizing Computability Theory to Abstract Algebras | 2018-04-18 | 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 |
| Fixed Point Techniques in Analog Systems | 2017-02-03 | Paper |
| Assignment Calculus: A Pure Imperative Language | 2015-12-11 | Paper |
| Models of computation for partial functions on the reals | 2015-02-27 | Paper |
| Characterizations of semicomputable sets of real numbers | 2014-12-03 | Paper |
| Computability of Operators on Continuous and Discrete Time Streams | 2014-06-19 | Paper |
| Continuity of operators on continuous and discrete time streams | 2011-07-07 | Paper |
| Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms | 2009-11-13 | Paper |
| Primitive recursive selection functions for existential assertions over abstract algebras | 2008-09-01 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| Computability of analog networks | 2007-03-12 | Paper |
| Universality and semicomputability for nondeterministic programming languages over abstract algebras | 2007-02-09 | Paper |
| Abstract versus concrete computability: the case of countable algebras | 2006-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5475458 | 2006-06-19 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| Computable total functions on metric algebras, universal algebraic specifications and dynamical systems | 2005-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793033 | 2003-02-18 | Paper |
| Computation by `While' programs on topological partial algebras | 1999-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362887 | 1998-04-03 | Paper |
| Transformations of normal and inverted function tables | 1997-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4842541 | 1995-08-14 | 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/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 |
| https://portal.mardi4nfdi.de/entity/Q3993676 | 1992-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4205083 | 1989-01-01 | Paper |
| Transition systems, metric spaces and ready sets in the semantics of uniform concurrency | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3745260 | 1986-01-01 | Paper |
| Corrigendum: On infinite computations in denotational semantics | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3347277 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4746776 | 1983-01-01 | Paper |
| On infinite computations in denotational semantics | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3664418 | 1983-01-01 | Paper |
| Processes and the denotational semantics of concurrency | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3935454 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939204 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3853102 | 1979-01-01 | Paper |
| The adequacy problem for inferential logic | 1978-01-01 | Paper |
| The adequacy problem for classical logic | 1978-01-01 | Paper |
