A Renee Equation for Algorithmic Complexity
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
The Measurement Process in Domain Theory
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
The Informatic Derivative at a Compact Element
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Theoretical Computer Science - Topology in computer science
The regular spaces with countably based models
Theoretical Computer Science - Topology in computer science
Measuring the probabilistic powerdomain
Theoretical Computer Science - Special issue on automata, languages and programming
Domain theory and differential calculus (functions of one variable)
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Partial metrisability of continuous posets
Mathematical Structures in Computer Science
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
On computational environments of topological spaces
Theoretical Computer Science
A Domain Theoretic Model of Qubit Channels
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
A Technique for Verifying Measurements
Electronic Notes in Theoretical Computer Science (ENTCS)
A Monotonicity Principle for Information Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
Presenting Dcpos and Dcpo Algebras
Electronic Notes in Theoretical Computer Science (ENTCS)
Meet continuity properties of posets
Theoretical Computer Science
Consistent Partial Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Informatic vs. Classical Differentiation on the Real Line
Electronic Notes in Theoretical Computer Science (ENTCS)
Algebraic information theory for binary channels
Theoretical Computer Science
A hybrid denotational semantics for hybrid systems
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Completeness and compactness of quantitative domains
FCT'05 Proceedings of the 15th international conference on Fundamentals of Computation Theory
Hi-index | 0.00 |