Lazy computation with exact real numbers
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Foundation of a computable solid modelling
Theoretical Computer Science
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
A Logic for Probabilities in Semantics
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Real PCF extended with integration
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
The Scott Topology Induces the Weak Topology
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Approximating Labeled Markov Processes
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Approximating labelled Markov processes
Information and Computation
Riemann and Edalat integration on domains
Theoretical Computer Science - Topology in computer science
Theoretical Computer Science - Topology in computer science
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Abstract versus concrete computation on metric partial algebras
ACM Transactions on Computational Logic (TOCL)
A geometric interpretation of LD-resolution
Theoretical Computer Science - Logic, semantics and theory of programming
Domain theory and differential calculus (functions of one variable)
Mathematical Structures in Computer Science
Domains, integration and ‘positive analysis’
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
A computable version of the Daniell-Stone theorem on integration and linear functionals
Theoretical Computer Science
Computability and the morphological complexity of some dynamics on continuous domains
Theoretical Computer Science
On computational environments of topological spaces
Theoretical Computer Science
A Continuous Derivative for Real-Valued Functions
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Semantic Domains for Combining Probability and Non-Determinism
Electronic Notes in Theoretical Computer Science (ENTCS)
Reducibility of domain representations and cantor–weihrauch domain representations
Mathematical Structures in Computer Science
A computable approach to measure and integration theory
Information and Computation
The space of formal balls and models of quasi-metric spaces
Mathematical Structures in Computer Science
A quantitative computational model for complete partial metric spaces via formal balls†
Mathematical Structures in Computer Science
RETRACTED: Semantic Domains for Combining Probability and Non-Determinism
Electronic Notes in Theoretical Computer Science (ENTCS)
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Domain theoretic characterisations of quasi-metric completeness in terms of formal balls†
Mathematical Structures in Computer Science
Coalgebraic Representation Theory of Fractals
Electronic Notes in Theoretical Computer Science (ENTCS)
The formal ball model for -categories
Mathematical Structures in Computer Science
Denotational semantics of hybrid automata
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Strictly level-decreasing logic programs
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Hi-index | 0.00 |