Measuring the Probabilistic Powerdomain
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
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
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Measuring the probabilistic powerdomain
Theoretical Computer Science - Special issue on automata, languages and programming
Semantic Domains for Combining Probability and Non-Determinism
Electronic Notes in Theoretical Computer Science (ENTCS)
RETRACTED: Semantic Domains for Combining Probability and Non-Determinism
Electronic Notes in Theoretical Computer Science (ENTCS)
Denotational semantics of hybrid automata
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Generalized Iterated Function Systems with Place Dependent Probabilities
Acta Applicandae Mathematicae: an international survey journal on applying mathematics and mathematical applications
Hi-index | 0.00 |