IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A graph-oriented object database model
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Foundation of a computable solid modeling
Proceedings of the fifth ACM symposium on Solid modeling and applications
Control structures in hypothesis spaces: the influence on learning
Theoretical Computer Science
Theoretical Computer Science
Topological properties of real number representations
Theoretical Computer Science
Effectively closed sets and graphs of computable real functions
Theoretical Computer Science
Foundation of a computable solid modelling
Theoretical Computer Science
Effective metric spaces and representations of the reals
Theoretical Computer Science
The closure properties on real numbers under limits and computable operators
Theoretical Computer Science
Theoretical Computer Science
Presentations of computably enumerable reals
Theoretical Computer Science
Using PVS to validate the algorithms of an exact arithmetic
Theoretical Computer Science - Real numbers and computers
Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Streams, Stream Transformers and Domain Representations
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
The Arithmetical Hierarchy of Real Numbers
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Computable Versions of Baire's Category Theorem
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
The Wave Propagator Is Turing Computable
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Approaches to Effective Semi-continuity of Real Functions
COCOON '98 Proceedings of the 4th Annual International Conference on Computing and Combinatorics
Closure Properties of Real Number Classes under Limits and Computable Operators
COCOON '00 Proceedings of the 6th Annual International Conference on Computing and Combinatorics
Weakly Computable Real Numbers and Total Computable Real Functions
COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics
COCOON '02 Proceedings of the 8th Annual International Conference on Computing and Combinatorics
Computational Completeness of Programming Languages Based on Graph Transformation
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Effective Contraction Theorem and Its Application
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
A Survey of Exact Arithmetic Implementations
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Admissible Representations of Limit Spaces
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Standard Representations of Effective Metric Spaces
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
The iRRAM: Exact Arithmetic in C++
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Semantic Characterisations of Second-Order Computability over the Real Numbers
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Constructive Notes on Uniform and Locally Convex Spaces
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Random elements in effective topological spaces with measure
Information and Computation
Real PCF extended with integration
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Computability theory of generalized functions
Journal of the ACM (JACM)
Theoretical Computer Science - Topology in computer science
Theoretical Computer Science
Case study on algebraic software methodologies for scientific computing
Scientific Programming
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
Reducibility of domain representations and cantor–weihrauch domain representations
Mathematical Structures in Computer Science
Orbit Complexity and Entropy for Group Endomorphisms
Electronic Notes in Theoretical Computer Science (ENTCS)
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
On the monotonic computability of semi-computable real numbers
DMTCS'03 Proceedings of the 4th international conference on Discrete mathematics and theoretical computer science
The church-turing thesis over arbitrary domains
Pillars of computer science
Computational complexity of the quantum separability problem
Quantum Information & Computation
Multi-resolution cellular automata for real computation
CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
Admissible representations in computable analysis
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Original article: Computational complexity of iterated maps on the interval
Mathematics and Computers in Simulation
Computable Approximations of Reals: An Information-Theoretic Analysis
Fundamenta Informaticae
Hi-index | 0.01 |