
Domaintheoretic Solution of Differential Equations
(Scalar Fields) (A. Edalat and M. Krznaric and A. Lieutier) Electronic Notes in Theoretical Computer Science volume 83, 2003. 

A domain theoretic account of Picard's theorem
(A. Edalat and D. Pattinson) In Proceedings of ICALP 2004. Full paper to appear in the London Mathematical Society Journal of Computation and Mathematics. 

A domain theoretic account of Euler's method for Solving Initial Value Problems
(A. Edalat and D. Pattinson) In Proceedings of PARA 2004 

Domain Theoretic Solutions of Initial Value Problems for Unbounded
Vector Fields
(A. Edalat and D. Pattinson) In Proceedings of MFPS XXI, ENTCS volume 155, 2005. 

A Computational Model for MultiVariable Differential Calculus
(A. Edalat and A. Lieutier and D. Pattinson) In Proceedings of FOSSACS 2005. 

Denotational Semantics of Hybrid Automata (A. Edalat with D. Pattinson) 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  
Inverse and Implicit Functions in Domain Theory
(A. Edalat and D. Pattinson) In Proceedings of LICS 2005. 

A continuous derivative for realvalued functions (A. Edalat) Invited paper for New Computational Paradigms 

Domain Theory and Differential Calculus (Functions of one variable) (A. Edalat and A.Lieutier). Mathematical Structures in Computer Science, Volume 14, Issue 06, Dec 2004, pp 771802. (Extended abstract in Proceedings of IEEE Symposium on Logic in Computer Science (LICS) 2002.) 




