
SelfAttachment: A New and Integrative Psychotherapy. Talk at the Institute of Psychiatry, King's College London, 02052013.
Trauma research

Trauma Hypothesis:
The enduring legacy of the Mongol Catastrophe on the Political, Social and
Scientific History of Iran . The Persian version appeared in Bukhara magazine, no. 7778, January 2011 (1389) pages 227263.
A New Derivative for Functions

A language for differentiable functions. In the Proceedings of 16th International Conference on Foundations of Software Science and
Computation Structures (FoSSaCS) 2013.


Weak topology and differentiable operator for Lipschitz maps. Topology and its Applications, Volume 157, number 9, pages 16291650.


A continuous derivative for realvalued functions New Computational Paradigms,
Changing Conceptions of What is Computable, eds. S.B. Cooper, B.
Lowe, A. Sorbi, pp. 493519, Springer, New York, 2008.
This paper is dedicated to the historical memory of Sharaf aldin
Tusi (d. 1213), the Iranian mathematician who was the first to use the derivative systematically to solve for roots of cubic polynomials and find their maxima. Persian description 
Data Types for Lebesgue Integration

A computable approach to measure and integration theory Information and Computation
Volume 207, Issue 5, May 2009, Pages 642659 This paper is dedicated to the historical memory of Jamshid Kashani (d. 1429), the Iranian mathematician who was the first to use the recursive fixed point method in analysis with which he computed the sine of one degree correct up to 9 sexagesimal places; he also computed the number pi correct up to 16 decimal places

Hybrid systems

Denotational Semantics of Hybrid Automata (with D. Pattinson) In Proceedings of
Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006 Lecture Notes in Computer Science
Volume 3921
pp.231245
March, 2006

Datatypes for Differential Calculus and Ordinary Differential
Equations
Quantum Computation
Lecture Notes on Exact Computation
Computational Geometry and Soild Modelling

Computability in Computational Geometry (with with Ali A. Khanban and Andre Lieutier), Lecture Notes in Computer Science, Volume 3526/2005, pages 117127 .


Computational Geometry with Imprecise Input Data (with with Ali A. Khanban and Andre Lieutier).


Foundation of a Computable Solid Modelling (with Andre Lieutier).
Theoretical Computer Science. Volume 284, Issue 2, Pages 319345 (28 July 2002)(Extended abstract in Proceedings of ACM's Symposium on Solid Modeling'99, ACM, 1999.) 

Computing Delaunay triangulation with imprecise data (with Ali A. Khanban). Proceedings of the 15th Canadian Computational Geometry Conference, 2003. 

Computability of Partial Delaunay Triangulation and Voronoi Diagram (with Ali A. Khanban and Andre Lieutier). Electronic Notes in Theoretical Computer Science, Volume 66, Issue 1, 2002 (Proceedings of the 5th CCA Workshop, July 2002.)


Convex Hull in
a New Model of Computation (with Andre Lieutier and Elham Kashefi). Proceedings of the 13th Canadian Conference
on Computational Geometry
University of Waterloo, August 1315, 2001.

Survey Article
Exact Real Number Computation

A Domaintheoretic Approach to Real Number Computation
(with Philipp Sünderhauf).
Theoretical Computer Science, 210, (1998), 7398. 

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), 382393, 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, 2744, (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, 185194, (1998), ACM. 

Numerical integration with Exact Arithmetic
(with Marko Krznaric).
Proceedings of ICALP'99. 

The PhD Thesis of Peter John Potts.


Miranda Implementation of Exact Real Arithmetic Using Mobius Transformation. 
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), 3248. 

Domain Theory and Integration.
Theoretical Computer Science 151, (1995), 163193. 

Power Domains and Iterated Function Systems.
Information and Computation 124, (1996), 182197. 

When Scott is Weak on the Top.
Mathematical Structures in Computer Science 7, (1997), 401417. 

A Computational Model for Metric Spaces
(with Reinhold Heckmann).
Theoretical Computer Science 193, (1998) 5373. 

Computable Banach Spaces via Domain Theory
(with Philipp Sünderhauf).
To appear in Theoretical Computer Science. 

An extension result for continuous valuations
(with Mauricio AlvarezManilla and Nasser SahebDjahromi).
Journal of London Mathematical Society (2) 61 (2000) 629640. 

Domain Theory in stochastic Processes.
Proceedings of the Tenth Annual IEEE Symposium on Logic in Computer Science (LICS), (1995), 244254, 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 SelfAffine 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), 121150. 
Bisimulation for Stochastic Processes
Information Systems

ICategories as a framework for solving domain equations
(with Mike Smyth).
Theoretical Computer Science 115, (1993), 77106. 

Information Categories
(with Mike Smyth).
Applied Categorical Structures 1, (1993), 197232. 

Selfduality in Information Categories.
Theory and Formal Methods 1993, (1993), 100114, SpringerVerlag. 

Continuous Information Categories.
Lecture Notes in Computer Science 620, (1992), 127138, SpringerVerlag. 
Dynamical Systems

Equivalence of Degenerate Hopf Bifurcations
Nonlinearity 4(3), (1991), 685695. 

The Stable Classes and the Codimension One Bifurcations of the Planar Replicator System
(with E. C. Zeeman)
Nonlinearity 5(4), (1992), 921939. 

The Stability of the Unfolding of the PredatorPrey Model
Dynamics and Stability 9(3), (1994), 195211. 

Bounding the Attractor of an IFS (with D. W. N. Sharp and R. L. While).
Information Processing Letters 64(4), (1997), 197202. 

