| Bisimulation for labelled Markov processes J Desharnais, A Edalat, P Panangaden Information and Computation 179 (2), 163-193, 2002 | 363 | 2002 |
| A computational model for metric spaces A Edalat, R Heckmann Theoretical computer science 193 (1-2), 53-73, 1998 | 243 | 1998 |
| Dynamical systems, measures, and fractals via domain theory A Edalat Information and Computation 120 (1), 32-48, 1995 | 189 | 1995 |
| Domain theory and integration A Edalat Theoretical Computer Science 151 (1), 163-193, 1995 | 188 | 1995 |
| Domains for computation in mathematics, physics and exact real arithmetic A Edalat Bulletin of Symbolic Logic 3 (4), 401-452, 1997 | 179 | 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 | 141 | 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 | 120 | 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 | 106 | 1997 |
| A domain-theoretic approach to computability on the real line A Edalat, P Sünderhauf Theoretical Computer Science 210 (1), 73-98, 1999 | 91 | 1999 |
| Foundation of a computable solid modeling A Edalat, A Lieutier Proceedings of the fifth ACM symposium on Solid modeling and applications …, 1999 | 72 | 1999 |
| Domain theory and differential calculus (functions of one variable) A Edalat, A Lieutier Mathematical Structures in Computer Science 14 (6), 771-802, 2004 | 68 | 2004 |
| Semantics of exact real arithmetic PJ Potts, A Edalat, MH Escardó Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997 | 62 | 1997 |
| Integration in real PCF A Edalat, MH Escardó Information and Computation 160 (1-2), 128-166, 2000 | 57 | 2000 |
| Semi-pullbacks and bisimulation in categories of Markov processes A Edalat Mathematical Structures in Computer Science 9 (5), 523-543, 1999 | 53 | 1999 |
| 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 | 52 | 2000 |
| Computing with Real Numbers: I. The LFT Approach to Real Number Computation A Edalat, R Heckmann International Summer School on Applied Semantics, 193-267, 2000 | 50 | 2000 |
| When Scott is weak on the top A Edalat Mathematical Structures in Computer Science 7 (5), 401-417, 1997 | 43 | 1997 |
| Computing Delaunay Triangulation with Imprecise Input Data. AA Khanban, A Edalat CCCG, 94-97, 2003 | 39 | 2003 |
| Computable Banach spaces via domain theory A Edalat, P Sünderhauf Theoretical Computer Science 219 (1-2), 169-184, 1999 | 38 | 1999 |
