Abbas Edalat
Title
Cited by
Cited by
Year
Bisimulation for labelled Markov processes
J Desharnais, A Edalat, P Panangaden
Information and Computation 179 (2), 163-193, 2002
3172002
A computational model for metric spaces
A Edalat, R Heckmann
Theoretical computer science 193 (1-2), 53-73, 1998
2201998
Dynamical systems, measures, and fractals via domain theory
A Edalat
Information and Computation 120 (1), 32-48, 1995
1851995
Domain theory and integration
A Edalat
Theoretical Computer Science 151 (1), 163-193, 1995
1821995
Domains for computation in mathematics, physics and exact real arithmetic
A Edalat
Bulletin of Symbolic Logic, 401-452, 1997
1621997
Bisimulation for labelled Markov processes
R Blute, J Desharnais, A Edalat, P Panangaden
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997
1211997
A logical characterization of bisimulation for labeled Markov processes
J Desharnais, A Edalat, P Panangaden
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998
1031998
A new representation for exact real numbers
A Edalat, PJ Potts
Electronic Notes in Theoretical Computer Science 6, 119-132, 1997
1001997
Power domains and iterated function systems
A Edalat
Information and computation 124 (2), 182-197, 1996
991996
A domain-theoretic approach to computability on the real line
A Edalat, P Sünderhauf
Theoretical Computer Science 210 (1), 73-98, 1999
831999
Foundation of a computable solid modelling
A Edalat, A Lieutier
Theoretical Computer Science 284 (2), 319-345, 2002
652002
Domain theory and differential calculus (functions of one variable)
A Edalat, A Lieutier
Mathematical Structures in Computer Science 14 (6), 771-802, 2004
612004
Semantics of exact real arithmetic
PJ Potts, A Edalat, MH Escardó
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997
601997
Integration in real PCF
A Edalat, MH Escardó
Information and Computation 160 (1-2), 128-166, 2000
532000
Integration in real PCF
A Edalat, MH Escardó
Information and Computation 160 (1-2), 128-166, 2000
532000
An extension result for continuous valuations
M Alvarez-Manilla, A Edalat, N Saheb-Djahromi
Journal of the London Mathematical Society 61 (2), 629-640, 2000
502000
Semi-pullbacks and bisimulation in categories of Markov processes
A Edalat
Mathematical Structures in Computer Science 9 (5), 523-543, 1999
501999
Computing with real numbers
A Edalat, R Heckmann
International Summer School on Applied Semantics, 193-267, 2000
452000
Computing Delaunay triangulation with imprecise input data
A Khanban, A Edalat
402003
When Scott is weak on the top
A Edalat
Mathematical Structures in Computer Science 7 (5), 401-417, 1997
391997
The system can't perform the operation now. Try again later.
Articles 1–20