Foundation of a computable solid modeling
Proceedings of the fifth ACM symposium on Solid modeling and applications
Theoretical Computer Science
Effectively closed sets and graphs of computable real functions
Theoretical Computer Science
Foundation of a computable solid modelling
Theoretical Computer Science
Computable Versions of Baire's Category Theorem
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Random Numbers and an Incomplete Immune Recursive Set
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
The Inversion Problem for Computable Linear Operators
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Computing the Dimension of Linear Subspaces
SOFSEM '00 Proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
On Computable Metric Spaces Tietze-Urysohn Extension Is Computable
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Invited Paper: Computable Partial Solids and Voxels Sets
DCGI '99 Proceedings of the 8th International Conference on Discrete Geometry for Computer Imagery
Theoretical Computer Science - Topology in computer science
Computability on subsets of metric spaces
Theoretical Computer Science - Topology in computer science
Computability in linear algebra
Theoretical Computer Science
The computational complexity of distance functions of two-dimensional domains
Theoretical Computer Science
On the Complexity of Real Functions
FOCS '05 Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science
Three concepts of decidability for general subsets of uncountable spaces
Theoretical Computer Science - Real numbers and computers
On the computational content of the Lawson topology
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Continuity and computability of reachable sets
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Constructing non-computable Julia sets
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing
Singular Coverings and Non-Uniform Notions of Closed Set Computability
Electronic Notes in Theoretical Computer Science (ENTCS)
Effectivity on Continuous Functions in Topological Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Computability and the morphological complexity of some dynamics on continuous domains
Theoretical Computer Science
Borel Complexity of Topological Operations on Computable Metric Spaces
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
The Uniformity Principle for Σ-Definability with Applications to Computable Analysis
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Dimensions of Points in Self-similar Fractals
COCOON '08 Proceedings of the 14th annual international conference on Computing and Combinatorics
Towards Computability over Effectively Enumerable Topological Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Continuity of Effective Multifunctions
Electronic Notes in Theoretical Computer Science (ENTCS)
The complexity of simulating Brownian Motion
SODA '09 Proceedings of the twentieth Annual ACM-SIAM Symposium on Discrete Algorithms
On computably locally compact hausdorff spaces
Mathematical Structures in Computer Science
Computability of probability measures and Martin-Löf randomness over metric spaces
Information and Computation
Hyperbolic Julia Sets are Poly-Time Computable
Electronic Notes in Theoretical Computer Science (ENTCS)
Effective Dini's Theorem on Effectively Compact Metric Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Computability on subsets of locally compact spaces
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
Multi-resolution cellular automata for real computation
CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
ΣK-constraints for hybrid systems
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Computability in computational geometry
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
A computability challenge: asymptotic bounds for error-correcting codes
WTCS'12 Proceedings of the 2012 international conference on Theoretical Computer Science: computation, physics and beyond
Hi-index | 0.01 |