Categories of Information Systems. - Abbas Edalat; Michael B. Smyth (Category Theory and Computer Science, 1991)

Continuous I-Categories. - Abbas Edalat (LFCS, 1992)

Compact Metric Information Systems (Extended Abstract). - Abbas Edalat; Michael B. Smyth (REX Workshop, 1992)

Self-Duality, Minimal Invariant Objects and Karoubi Invariance in Information Categories. - Abbas Edalat (Theory and Formal Methods, 1993)

Information categories. - Abbas Edalat; Michael B. Smyth (Appl. Categorical Struct., 1993)

I-Categories as a Framework for Solving Domain Equations. - Abbas Edalat; Michael B. Smyth (Theor. Comput. Sci., 1993)

Domain of Computation of a Random Field in Statistical Physics. - Abbas Edalat (Theory and Formal Methods, 1994)

An upper bound on the area occupied by a fractal. - Abbas Edalat; David W. N. Sharp; Ronald Lyndon While (ICASSP, 1995)

Domain Theory in Stochastic Processes - Abbas Edalat (LICS, 1995)

Domain theory in learning processes. - Abbas Edalat (MFPS, 1995)

Domain Theory and Integration. - Abbas Edalat (Theor. Comput. Sci., 1995)

Dynamical Systems, Measures and Fractals via Domain Theory - Abbas Edalat (Inf. Comput., 1995)

The Scott Topology Induces the Weak Topology. - Abbas Edalat (LICS, 1996)

Power Domains and Iterated Function Systems. - Abbas Edalat (Inf. Comput., 1996)

Bisimulation for Labelled Markov Processes. - Richard Blute; Josée Desharnais; Abbas Edalat; Prakash Panangaden (LICS, 1997)

Semantics of Exact Real Arithmetic. - Peter John Potts; Abbas Edalat; Martín Hötzel Escardó (LICS, 1997)

Domains for computation in mathematics, physics and exact real arithmetic. - Abbas Edalat (Bull. Symb. Log., 1997)

An extension result for continuous valuations. - Maurizio Alvarez-Manilla; Abbas Edalat; Nasser Saheb-Djahromi (COMPROX, 1997)

Preface. - Abbas Edalat; Achim Jung; Klaus Keimel; Marta Z. Kwiatkowska (COMPROX, 1997)

A new representation for exact real numbers. - Abbas Edalat; Peter John Potts (MFPS, 1997)

An Algorithm to Estimate the Hausdorff Dimension of Self-Affine Sets. - Abbas Edalat; Joseph Parry (COMPROX, 1997)

Bounding the Attractor of an IFS. - Abbas Edalat; David W. N. Sharp; Lyndon While (Inf. Process. Lett., 1997)

When Scott is Weak on the Top. - Abbas Edalat (Math. Struct. Comput. Sci., 1997)

Lazy Computation with Exact Real Numbers. - Abbas Edalat; Peter John Potts; Philipp Sünderhauf (ICFP, 1998)

A Logical Characterization of Bisimulation for Labeled Markov Processes. - Josée Desharnais; Abbas Edalat; Prakash Panangaden (LICS, 1998)

Preface. - Abbas Edalat; David W. Matula; Philipp Sünderhauf (RealComp, 1998)

A Computational Model for Metric Spaces. - Abbas Edalat; Reinhold Heckmann (Theor. Comput. Sci., 1998)

Numerical Integration with Exact Real Arithmetic. - Abbas Edalat; Marko Krznaric (ICALP, 1999)

Foundation of a computable solid modeling. - Abbas Edalat; André Lieutier (Symposium on Solid Modeling and Applications, 1999)

Semi-pullbacks and bisimulation in categories of Markov processes. - Abbas Edalat (Math. Struct. Comput. Sci., 1999)

A Domain-Theoretic Approach to Computability on the Real Line. - Abbas Edalat; Philipp Sünderhauf (Theor. Comput. Sci., 1999)

Computable Banach Spaces via Domain Theory. - Abbas Edalat; Philipp Sünderhauf (Theor. Comput. Sci., 1999)

Computing with Real Numbers. - Abbas Edalat; Reinhold Heckmann (APPSEM, 2000)

The domain of differentiable functions. - Abbas Edalat (MFCSIT, 2000)

Integration in Real PCF. - Abbas Edalat; Martín Hötzel Escardó (Inf. Comput., 2000)

The convex hull in a new model of computation. - Abbas Edalat; André Lieutier; Elham Kashefi (CCCG, 2001)

Computability of Partial Delaunay Triangulation and Voronoi Diagram. - Ali Asghar Khanban; Abbas Edalat; André Lieutier (CCA, 2002)

Bisimulation for Labelled Markov Processes. - Josée Desharnais; Abbas Edalat; Prakash Panangaden (Inf. Comput., 2002)

Foundation of a computable solid modelling. - Abbas Edalat; André Lieutier (Theor. Comput. Sci., 2002)

Computing Delaunay Triangulation with Imprecise Input Data. - Ali Asghar Khanban; Abbas Edalat (CCCG, 2003)

Domain-theoretic Solution of Differential Equations (Scalar Fields). - Abbas Edalat; Marko Krznaric; André Lieutier (MFPS, 2003)

A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems. - Abbas Edalat; Dirk Pattinson (PARA, 2004)

Introduction to special issue on domain theory. - Abbas Edalat; Achim Jung (Math. Struct. Comput. Sci., 2004)

Domain theory and differential calculus (functions of one variable). - Abbas Edalat; André Lieutier (Math. Struct. Comput. Sci., 2004)

Computability in Computational Geometry. - Abbas Edalat; Ali Asghar Khanban; André Lieutier (CiE, 2005)

Inverse and Implicit Functions in Domain Theory. - Abbas Edalat; Dirk Pattinson (LICS, 2005)

Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields. - Abbas Edalat; Dirk Pattinson (MFPS, 2005)

A Continuous Derivative for Real-Valued Functions. - Abbas Edalat (CiE, 2007)

Denotational semantics of hybrid automata. - Abbas Edalat; Dirk Pattinson (J. Log. Algebraic Methods Program., 2007)

A Domain-Theoretic Account of Picard's Theorem. - Abbas Edalat; Dirk Pattinson (LMS J. Comput. Math., 2007)

Weak Topology and a Differentiable Operator for Lipschitz Maps. - Abbas Edalat (LICS, 2008)

A computable approach to measure and integration theory. - Abbas Edalat (Inf. Comput., 2009)

Visual Hull from Imprecise Polyhedral Scene. - Peng He; Abbas Edalat (3DIMPVT, 2011)

Multi-games and a double game extension of the Prisoner's Dilemma - Abbas Edalat; Ali Ghoroghi; Georgios Sakellariou (CoRR, 2012)

A Language for Differentiable Functions. - Pietro Di Gianantonio; Abbas Edalat (FoSSaCS, 2013)

Strong attractors of Hopfield neural networks to model attachment types and behavioural patterns. - Abbas Edalat; Federico Mancinelli (IJCNN, 2013)

Capacity of strong attractor patterns to model behavioural and cognitive prototypes. - Abbas Edalat (NIPS, 2013)

A computational model for multi-variable differential calculus. - Abbas Edalat; André Lieutier; Dirk Pattinson (Inf. Comput., 2013)

A neural model of mentalization/mindfulness based psychotherapy. - Abbas Edalat; Zheng Lin 008 (IJCNN, 2014)

Reinforcement Learning for Nash Equilibrium Generation. - David Cittern; Abbas Edalat (AAMAS, 2015)

Towards a neural model of bonding in self-attachment. - David Cittern; Abbas Edalat (IJCNN, 2015)

Introduction to self-attachment and its neural basis. - Abbas Edalat (IJCNN, 2015)

Extensions of Domain Maps in Differential and Integral Calculus. - Abbas Edalat (LICS, 2015)

A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations. - Abbas Edalat (Theor. Comput. Sci., 2015)

Differentiation in logical form. - Abbas Edalat; Mehrdad Maleki (LICS, 2017)

A domain-theoretic approach to Brownian motion and general continuous stochastic processes. - Paul Bilokon; Abbas Edalat (Theor. Comput. Sci., 2017)

Differential Calculus with Imprecise Input and Its Logical Framework. - Abbas Edalat; Mehrdad Maleki (FoSSaCS, 2018)

Prior Independent Equilibria and Linear Multi-dimensional Bayesian Games. - Abbas Edalat; Samira Hossein Ghorban (CoRR, 2018)

Ex Post Nash Equilibrium in Linear Bayesian Games for Decision Making in Multi-Environments. - Abbas Edalat; Samira Hossein Ghorban; Ali Ghoroghi (Games, 2018)

The convex hull of finitely generable subsets and its predicate transformer. - Mohammad-Javad Davari; Abbas Edalat; André Lieutier (LICS, 2019)

Photorealistic avatars to enhance the efficacy of Selfattachment psychotherapy. - Ibrahim Ghaznavi; Duncan Gillies; Dasha Nicholls; Abbas Edalat (AIVR, 2020)

Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems. - Abbas Edalat; Amin Farjudian; Mina Mohammadian; Dirk Pattinson (MFPS, 2020)

An Empathetic AI Coach for Self-Attachment Therapy. - Lisa Alazraki; Ali Ghachem; Neophytos Polydorou; Foaad Khosmood; Abbas Edalat (CogMI, 2021)

Valence/Arousal Estimation of Occluded Faces from VR Headsets. - Tom Gotsman; Neophytos Polydorou; Abbas Edalat (CogMI, 2021)

An interactive VR platform with emotion recognition for self-attachment intervention. - Neophytos Polydorou; Abbas Edalat (EAI Endorsed Trans. Pervasive Health Technol., 2021)

A Multilingual Virtual Guide for Self-Attachment Technique. - Alicia Jiayun Law; Ruoyu Hu; Lisa Alazraki; Anandha Gopalan; Neophytos Polydorou; Abbas Edalat (CogMI, 2022)

A language for evaluating derivatives of functionals using automatic differentiation. - Pietro Di Gianantonio; Abbas Edalat; Ran Gutin (MFPS, 2022)

Smooth Approximation of Lipschitz Maps and Their Subgradients. - Abbas Edalat (J. ACM, 2022)

From Words and Exercises to Wellness: Farsi Chatbot for Self-Attachment Technique. - Sina Elahimanesh; Shayan Salehi; Sara Zahedi Movahed; Lisa Alazraki; Ruoyu Hu; Abbas Edalat (CoRR, 2023)

Pure Bayesian Nash equilibrium for Bayesian games with multidimensional vector Types and linear payoffs. - Sébastien Huot; Abbas Edalat (CoRR, 2023)

Recursive solution of initial value problems with temporal discretization. - Abbas Edalat; Amin Farjudian; Yiran Li 003 (Theor. Comput. Sci., 2023)

A Cartesian Closed Category for Random Variables. - Pietro Di Gianantonio; Abbas Edalat (LICS, 2024)

Systematic Literature Review: Computational Approaches for Humour Style Classification. - Mary Ogbuka Kenneth; Foaad Khosmood; Abbas Edalat (CoRR, 2024)

Exploring Description-Augmented Dataless Intent Classification. - Ruoyu Hu; Foaad Khosmood; Abbas Edalat (CoRR, 2024)

A Two-Model Approach for Humour Style Recognition. - Mary Ogbuka Kenneth; Foaad Khosmood; Abbas Edalat (CoRR, 2024)

Affectional interactions with your animated child avatar can enhance wellbeing. - Abbas Edalat; Neophytos Polydorou; Frank Ryan; Barnabas J. Gilbert; Dasha Nicholls (Frontiers Virtual Real., 2024)

Self-initiated humour protocol: a pilot study with an AI agent. - Abbas Edalat; Ruoyu Hu; Zeena Patel; Neophytos Polydorou; Frank Ryan; Dasha Nicholls (Frontiers Digit. Health, 2025)

Explaining Humour Style Classifications: An XAI Approach to Understanding Computational Humour Analysis. - Mary Ogbuka Kenneth; Foaad Khosmood; Abbas Edalat (CoRR, 2025)

A domain-theoretic framework for conditional probability and Bayesian updating in programming. - Pietro Di Gianantonio; Abbas Edalat (CoRR, 2025)