Back to Abbas Edalat's Home Page
Selfinitiated humorous protocols:New approachfor learning to laugh Abbas Edalat, Technical report, Department of Computing, Imperial Colleg London, December 2021.  
A Selfattachment workshop for psychotherapy, increasing emotional and social intelligence, and creativity (Abbas Edalat), ICSS, November 2018.  
A Neural Model of Empathic States in AttachmentBased Psychotherapy (David Cittern and Abbas Edalat), Computational Psychiatry (CPSY), 2017.  
Selfattachment: A holistic approach to computational psychiatry (Abbas Edalat), "Computational Neurology and Psychiatry", (Eds.) Peter Erdi, Basabdatta Sen Bhattacharya, Amy Cochran, Springer Series in Bio/Neuroinformatics (ed.: Nikola Kasabov), 2017.  
Introduction to SelfAttachment and its Neural Basis (Abbas Edalat). Proceedings of the IEEE International Joint Conference on Neural Networks (IJCNN), 2015 (Extended version).  
Towards a Neural Model of Bonding in SelfAttachment (David Cittern and Abbas Edalat) Proceedings of the IEEE International Joint Conference on Neural Networks (IJCNN), 2015. 
An ArousalBased Neural Model of Infant Attachment (David Cittern and Abbas Edalat). Proceedings of the IEEE Symposium Series on Computational Intelligence: Cognitive Algorithms, Mind, and Brain (IEEE SSCI), 2014.  
A Neural Model of Mentalization/Mindfulness based Psychotherapy (with Zheng Lin). Proceedings of the International Joint Conference on Neural Networks (IJCNN) 2014.  
Capacity of strong attractor patterns to model behavioural and cognitive prototypes Proceedings of Advances in Neural Information Processing Systems (NIPS) 2013. Supplemtary Material  
Strong Attractors of Hopfield Neural Networks to Model Attachment Types and Behavioural Patterns (with Federico Mancinelli). Proceedings of the International Joint Conference on Neural Networks (IJCNN) 2013.  
SelfAttachment: A New and Integrative Psychotherapy. Talk at the Institute of Psychiatry, King's College London, 02052013.
 
SelfAttachment: proposed method for treating chronic anxiety and depression (in Farsi). Talk at Iranian Psychological Association workshop on selfattachment, Tehran, 34 January, 2015.
 
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. 
Ex Post Nash Equilibrium in Linear Bayesian Games for Decision Making in MultiEnvironments, Abbas Edalat and Samira Hossein Ghorban and Ali Ghorghi, Games 2018, 9(4), 85.  
Computing Mixed Bayesian Nash Equilibria for Double Games, Abbas Edalat and Samira Hossein Ghorban, Games 2016, Fifth World Congress of the Game Theory Society, July 24  28, 2016, Maastricht, The Netherlands  
Reinforcement Learning for Nash Equilibrium Generation (Extended version) (David Cittern and Abbas Edalat). Proceedings of Autonomous Agents and Multiagent Systems (AAMAS), 2015. 
Differentiation in Logical Form. (with Mehrdad Maleki) LICS 2017.  
Extension of Domain Maps in Differential and Integral Calculus. LICS 2015.  
A derivative for complex Lipschitz maps with generalised CauchyRiemann equations. Theoertical Computer Science 2014.  
A language for differentiable functions. (with Pietro Di Gianantonio) 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, 2009, 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 
A domaintheoretic approach to Brownian motion and general continuous stochastic processes (with Paul Bilokon) TwentyNinth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS), Vienna, Austria, 14 Jul 2014  18 Jul 2014.  
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 
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 
Inverse and Implicit Functions in Domain Theory
(with D. Pattinson) In Proceedings of LICS 2005. 

A Computational Model for MultiVariable Differential Calculus
(with A. Lieutier and D. Pattinson) . Information and Computation, Volume 224, pages 2245, 2013 

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

A domain theoretic account of Picard's theorem
(with D. Pattinson). LMS Journal of Computation and Mathematics (10) 83118, 2007. 

Domaintheoretic Solution of Differential Equations
(Scalar Fields) (with M. Krznaric and A. Lieutier). 
Domain Theory and Differential Calculus (Functions of one variable) (with Andre 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.) 
An Extension of Gleason's Theorem for Quantum Computation International Journal of Theoretical Physics 43 (78): 18271840, August 2004 
Computing with real numbers: (i) LFT approach to real computation,
(ii) Domaintheoretic model of computational geometry (with Reinhold Heckmann) In Gilles Barthe, Peter Dybjer, Luis Pinto, and Joao Saraiva,
editors, LNCS, Springer, 2002. 
The convex hull of finitely generable subsets and its predicate transformer ( with Mohammad Javad Davari and Andre Lieutier) Proceedings of ACM/IEEE Symposium on Logic in Computer Science (LICS) 2019.  
Computability in Computational Geometry (with with Ali A. Khanban and Andre Lieutier) In: Cooper S.B., Löwe B., Torenvliet L. (eds) New Computational Paradigms. CiE 2005. Lecture Notes in Computer Science, vol 3526. Springer, Berlin, Heidelberg. 

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

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. 
Domains for Computation in Mathematics, Physics and Exact Real Arithmetic. Bulletin of Symbolic Logic, 3(4), (1997), 401452. 
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. 
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. 
Semipullbacks and Bisimulation in Categories of Markov Processes. Mathematical Structures in Computer Science, v.9 n.5, p.523543, 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). 
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. 
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. 