Back to Abbas Edalat's Home Page
Trauma hypothesis: Lasting impact of the Mongol trauma on the political, social and scientific history of Iran Bukhara magazine, no. 77-78, January 2011 (1389) pages 227-263. Persian abstract
A New Derivative for Functions
Data Types for Lebesgue Integration
Hybrid systems
Data-types for Differential Calculus and Ordinary Differential Equations
Quantum Computation
Lecture Notes on Exact Computation
Computational Geometry and Soild Modelling
Survey Article
Exact Real Number Computation
Domain Theory in Computational Topology,
|
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). Journal of London Mathematical Society (2) 61 (2000) 629-640. |
|
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. |
Semi-pullbacks and Bisimulation in Categories of Markov Processes. Mathematical Structures in Computer Science, v.9 n.5, p.523-543, October 1999. |
|
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). |
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. |
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. |