| Bisimulation for labelled Markov processes J Desharnais, A Edalat, P Panangaden Information and Computation 179 (2), 163-193, 2002 | 352 | 2002 |
| A computational model for metric spaces A Edalat, R Heckmann Theoretical computer science 193 (1-2), 53-73, 1998 | 240 | 1998 |
| Dynamical systems, measures, and fractals via domain theory A Edalat Information and Computation 120 (1), 32-48, 1995 | 190 | 1995 |
| Domain theory and integration A Edalat Theoretical Computer Science 151 (1), 163-193, 1995 | 187 | 1995 |
| Domains for computation in mathematics, physics and exact real arithmetic A Edalat Bulletin of Symbolic Logic 3 (4), 401-452, 1997 | 180 | 1997 |
| 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 | 134 | 1997 |
| 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 | 110 | 1998 |
| Power domains and iterated function systems A Edalat information and computation 124 (2), 182-197, 1996 | 110 | 1996 |
| A new representation for exact real numbers A Edalat, PJ Potts Electronic Notes in Theoretical Computer Science 6, 119-132, 1997 | 107 | 1997 |
| A domain-theoretic approach to computability on the real line A Edalat, P Sünderhauf Theoretical Computer Science 210 (1), 73-98, 1999 | 89 | 1999 |
| Foundation of a computable solid modeling A Edalat, A Lieutier Proceedings of the fifth ACM symposium on Solid modeling and applications …, 1999 | 73 | 1999 |
| Domain theory and differential calculus (functions of one variable) A Edalat, A Lieutier Mathematical Structures in Computer Science 14 (6), 771-802, 2004 | 69 | 2004 |
| Semantics of exact real arithmetic PJ Potts, A Edalat, MH Escardó Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997 | 60 | 1997 |
| Integration in real PCF A Edalat, MH Escardó Information and Computation 160 (1-2), 128-166, 2000 | 54 | 2000 |
| Integration in real PCF A Edalat, MH Escardó Information and Computation 160 (1-2), 128-166, 2000 | 54 | 2000 |
| 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 | 49 | 2000 |
| Semi-pullbacks and bisimulation in categories of Markov processes A Edalat Mathematical Structures in Computer Science 9 (5), 523-543, 1999 | 49 | 1999 |
| Computing with Real Numbers: I. The LFT Approach to Real Number Computation A Edalat, R Heckmann Applied Semantics: International Summer School, APPSEM 2000 Caminha …, 2002 | 48 | 2002 |
| When Scott is weak on the top A Edalat Mathematical Structures in Computer Science 7 (5), 401-417, 1997 | 44 | 1997 |
| Computing Delaunay Triangulation with Imprecise Input Data. AA Khanban, A Edalat CCCG, 94-97, 2003 | 38 | 2003 |
