Abbas Edalat

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 24

Top Topics

Conditional Distribution

Prepositional Phrase

Stochastic Process

Top Venues

Theor. Comput. Sci.

Publications

Mary Ogbuka Kenneth, Foaad Khosmood, Abbas Edalat
Systematic Literature Review: Computational Approaches for Humour Style Classification. CoRR (2024)
Pietro Di Gianantonio, Abbas Edalat
A Cartesian Closed Category for Random Variables. CoRR (2024)
Pietro Di Gianantonio, Abbas Edalat
A Cartesian Closed Category for Random Variables. LICS (2024)
Ruoyu Hu, Foaad Khosmood, Abbas Edalat
Exploring Description-Augmented Dataless Intent Classification. CoRR (2024)
Abbas Edalat, Amin Farjudian, Yiran Li
Recursive Solution of Initial Value Problems with Temporal Discretization. CoRR (2023)
Abbas Edalat, Amin Farjudian, Yiran Li
Recursive solution of initial value problems with temporal discretization. Theor. Comput. Sci. 980 (2023)
Alicia Jiayun Law, Ruoyu Hu, Lisa Alazraki, Anandha Gopalan, Neophytos Polydorou, Abbas Edalat
A Multilingual Virtual Guide for Self-Attachment Technique. CoRR (2023)
Sina Elahimanesh, Shayan Salehi, Sara Zahedi Movahed, Lisa Alazraki, Ruoyu Hu, Abbas Edalat
From Words and Exercises to Wellness: Farsi Chatbot for Self-Attachment Technique. CoRR (2023)
Sébastien Huot, Abbas Edalat
Pure Bayesian Nash equilibrium for Bayesian games with multidimensional vector Types and linear payoffs. CoRR (2023)
Lisa Alazraki, Ali Ghachem, Neophytos Polydorou, Foaad Khosmood, Abbas Edalat
An Empathetic AI Coach for Self-Attachment Therapy. CoRR (2022)
Pietro Di Gianantonio, Abbas Edalat, Ran Gutin
A language for evaluating derivatives of functionals using automatic differentiation. CoRR (2022)
Abbas Edalat
Smooth Approximation of Lipschitz Maps and Their Subgradients. J. ACM 69 (1) (2022)
Alicia Jiayun Law, Ruoyu Hu, Lisa Alazraki, Anandha Gopalan, Neophytos Polydorou, Abbas Edalat
A Multilingual Virtual Guide for Self-Attachment Technique. CogMI (2022)
Neophytos Polydorou, Abbas Edalat
An interactive VR platform with emotion recognition for self-attachment intervention. EAI Endorsed Trans. Pervasive Health Technol. 7 (29) (2021)
Lisa Alazraki, Ali Ghachem, Neophytos Polydorou, Foaad Khosmood, Abbas Edalat
An Empathetic AI Coach for Self-Attachment Therapy. CogMI (2021)
Tom Gotsman, Neophytos Polydorou, Abbas Edalat
Valence/Arousal Estimation of Occluded Faces from VR Headsets. CogMI (2021)
Abbas Edalat, Amin Farjudian, Mina Mohammadian, Dirk Pattinson
Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems. MFPS (2020)
Ibrahim Ghaznavi, Duncan Gillies, Dasha Nicholls, Abbas Edalat
Photorealistic avatars to enhance the efficacy of Selfattachment psychotherapy. AIVR (2020)
Mohammad-Javad Davari, Abbas Edalat, André Lieutier
The convex hull of finitely generable subsets and its predicate transformer. LICS (2019)
Abbas Edalat, Samira Hossein Ghorban, Ali Ghoroghi
Ex Post Nash Equilibrium in Linear Bayesian Games for Decision Making in Multi-Environments. Games 9 (4) (2018)
Abbas Edalat, Samira Hossein Ghorban
Prior Independent Equilibria and Linear Multi-dimensional Bayesian Games. CoRR (2018)
Abbas Edalat, Mehrdad Maleki
Differential Calculus with Imprecise Input and Its Logical Framework. FoSSaCS (2018)
Abbas Edalat, Mehrdad Maleki
Differentiation in logical form. LICS (2017)
Paul Bilokon, Abbas Edalat
A domain-theoretic approach to Brownian motion and general continuous stochastic processes. Theor. Comput. Sci. 691 (2017)
Abbas Edalat
A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations. Theor. Comput. Sci. 564 (2015)
Abbas Edalat
Introduction to self-attachment and its neural basis. IJCNN (2015)
David Cittern, Abbas Edalat
Towards a neural model of bonding in self-attachment. IJCNN (2015)
Abbas Edalat
Extensions of Domain Maps in Differential and Integral Calculus. LICS (2015)
David Cittern, Abbas Edalat
Reinforcement Learning for Nash Equilibrium Generation. AAMAS (2015)
Abbas Edalat, Zheng Lin
A neural model of mentalization/mindfulness based psychotherapy. IJCNN (2014)
Paul Bilokon, Abbas Edalat
A domain-theoretic approach to Brownian motion and general continuous stochastic processes. CSL-LICS (2014)
Abbas Edalat, Federico Mancinelli
Strong attractors of Hopfield neural networks to model attachment types and behavioural patterns. IJCNN (2013)
Abbas Edalat
Capacity of strong attractor patterns to model behavioural and cognitive prototypes. NIPS (2013)
Abbas Edalat, André Lieutier, Dirk Pattinson
A computational model for multi-variable differential calculus. Inf. Comput. 224 (2013)
Pietro Di Gianantonio, Abbas Edalat
A Language for Differentiable Functions. FoSSaCS (2013)
Abbas Edalat, Ali Ghoroghi, Georgios Sakellariou
Multi-games and a double game extension of the Prisoner's Dilemma CoRR (2012)
Peng He, Abbas Edalat
Visual Hull from Imprecise Polyhedral Scene. 3DIMPVT (2011)
Abbas Edalat
A computable approach to measure and integration theory. Inf. Comput. 207 (5) (2009)
Abbas Edalat
Weak Topology and a Differentiable Operator for Lipschitz Maps. LICS (2008)
Abbas Edalat, Dirk Pattinson
A Domain-Theoretic Account of Picard's Theorem. LMS J. Comput. Math. 10 (2007)
Abbas Edalat
A Continuous Derivative for Real-Valued Functions. CiE (2007)
Abbas Edalat
A computable approach to measure and integration theory. LICS (2007)
Abbas Edalat, Dirk Pattinson
Denotational semantics of hybrid automata. J. Log. Algebraic Methods Program. 73 (1-2) (2007)
Abbas Edalat, Dirk Pattinson
Denotational Semantics of Hybrid Automata. FoSSaCS (2006)
Abbas Edalat, Dirk Pattinson
Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields. MFPS (2005)
Abbas Edalat, Dirk Pattinson
Inverse and Implicit Functions in Domain Theory. LICS (2005)
Abbas Edalat, Ali Asghar Khanban, André Lieutier
Computability in Computational Geometry. CiE (2005)
Abbas Edalat, André Lieutier, Dirk Pattinson
A Computational Model for Multi-variable Differential Calculus. FoSSaCS (2005)
Abbas Edalat, Achim Jung
Introduction to special issue on domain theory. Math. Struct. Comput. Sci. 14 (6) (2004)
Abbas Edalat, Dirk Pattinson
A Domain Theoretic Account of Picard's Theorem. ICALP (2004)
Abbas Edalat, Dirk Pattinson
A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems. PARA (2004)
Abbas Edalat, André Lieutier
Domain theory and differential calculus (functions of one variable). Math. Struct. Comput. Sci. 14 (6) (2004)
Abbas Edalat, Marko Krznaric, André Lieutier
Domain-theoretic Solution of Differential Equations (Scalar Fields). MFPS (2003)
Ali Asghar Khanban, Abbas Edalat
Computing Delaunay Triangulation with Imprecise Input Data. CCCG (2003)
Abbas Edalat, André Lieutier
Domain Theory and Differential Calculus (Functions of one Variable). LICS (2002)
Abbas Edalat, André Lieutier
Foundation of a computable solid modelling. Theor. Comput. Sci. 284 (2) (2002)
Ali Asghar Khanban, Abbas Edalat, André Lieutier
Computability of Partial Delaunay Triangulation and Voronoi Diagram. Electron. Notes Theor. Comput. Sci. 66 (1) (2002)
Josée Desharnais, Abbas Edalat, Prakash Panangaden
Bisimulation for Labelled Markov Processes. Inf. Comput. 179 (2) (2002)
Abbas Edalat, André Lieutier, Elham Kashefi
The convex hull in a new model of computation. CCCG (2001)
Abbas Edalat
The domain of differentiable functions. Electron. Notes Theor. Comput. Sci. 40 (2000)
Abbas Edalat, Martín Hötzel Escardó
Integration in Real PCF. Inf. Comput. 160 (1-2) (2000)
Abbas Edalat, Reinhold Heckmann
Computing with Real Numbers. APPSEM (2000)
Abbas Edalat
Semi-pullbacks and bisimulation in categories of Markov processes. Math. Struct. Comput. Sci. 9 (5) (1999)
Abbas Edalat, André Lieutier
Foundation of a computable solid modeling. Symposium on Solid Modeling and Applications (1999)
Abbas Edalat, Marko Krznaric
Numerical Integration with Exact Real Arithmetic. ICALP (1999)
Abbas Edalat, David W. Matula, Philipp Sünderhauf
Preface. Electron. Notes Theor. Comput. Sci. 24 (1999)
Abbas Edalat, Philipp Sünderhauf
A Domain-Theoretic Approach to Computability on the Real Line. Theor. Comput. Sci. 210 (1) (1999)
Abbas Edalat, Philipp Sünderhauf
Computable Banach Spaces via Domain Theory. Theor. Comput. Sci. 219 (1-2) (1999)
Maurizio Alvarez-Manilla, Abbas Edalat, N. Saheb-Djahromi
An extension result for continuous valuations. Electron. Notes Theor. Comput. Sci. 13 (1998)
Abbas Edalat, Reinhold Heckmann
A Computational Model for Metric Spaces. Theor. Comput. Sci. 193 (1-2) (1998)
Abbas Edalat, Peter John Potts, Philipp Sünderhauf
Lazy Computation with Exact Real Numbers. ICFP (1998)
Abbas Edalat, Joseph Parry
An Algorithm to Estimate the Hausdorff Dimension of Self-Affine Sets. Electron. Notes Theor. Comput. Sci. 13 (1998)
Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska
Preface. Electron. Notes Theor. Comput. Sci. 13 (1998)
Josée Desharnais, Abbas Edalat, Prakash Panangaden
A Logical Characterization of Bisimulation for Labeled Markov Processes. LICS (1998)
Abbas Edalat, Peter John Potts
A new representation for exact real numbers. MFPS (1997)
Peter John Potts, Abbas Edalat, Martín Hötzel Escardó
Semantics of Exact Real Arithmetic. LICS (1997)
Abbas Edalat, David W. N. Sharp, Lyndon While
Bounding the Attractor of an IFS. Inf. Process. Lett. 64 (4) (1997)
Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden
Bisimulation for Labelled Markov Processes. LICS (1997)
Abbas Edalat
When Scott is Weak on the Top. Math. Struct. Comput. Sci. 7 (5) (1997)
Abbas Edalat
Domains for computation in mathematics, physics and exact real arithmetic. Bull. Symb. Log. 3 (4) (1997)
Abbas Edalat
Power Domains and Iterated Function Systems. Inf. Comput. 124 (2) (1996)
Abbas Edalat
The Scott Topology Induces the Weak Topology. LICS (1996)
Abbas Edalat, Martín Hötzel Escardó
Integration in Real PCF. LICS (1996)
Abbas Edalat, David W. N. Sharp, Ronald Lyndon While
An upper bound on the area occupied by a fractal. ICASSP (1995)
Abbas Edalat
Domain theory in learning processes. MFPS (1995)
Abbas Edalat
Domain Theory and Integration. Theor. Comput. Sci. 151 (1) (1995)
Abbas Edalat
Domain Theory in Stochastic Processes LICS (1995)
Abbas Edalat
Dynamical Systems, Measures and Fractals via Domain Theory Inf. Comput. 120 (1) (1995)
Abbas Edalat
Domain of Computation of a Random Field in Statistical Physics. Theory and Formal Methods (1994)
Abbas Edalat
Domain Theory and Integration LICS (1994)
Abbas Edalat, Michael B. Smyth
I-Categories as a Framework for Solving Domain Equations. Theor. Comput. Sci. 115 (1) (1993)
Abbas Edalat, Michael B. Smyth
Information categories. Appl. Categorical Struct. 1 (2) (1993)
Abbas Edalat
Self-Duality, Minimal Invariant Objects and Karoubi Invariance in Information Categories. Theory and Formal Methods (1993)
Abbas Edalat
Dynamical Systems, Measures and Fractals Via Domain Theory. Theory and Formal Methods (1993)
Abbas Edalat, Michael B. Smyth
Compact Metric Information Systems (Extended Abstract). REX Workshop (1992)
Abbas Edalat
Continuous I-Categories. LFCS (1992)
Abbas Edalat, Michael B. Smyth
Categories of Information Systems. Category Theory and Computer Science (1991)