关注
Abbas Edalat
Abbas Edalat
Department of Computing, Imperial College London
在 ic.ac.uk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Bisimulation for labelled Markov processes
J Desharnais, A Edalat, P Panangaden
Information and Computation 179 (2), 163-193, 2002
3592002
A computational model for metric spaces
A Edalat, R Heckmann
Theoretical computer science 193 (1-2), 53-73, 1998
2411998
Dynamical systems, measures, and fractals via domain theory
A Edalat
Information and Computation 120 (1), 32-48, 1995
1881995
Domain theory and integration
A Edalat
Theoretical Computer Science 151 (1), 163-193, 1995
1871995
Domains for computation in mathematics, physics and exact real arithmetic
A Edalat
Bulletin of Symbolic Logic 3 (4), 401-452, 1997
1771997
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
1391997
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
1201998
Power domains and iterated function systems
A Edalat
Information and Computation 124 (2), 182-197, 1996
1101996
A new representation for exact real numbers
A Edalat, PJ Potts
Electronic Notes in Theoretical Computer Science 6, 119-132, 1997
1061997
A domain-theoretic approach to computability on the real line
A Edalat, P Sünderhauf
Theoretical Computer Science 210 (1), 73-98, 1999
881999
Foundation of a computable solid modeling
A Edalat, A Lieutier
Proceedings of the fifth ACM symposium on Solid modeling and applications …, 1999
721999
Domain theory and differential calculus (functions of one variable)
A Edalat, A Lieutier
Mathematical Structures in Computer Science 14 (6), 771-802, 2004
682004
Semantics of exact real arithmetic
PJ Potts, A Edalat, MH Escardó
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997
621997
Integration in real PCF
A Edalat, MH Escardó
Information and Computation 160 (1-2), 128-166, 2000
572000
Integration in real PCF
A Edalat, MH Escardó
Information and Computation 160 (1-2), 128-166, 2000
572000
Semi-pullbacks and bisimulation in categories of Markov processes
A Edalat
Mathematical Structures in Computer Science 9 (5), 523-543, 1999
521999
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
512000
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
502000
When Scott is weak on the top
A Edalat
Mathematical Structures in Computer Science 7 (5), 401-417, 1997
421997
Computing Delaunay Triangulation with Imprecise Input Data.
AA Khanban, A Edalat
CCCG, 94-97, 2003
382003
系统目前无法执行此操作,请稍后再试。
文章 1–20