| 2025 | CBMI | MultiHuSE: A Multimodal Dataset for Humour Styles and Emotions. | Mary Ogbuka Kenneth, Foaad Khosmood, Abbas Edalat |
| 2024 | LICS | A Cartesian Closed Category for Random Variables. | Pietro Di Gianantonio, Abbas Edalat |
| 2020 | MFPS | Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems. | Abbas Edalat, Amin Farjudian, Mina Mohammadian, Dirk Pattinson |
| 2019 | LICS | The convex hull of finitely generable subsets and its predicate transformer. | Mohammad-Javad Davari, Abbas Edalat, Andr Lieutier |
| 2018 | FOSSACS | Differential Calculus with Imprecise Input and Its Logical Framework. | Abbas Edalat, Mehrdad Maleki |
| 2017 | LICS | Differentiation in logical form. | Abbas Edalat, Mehrdad Maleki |
| 2015 | IJCNN | Towards a neural model of bonding in self-attachment. | David Cittern, Abbas Edalat |
| 2015 | IJCNN | Introduction to self-attachment and its neural basis. | Abbas Edalat |
| 2015 | LICS | Extensions of Domain Maps in Differential and Integral Calculus. | Abbas Edalat |
| 2014 | CSL | A domain-theoretic approach to Brownian motion and general continuous stochastic processes. | Paul Bilokon, Abbas Edalat |
| 2014 | IJCNN | A neural model of mentalization/mindfulness based psychotherapy. | Abbas Edalat, Zheng Lin |
| 2013 | FOSSACS | A Language for Differentiable Functions. | Pietro Di Gianantonio, Abbas Edalat |
| 2013 | IJCNN | Strong attractors of Hopfield neural networks to model attachment types and behavioural patterns. | Abbas Edalat, Federico Mancinelli |
| 2008 | LICS | Weak Topology and a Differentiable Operator for Lipschitz Maps. | Abbas Edalat |
| 2007 | CiE | A Continuous Derivative for Real-Valued Functions. | Abbas Edalat |
| 2007 | LICS | A computable approach to measure and integration theory. | Abbas Edalat |
| 2006 | FOSSACS | Denotational Semantics of Hybrid Automata. | Abbas Edalat, Dirk Pattinson |
| 2005 | CiE | Computability in Computational Geometry. | Abbas Edalat, Ali Asghar Khanban, Andr Lieutier |
| 2005 | FOSSACS | A Computational Model for Multi-variable Differential Calculus. | Abbas Edalat, Andr Lieutier, Dirk Pattinson |
| 2005 | LICS | Inverse and Implicit Functions in Domain Theory. | Abbas Edalat, Dirk Pattinson |
| 2004 | ICALP | A Domain Theoretic Account of Picard's Theorem. | Abbas Edalat, Dirk Pattinson |
| 2003 | MFPS | Domain-theoretic Solution of Differential Equations (Scalar Fields). | Abbas Edalat, Marko Krznaric, Andr Lieutier |
| 2002 | LICS | Domain Theory and Differential Calculus (Functions of one Variable). | Abbas Edalat, Andr Lieutier |
| 1999 | ICALP | Numerical Integration with Exact Real Arithmetic. | Abbas Edalat, Marko Krznaric |
| 1998 | ICFP | Lazy Computation with Exact Real Numbers. | Abbas Edalat, Peter John Potts, Philipp Snderhauf |
| 1998 | LICS | A Logical Characterization of Bisimulation for Labeled Markov Processes. | Jose Desharnais, Abbas Edalat, Prakash Panangaden |
| 1997 | LICS | Bisimulation for Labelled Markov Processes. | Richard Blute, Jose Desharnais, Abbas Edalat, Prakash Panangaden |
| 1997 | LICS | Semantics of Exact Real Arithmetic. | Peter John Potts, Abbas Edalat, Martn Htzel Escard |
| 1996 | LICS | The Scott Topology Induces the Weak Topology. | Abbas Edalat |
| 1996 | LICS | Integration in Real PCF. | Abbas Edalat, Martn Htzel Escard |
| 1995 | ICASSP | An upper bound on the area occupied by a fractal. | Abbas Edalat, David W. N. Sharp, Ronald Lyndon While |
| 1995 | LICS | Domain Theory in Stochastic Processes | Abbas Edalat |
| 1994 | LICS | Domain Theory and Integration | Abbas Edalat |
| 1992 | LFCS | Continuous I-Categories. | Abbas Edalat |