Computing Publications

Publications Home » Authors » Prof Abbas Edalat

Authors

Prof Abbas Edalat

11 publications for this author.

Research Monograph

Computational Geometry with Imprecise Input Data [GZipped Postscript]
Abbas Edalat, Ali Khanban, Lieutier
December, 2005

Journal Articles

Domain Theory and Differential Calculus (functions of one variable) [Postscript]
Abbas Edalat, Lieutier
Mathematical Structures in Computer Science
Volume 14, Issue 6, pp.771–802
Cambridge University Press
December, 2004
Foundation of a Computable Solid Modelling [Postscript]
Abbas Edalat, Lieutier
Theoretical Computer Science
Volume 284, Issue 2, pp.319–345
Elsevier
June, 2002
Numerical Integration with Exact Arithmetic [GZipped Postscript]
Abbas Edalat, Marko Krznaric
Lecture Notes in Computer Science
Volume 1644, pp.90–104
1999

Electronic Journal Article

Domain--Theoretic Solution of Differential Equations (Scalar Fields) [Postscript]
Abbas Edalat, Marko Krznaric, Lieutier
Volume 83
Electronic Notes in Theoretical Computer Science
2003

Conference and Workshop Papers

Denotational Semantics of Hybrid Automata [Postscript]
Abbas Edalat, Dirk Pattinson
Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006
Volume 3921, pp.231–245
Lecture Notes in Computer Science
March, 2006
Computability in Computational Geometry [PDF]
Abbas Edalat, Ali Khanban, Lieutier
New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands
Volume 3526, pp.117–127
Lecture Notes in Computer Science, Springer
May, 2005
Inverse and Implicit Functions in Domain Theory [Postscript]
Abbas Edalat, Dirk Pattinson
IEEE Symposium on Logic in Computer Science(2005)
pp.417–426
IEEE Computer Society
May, 2005
A domain theoretic account of Picard's theorem [Postscript]
Abbas Edalat, Dirk Pattinson
31st international colloquium on automata, languages and programming (ICALP 2004), Turku University, Maths Department, Turku, Finland
Volume 3142, pp.494–505
Lecture Notes in Computer Science, Springer-Verlag
2004
Computing Delaunay triangulation with imprecise input data [PDF] [GZipped Postscript]
Ali Khanban, Abbas Edalat
5th Canadian Conference on Computational Geometry (CCCG'03)
pp.94–97
2003
Computability of Partial Delaunay Triangulation and Voronoi Diagram [GZipped Postscript]
Ali Khanban, Abbas Edalat, Lieutier
CCA 2002, Computability and Complexity in Analysis (ICALP 2002 Satellite Workshop)
Volume 66, Issue 1, pp.1–13
Electronic Notes in Theoretical Computer Science, Elsevier
June, 2002

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.