Sotabase

Career

· Research Group Member, University of California, Los Angeles (UCLA) - PolyArch Research Laboratory

Publications (114)

Bisimulation for labelled Markov processes
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science · 1997
353
cited
A Computational Model for Metric Spaces
Theoretical Computer Science · 1998
193
cited
Dynamical Systems, Measures and Fractals via Domain Theory
Information and Computation · 1993
160
cited
Domain theory and integration
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science · 1994
157
cited
Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
Bulletin of Symbolic Logic · 1997
139
cited
A logical characterization of bisimulation for labeled Markov processes
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) · 1998
113
cited
Power Domains and Iterated Function Systems
Information and Computation · 1996
94
cited
A Domain-Theoretic Approach to Computability on the Real Line
Theoretical Computer Science · 1999
80
cited
A new representation for exact real numbers
Mathematical Foundations of Programming Semantics · 1997
80
cited
An Extension Result for Continuous Valuations
COMPROX · 2000
67
cited
Semantics of exact real arithmetic
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science · 1997
52
cited
Foundation of a computable solid modelling
Theoretical Computer Science · 2002
46
cited
Domain theory and differential calculus (functions of one variable)
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science · 2002
45
cited
Integration in Real PCF
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science · 1996
44
cited
Semi-pullbacks and bisimulation in categories of Markov processes
Mathematical Structures in Computer Science · 1999
41
cited
When Scott is weak on the top
Mathematical Structures in Computer Science · 1997
41
cited
A Domain Theoretic Account of Picard's Theorem
International Colloquium on Automata, Languages and Programming · 2004
38
cited
Computing Delaunay Triangulation with Imprecise Input Data
Canadian Conference on Computational Geometry · 2003
33
cited
Computing with Real Numbers
APPSEM · 2000
31
cited
Computable Banach Spaces via Domain Theory
Theoretical Computer Science · 1999
30
cited
Sotabase
Professor Abbas Edalat | Researcher Profile | Sotabase | Sotabase