Research papers

Abbas Edalat
Last modified: Fri Aug 31 12:50:48 BST 2001

1. Survey Article:

Domains for Computation in Mathematics, Physics and Exact Real Arithmetic.
Bulletin of Symbolic Logic, 3(4), (1997), 401-452.

2. Computational Geometry and Solid Modelling:

Foundation of a Computable Solid Modelling (with Andre Lieutier).
Proceedings of ACM's Symposium on Solid Modeling'99, ACM, 1999. Full paper to appear in Theoretical Computer Science. Convex Hull in a New Model of Computation, Proceedings of the 13th Canadian Conference on Computational Geometry University of Waterloo, August 13-15, 2001.

3. Exact Real Number Computation:

A Domain-theoretic Approach to Real Number Computation (with Philipp Sünderhauf).
Theoretical Computer Science, 210, (1998), 73-98. A New representation of for Exact real Numbers (with Peter John Potts).
Electronic Notes in Theoretical Computer Science 6, (1997). Integration in Real PCF (with Martin Escardo).
Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, (1996), 382-393, IEEE Computer Society; full paper to appear in Information and Computation. Exact Real Computer Arithmetic (with Peter John Potts).
Department of Computing Technical Report DOC 97/9, Imperial College, (1997). Semantics of Exact Arithmetic (with Peter John Potts and Martin Escardo).
Twelfth Annual IEEE Symposium on Logic in Computer Science, (1997), IEEE Computer Society. Two Algorithms for Root Finding in Exact real Arithmetic (with Fabien Rico).
Third Real Numbers and Computers Conference, 27-44, (1998). Lazy computation with exact real numbers (with Peter John Potts and Philipp Sünderhauf).
Proceedings of the Third ACM SIGPLAN International Confrence on Functional Programming, 185-194, (1998), ACM. Numerical Integration with Exact Arithmetic (with Marko Krznaric).
Proceedings of ICALP'99. The PhD Thesis of Peter John Potts. (You should be able to print but not necessarily view this thesis.)
Miranda Implementation of Exact Real Arithmetic Using Mobius Transformation.

4. Domain Theory in Computational Topology, Dynamical Systems and Measure/Integration Theory:

Dynamical systems, Measures and Fractals via Domain Theory.
Information and Computation 120(1), (1995), 32-48. Domain Theory and Integration.
Theoretical Computer Science 151, (1995), 163-193. Power Domains and Iterated Function Systems.
Information and Computation 124, (1996), 182-197. When Scott is Weak on the Top.
Mathematical Structures in Computer Science 7, (1997), 401-417. A Computational Model for Metric Spaces (with Reinhold Heckmann).
Theoretical Computer Science 193, (1998) 53-73. Computable Banach Spaces via Domain Theory (with Philipp Sünderhauf).
To appear in Theoretical Computer Science. An extension result for continuous valuations (with Mauricio Alvarez-Manilla and Nasser Saheb-Djahromi).
To appear in the Journal of London Mathematical Society. Domain Theory in stochastic Processes.
Proceedings of the Tenth Annual IEEE Symposium on Logic in Computer Science (LICS), (1995), 244-254, IEEE Computer Society. Domain Theory in Learning Processes.
Electronic Notes in Theoretical Computer Science 1, (1995). Domain of computation of a random field in statistical physics.
Proceedings of the Second Imperial College, Department of Computing, Theory and Formal Methods Workshop, (1995) Imperial College Press. An Algorithm to Estimate the Hausdorff Dimension of Self-Affine Sets (with Jeseph Parry).
Electronic notes in Theoretical Computer Science 13, (1998). The generalized Riemann Integral on Locally Compact Spaces (with Sara Negri).
Toplogy and its Applications. 89 (1998), 121-150.

5. Bisimulation for Stochastic Processes:

Semi-pullbacks and Bisimulation in Categories of Markov Processes.
To appear in Mathematical Structures in Computer Science. Bisimulation for Labeled Markov Processes (with Rick Blute and Josee Desharnais and Prakash Panangaden).
Twelfth Annual IEEE Symposium on Logic in Computer Science, (1997). A Logical Characterization of Bisimulation for Labeled Markov Processes (with Josee Desharnais and Prakash Panangaden).
Twelfth Annual IEEE Symposium on Logic in Computer Science, (1998).

6/. Information Systems:

I-Categories as a framework for solving domain equations (with Mike Smyth).
Theoretical Computer Science 115, (1993), 77-106. Information Categories (with Mike Smyth).
Applied Categorical Structures 1, (1993), 197-232. Self-duality in Information Categories.
Theory and Formal Methods 1993, (1993), 100-114, Springer-Verlag. Continuous Information Categories.
Lecture Notes in Computer Science 620, (1992), 127-138, Springer-Verlag.

6. Dynamical Systems:

Equivalence of Degenerate Hopf Bifurcations
Nonlinearity 4(3), (1991), 685-695.
The Stable Classes and the Codimension One Bifurcations of the Planar Replicator System (with E. C. Zeeman)
Nonlinearity 5(4), (1992), 921-939.
The Stability of the Unfolding of the Predator-Prey Model
Dynamics and Stability 9(3), (1994), 195-211.
Bounding the Attractor of an IFS (with D. W. N. Sharp and R. L. While).
Information Processing Letters 64(4), (1997), 197-202.