| Publication | Date of Publication | Type |
|---|
Intersection points of planar curves can be computed
Computability | 2022-05-16 | Paper |
Computable planar curves intersect in a computable point
Computability | 2020-01-17 | Paper |
scientific article; zbMATH DE number 7059097 (Why is no real title available?)
| 2019-05-27 | Paper |
Computability on the probability measures on the Borel sets of the unit interval
Automata, Languages and Programming | 2018-07-04 | Paper |
A simple and powerful approach for studying constructivity, computability, and complexity
Lecture Notes in Computer Science | 2017-11-17 | Paper |
Computability on measurable functions
Computability | 2017-02-23 | Paper |
Computability theory of generalized functions
Journal of the ACM | 2015-11-12 | Paper |
Representations of measurable sets in computable measure theory
Logical Methods in Computer Science | 2014-09-05 | Paper |
Computable Jordan decomposition of linear continuous functionals on \(C[0;1\)]
Logical Methods in Computer Science | 2014-09-05 | Paper |
Products of effective topological spaces and a uniformly computable Tychonoff theorem
Logical Methods in Computer Science | 2013-11-28 | Paper |
Computably regular topological spaces
Logical Methods in Computer Science | 2013-09-06 | Paper |
On computable metrization
Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
Computable analysis of the abstract Cauchy problem in a Banach space and its applications. I
Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
Computable Riesz representation for the dual of \(C[0;1\)]
Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
Complexity of blowup problems (extended abstract)
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
Connectivity properties of dimension level sets
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
Effectivity on continuous functions in topological spaces
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
Computable Riesz representation for locally compact Hausdorff spaces
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
The computational complexity of some Julia sets
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
The solution operator of the Korteweg-de Vries equation is computable
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
Computability of the Radon-Nikodym derivative
Computability | 2013-01-30 | Paper |
Computable separation in topology, from \(T_0\) to \(T_3\)
| 2012-09-28 | Paper |
Computability of the Radon-Nikodym derivative
Lecture Notes in Computer Science | 2011-09-09 | Paper |
Turing machines on represented sets, a model of computation for Analysis
| 2011-05-17 | Paper |
Computable separation in topology, from \(T_{0}\) to \(T_{2}\)
| 2011-02-10 | Paper |
The computational complexity of some Julia sets
Proceedings of the thirty-fifth annual ACM symposium on Theory of computing | 2010-08-16 | Paper |
Elementary computable topology
| 2009-10-28 | Paper |
Topological complexity of blowup problems
| 2009-10-28 | Paper |
Absolutely non-computable predicates and functions in analysis
Mathematical Structures in Computer Science | 2009-03-24 | Paper |
Connectivity properties of dimension level sets
Mathematical Logic Quarterly | 2008-10-08 | Paper |
The computable multi-functions on multi-represented sets are closed under programming
| 2008-08-08 | Paper |
Computable Riesz representation for locally compact Hausdorff spaces
| 2008-08-08 | Paper |
A tutorial on computable analysis
| 2008-04-29 | Paper |
Absolutely Non-effective Predicates and Functions in Computable Analysis
Lecture Notes in Computer Science | 2007-11-13 | Paper |
Computable metrization
Mathematical Logic Quarterly | 2007-09-17 | Paper |
Computable analysis of the abstract Cauchy problem in a Banach space and its applications I
Mathematical Logic Quarterly | 2007-09-17 | Paper |
Computable Riesz representation for the dual of C [0; 1]
Mathematical Logic Quarterly | 2007-09-17 | Paper |
Theory and Applications of Models of Computation
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Computing Schrödinger propagators on type-2 Turing machines
Journal of Complexity | 2007-02-08 | Paper |
A computable version of the Daniell-Stone theorem on integration and linear functionals
Theoretical Computer Science | 2006-09-14 | Paper |
An Algorithm for Computing Fundamental Solutions
SIAM Journal on Computing | 2006-06-01 | Paper |
New Computational Paradigms
Lecture Notes in Computer Science | 2006-01-11 | Paper |
Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing machines
Theoretical Computer Science | 2005-04-06 | Paper |
scientific article; zbMATH DE number 2013199 (Why is no real title available?)
| 2003-12-04 | Paper |
Random elements in effective topological spaces with measure.
Information and Computation | 2003-08-19 | Paper |
Randomness on full shift spaces
Chaos, Solitons and Fractals | 2003-04-28 | Paper |
Computational complexity on computable metric spaces
Mathematical Logic Quarterly | 2003-03-19 | Paper |
IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
Proceedings of the London Mathematical Society | 2002-10-22 | Paper |
scientific article; zbMATH DE number 1797000 (Why is no real title available?)
| 2002-09-05 | Paper |
scientific article; zbMATH DE number 1746050 (Why is no real title available?)
| 2002-05-27 | Paper |
scientific article; zbMATH DE number 1746049 (Why is no real title available?)
| 2002-05-27 | Paper |
Weakly computable real numbers
Journal of Complexity | 2001-05-29 | Paper |
The Arithmetical Hierarchy of Real Numbers
| 2001-05-20 | Paper |
scientific article; zbMATH DE number 1418324 (Why is no real title available?)
| 2001-02-22 | Paper |
Approaches to Effective Semi‐Continuity of Real Functions
Mathematical Logic Quarterly | 2000-08-23 | Paper |
Computability on continuous, lower semi-continuous and upper semi-continuous real functions
Theoretical Computer Science | 2000-08-21 | Paper |
scientific article; zbMATH DE number 1460545 (Why is no real title available?)
| 2000-06-18 | Paper |
scientific article; zbMATH DE number 1405673 (Why is no real title available?)
| 2000-05-02 | Paper |
scientific article; zbMATH DE number 1222611 (Why is no real title available?)
| 1999-09-09 | Paper |
A refined model of computation for continuous problems
Journal of Complexity | 1999-08-23 | Paper |
Computability on subsets of Euclidean space. I: Closed and compact subsets
Theoretical Computer Science | 1999-06-21 | Paper |
Computability on the probability measures on the Borel sets of the unit interval
Theoretical Computer Science | 1999-06-21 | Paper |
Effectiveness of the global modulus of continuity on metric spaces
Theoretical Computer Science | 1999-06-21 | Paper |
scientific article; zbMATH DE number 1222832 (Why is no real title available?)
| 1999-03-30 | Paper |
scientific article; zbMATH DE number 1223737 (Why is no real title available?)
| 1999-02-14 | Paper |
scientific article; zbMATH DE number 1086720 (Why is no real title available?)
| 1998-11-26 | Paper |
scientific article; zbMATH DE number 1222088 (Why is no real title available?)
| 1998-11-11 | Paper |
scientific article; zbMATH DE number 1088270 (Why is no real title available?)
| 1998-03-23 | Paper |
scientific article; zbMATH DE number 1107625 (Why is no real title available?)
| 1998-01-21 | Paper |
scientific article; zbMATH DE number 1101599 (Why is no real title available?)
| 1998-01-07 | Paper |
scientific article; zbMATH DE number 777408 (Why is no real title available?)
| 1995-07-23 | Paper |
Computability on computable metric spaces
Theoretical Computer Science | 1994-03-20 | Paper |
scientific article; zbMATH DE number 49445 (Why is no real title available?)
| 1993-01-23 | Paper |
On the complexity of online computations of real functions
Journal of Complexity | 1992-06-28 | Paper |
scientific article; zbMATH DE number 17564 (Why is no real title available?)
| 1992-06-26 | Paper |
Type 2 computational complexity of functions on Cantor's space
Theoretical Computer Science | 1991-01-01 | Paper |
Compactness in constructive analysis revisited
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3987247 (Why is no real title available?)
| 1987-01-01 | Paper |
Representations of the real numbers and of the open subsets of the set of real numbers
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
Theory of representations
Theoretical Computer Science | 1985-01-01 | Paper |
Type 2 recursion theory
Theoretical Computer Science | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3952751 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3887669 (Why is no real title available?)
| 1984-01-01 | Paper |
Admissible representations of effective cpo's
Theoretical Computer Science | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3788601 (Why is no real title available?)
| 1982-01-01 | Paper |
Embedding metric spaces into CPO's
Theoretical Computer Science | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3726330 (Why is no real title available?)
| 1981-01-01 | Paper |
Is Binary Notation Optimal?
The American Mathematical Monthly | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3763292 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3745146 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3697101 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3689383 (Why is no real title available?)
| 1979-01-01 | Paper |
Data representation and computational complexity
Theoretical Computer Science | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3573847 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3663108 (Why is no real title available?)
| 1977-01-01 | Paper |
The computational complexity of program schemata
Journal of Computer and System Sciences | 1976-01-01 | Paper |
scientific article; zbMATH DE number 3529419 (Why is no real title available?)
| 1976-01-01 | Paper |
On primitive recursive wordfunctions
Computing | 1975-01-01 | Paper |
Program schemata with polynomial bounded counters
Information Processing Letters | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3458598 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3453105 (Why is no real title available?)
| 1974-01-01 | Paper |
Klassifizierung von Primitiv-rekursiven Transformationen und Automatentransduktionen
Lecture Notes in Economics and Mathematical Systems | 1973-01-01 | Paper |
scientific article; zbMATH DE number 3556037 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3440293 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3444795 (Why is no real title available?)
| 1973-01-01 | Paper |
