default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAbbas Edalat
Person information
- affiliation: Imperial College London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c60]Pietro Di Gianantonio
, Abbas Edalat:
A Cartesian Closed Category for Random Variables. LICS 2024: 32:1-32:14- [i11]Mary Ogbuka Kenneth, Foaad Khosmood, Abbas Edalat:
Systematic Literature Review: Computational Approaches for Humour Style Classification. CoRR abs/2402.01759 (2024) - [i10]Pietro Di Gianantonio, Abbas Edalat:
A Cartesian Closed Category for Random Variables. CoRR abs/2402.11727 (2024) - [i9]Ruoyu Hu, Foaad Khosmood, Abbas Edalat:
Exploring Description-Augmented Dataless Intent Classification. CoRR abs/2407.17862 (2024) - [i8]Mary Ogbuka Kenneth, Foaad Khosmood, Abbas Edalat:
A Two-Model Approach for Humour Style Recognition. CoRR abs/2410.12842 (2024) - 2023
- [j27]Abbas Edalat, Amin Farjudian, Yiran Li:
Recursive solution of initial value problems with temporal discretization. Theor. Comput. Sci. 980: 114221 (2023) - [i7]Abbas Edalat, Amin Farjudian, Yiran Li:
Recursive Solution of Initial Value Problems with Temporal Discretization. CoRR abs/2301.03920 (2023) - [i6]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 abs/2310.09362 (2023) - [i5]Sébastien Huot, Abbas Edalat:
Pure Bayesian Nash equilibrium for Bayesian games with multidimensional vector Types and linear payoffs. CoRR abs/2310.13992 (2023) - [i4]Alicia Jiayun Law, Ruoyu Hu, Lisa Alazraki, Anandha Gopalan, Neophytos Polydorou, Abbas Edalat:
A Multilingual Virtual Guide for Self-Attachment Technique. CoRR abs/2310.18366 (2023) - 2022
- [j26]Abbas Edalat:
Smooth Approximation of Lipschitz Maps and Their Subgradients. J. ACM 69(1): 8:1-8:32 (2022) - [c59]Alicia Jiayun Law, Ruoyu Hu, Lisa Alazraki, Anandha Gopalan, Neophytos Polydorou, Abbas Edalat:
A Multilingual Virtual Guide for Self-Attachment Technique. CogMI 2022: 107-116 - [c58]Pietro Di Gianantonio, Abbas Edalat, Ran Gutin:
A language for evaluating derivatives of functionals using automatic differentiation. MFPS 2022 - [i3]Lisa Alazraki, Ali Ghachem, Neophytos Polydorou, Foaad Khosmood, Abbas Edalat:
An Empathetic AI Coach for Self-Attachment Therapy. CoRR abs/2209.08316 (2022) - 2021
- [j25]Neophytos Polydorou, Abbas Edalat:
An interactive VR platform with emotion recognition for self-attachment intervention. EAI Endorsed Trans. Pervasive Health Technol. 7(29): e5 (2021) - [c57]Lisa Alazraki, Ali Ghachem, Neophytos Polydorou, Foaad Khosmood, Abbas Edalat:
An Empathetic AI Coach for Self-Attachment Therapy. CogMI 2021: 78-87 - [c56]Tom Gotsman, Neophytos Polydorou, Abbas Edalat:
Valence/Arousal Estimation of Occluded Faces from VR Headsets. CogMI 2021: 96-105 - 2020
- [c55]Ibrahim Ghaznavi, Duncan Gillies, Dasha Nicholls, Abbas Edalat:
Photorealistic avatars to enhance the efficacy of Selfattachment psychotherapy. AIVR 2020: 60-67 - [c54]Abbas Edalat, Amin Farjudian, Mina Mohammadian, Dirk Pattinson:
Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems. MFPS 2020: 105-128
2010 – 2019
- 2019
- [c53]Mohammad-Javad Davari, Abbas Edalat, André Lieutier:
The convex hull of finitely generable subsets and its predicate transformer. LICS 2019: 1-14 - 2018
- [j24]Abbas Edalat, Samira Hossein Ghorban, Ali Ghoroghi:
Ex Post Nash Equilibrium in Linear Bayesian Games for Decision Making in Multi-Environments. Games 9(4): 85 (2018) - [c52]Abbas Edalat, Mehrdad Maleki:
Differential Calculus with Imprecise Input and Its Logical Framework. FoSSaCS 2018: 459-475 - [i2]Abbas Edalat, Samira Hossein Ghorban:
Prior Independent Equilibria and Linear Multi-dimensional Bayesian Games. CoRR abs/1804.02806 (2018) - 2017
- [j23]Paul Bilokon, Abbas Edalat:
A domain-theoretic approach to Brownian motion and general continuous stochastic processes. Theor. Comput. Sci. 691: 10-26 (2017) - [c51]Abbas Edalat, Mehrdad Maleki:
Differentiation in logical form. LICS 2017: 1-12 - 2015
- [j22]Abbas Edalat:
A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations. Theor. Comput. Sci. 564: 89-106 (2015) - [c50]David Cittern, Abbas Edalat:
Reinforcement Learning for Nash Equilibrium Generation. AAMAS 2015: 1727-1728 - [c49]David Cittern, Abbas Edalat:
Towards a neural model of bonding in self-attachment. IJCNN 2015: 1-8 - [c48]Abbas Edalat:
Introduction to self-attachment and its neural basis. IJCNN 2015: 1-8 - [c47]Abbas Edalat:
Extensions of Domain Maps in Differential and Integral Calculus. LICS 2015: 426-437 - 2014
- [c46]Paul Bilokon, Abbas Edalat:
A domain-theoretic approach to Brownian motion and general continuous stochastic processes. CSL-LICS 2014: 15:1-15:10 - [c45]Abbas Edalat, Zheng Lin:
A neural model of mentalization/mindfulness based psychotherapy. IJCNN 2014: 2743-2751 - 2013
- [j21]Abbas Edalat, André Lieutier, Dirk Pattinson:
A computational model for multi-variable differential calculus. Inf. Comput. 224: 23-45 (2013) - [c44]Pietro Di Gianantonio, Abbas Edalat:
A Language for Differentiable Functions. FoSSaCS 2013: 337-352 - [c43]Abbas Edalat, Federico Mancinelli:
Strong attractors of Hopfield neural networks to model attachment types and behavioural patterns. IJCNN 2013: 1-10 - [c42]Abbas Edalat:
Capacity of strong attractor patterns to model behavioural and cognitive prototypes. NIPS 2013: 2661-2669 - 2012
- [i1]Abbas Edalat, Ali Ghoroghi, Georgios Sakellariou:
Multi-games and a double game extension of the Prisoner's Dilemma. CoRR abs/1205.4973 (2012) - 2011
- [c41]Peng He, Abbas Edalat:
Visual Hull from Imprecise Polyhedral Scene. 3DIMPVT 2011: 164-171
2000 – 2009
- 2009
- [j20]Abbas Edalat:
A computable approach to measure and integration theory. Inf. Comput. 207(5): 642-659 (2009) - 2008
- [c40]Abbas Edalat:
Weak Topology and a Differentiable Operator for Lipschitz Maps. LICS 2008: 364-375 - 2007
- [j19]Abbas Edalat, Dirk Pattinson:
Denotational semantics of hybrid automata. J. Log. Algebraic Methods Program. 73(1-2): 3-21 (2007) - [j18]Abbas Edalat, Dirk Pattinson:
A Domain-Theoretic Account of Picard's Theorem. LMS J. Comput. Math. 10: 83-118 (2007) - [c39]Abbas Edalat:
A Continuous Derivative for Real-Valued Functions. CiE 2007: 248-257 - [c38]Abbas Edalat:
A computable approach to measure and integration theory. LICS 2007: 463-472 - 2006
- [c37]Abbas Edalat, Dirk Pattinson:
Denotational Semantics of Hybrid Automata. FoSSaCS 2006: 231-245 - 2005
- [c36]Abbas Edalat, Ali Asghar Khanban, André Lieutier:
Computability in Computational Geometry. CiE 2005: 117-127 - [c35]Abbas Edalat, André Lieutier, Dirk Pattinson:
A Computational Model for Multi-variable Differential Calculus. FoSSaCS 2005: 505-519 - [c34]Abbas Edalat, Dirk Pattinson:
Inverse and Implicit Functions in Domain Theory. LICS 2005: 417-426 - [c33]Abbas Edalat, Dirk Pattinson:
Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields. MFPS 2005: 565-581 - 2004
- [j17]Abbas Edalat, Achim Jung:
Introduction to special issue on domain theory. Math. Struct. Comput. Sci. 14(6): 769 (2004) - [j16]Abbas Edalat, André Lieutier:
Domain theory and differential calculus (functions of one variable). Math. Struct. Comput. Sci. 14(6): 771-802 (2004) - [c32]Abbas Edalat, Dirk Pattinson:
A Domain Theoretic Account of Picard's Theorem. ICALP 2004: 494-505 - [c31]Abbas Edalat, Dirk Pattinson:
A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems. PARA 2004: 112-121 - 2003
- [c30]Ali Asghar Khanban, Abbas Edalat:
Computing Delaunay Triangulation with Imprecise Input Data. CCCG 2003: 94-97 - [c29]Abbas Edalat, Marko Krznaric, André Lieutier:
Domain-theoretic Solution of Differential Equations (Scalar Fields). MFPS 2003: 99-112 - 2002
- [j15]Josée Desharnais, Abbas Edalat, Prakash Panangaden:
Bisimulation for Labelled Markov Processes. Inf. Comput. 179(2): 163-193 (2002) - [j14]Abbas Edalat, André Lieutier:
Foundation of a computable solid modelling. Theor. Comput. Sci. 284(2): 319-345 (2002) - [c28]Abbas Edalat, André Lieutier:
Domain Theory and Differential Calculus (Functions of one Variable). LICS 2002: 277-286 - [c27]Ali Asghar Khanban, Abbas Edalat, André Lieutier:
Computability of Partial Delaunay Triangulation and Voronoi Diagram. CCA 2002: 91-103 - 2001
- [c26]Abbas Edalat, André Lieutier, Elham Kashefi:
The convex hull in a new model of computation. CCCG 2001: 93-96 - 2000
- [j13]Abbas Edalat, Martín Hötzel Escardó:
Integration in Real PCF. Inf. Comput. 160(1-2): 128-166 (2000) - [c25]Abbas Edalat, Reinhold Heckmann:
Computing with Real Numbers. APPSEM 2000: 193-267 - [c24]Abbas Edalat:
The domain of differentiable functions. MFCSIT 2000: 144
1990 – 1999
- 1999
- [j12]Abbas Edalat:
Semi-pullbacks and bisimulation in categories of Markov processes. Math. Struct. Comput. Sci. 9(5): 523-543 (1999) - [j11]Abbas Edalat, Philipp Sünderhauf:
A Domain-Theoretic Approach to Computability on the Real Line. Theor. Comput. Sci. 210(1): 73-98 (1999) - [j10]Abbas Edalat, Philipp Sünderhauf:
Computable Banach Spaces via Domain Theory. Theor. Comput. Sci. 219(1-2): 169-184 (1999) - [c23]Abbas Edalat, Marko Krznaric:
Numerical Integration with Exact Real Arithmetic. ICALP 1999: 90-104 - [c22]Abbas Edalat, André Lieutier:
Foundation of a computable solid modeling. Symposium on Solid Modeling and Applications 1999: 278-284 - [e2]Abbas Edalat, David W. Matula, Philipp Sünderhauf:
Workshop on Real Number Computation, RealComp 1998, Indianapolis, Indiana, USA, June 19-20, 1998. Electronic Notes in Theoretical Computer Science 24, Elsevier 1999 [contents] - 1998
- [j9]Abbas Edalat, Reinhold Heckmann:
A Computational Model for Metric Spaces. Theor. Comput. Sci. 193(1-2): 53-73 (1998) - [c21]Abbas Edalat, Peter John Potts, Philipp Sünderhauf:
Lazy Computation with Exact Real Numbers. ICFP 1998: 185-194 - [c20]Josée Desharnais, Abbas Edalat, Prakash Panangaden:
A Logical Characterization of Bisimulation for Labeled Markov Processes. LICS 1998: 478-487 - [c19]Abbas Edalat, David W. Matula, Philipp Sünderhauf:
Preface. RealComp 1998: 1 - 1997
- [j8]Abbas Edalat:
Domains for computation in mathematics, physics and exact real arithmetic. Bull. Symb. Log. 3(4): 401-452 (1997) - [j7]Abbas Edalat, David W. N. Sharp, Lyndon While:
Bounding the Attractor of an IFS. Inf. Process. Lett. 64(4): 197-202 (1997) - [j6]Abbas Edalat:
When Scott is Weak on the Top. Math. Struct. Comput. Sci. 7(5): 401-417 (1997) - [c18]Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden:
Bisimulation for Labelled Markov Processes. LICS 1997: 149-158 - [c17]Peter John Potts, Abbas Edalat, Martín Hötzel Escardó:
Semantics of Exact Real Arithmetic. LICS 1997: 248-257 - [c16]Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska:
Preface. COMPROX 1997: 1 - [c15]Maurizio Alvarez-Manilla, Abbas Edalat, Nasser Saheb-Djahromi:
An extension result for continuous valuations. COMPROX 1997: 2-11 - [c14]Abbas Edalat, Joseph Parry:
An Algorithm to Estimate the Hausdorff Dimension of Self-Affine Sets. COMPROX 1997: 31-40 - [c13]Abbas Edalat, Peter John Potts:
A new representation for exact real numbers. MFPS 1997: 119-132 - [e1]Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska:
Third Workshop on Computation and Approximation, COMPROX 1997, Birmingham, UK, September 11-13, 1997. Electronic Notes in Theoretical Computer Science 13, Elsevier 1997 [contents] - 1996
- [j5]Abbas Edalat:
Power Domains and Iterated Function Systems. Inf. Comput. 124(2): 182-197 (1996) - [c12]Abbas Edalat:
The Scott Topology Induces the Weak Topology. LICS 1996: 372-381 - [c11]Abbas Edalat, Martín Hötzel Escardó:
Integration in Real PCF. LICS 1996: 382-393 - 1995
- [j4]Abbas Edalat:
Dynamical Systems, Measures and Fractals via Domain Theory. Inf. Comput. 120(1): 32-48 (1995) - [j3]Abbas Edalat:
Domain Theory and Integration. Theor. Comput. Sci. 151(1): 163-193 (1995) - [c10]Abbas Edalat, David W. N. Sharp, Ronald Lyndon While:
An upper bound on the area occupied by a fractal. ICASSP 1995: 2443-2446 - [c9]Abbas Edalat:
Domain Theory in Stochastic Processes. LICS 1995: 244-254 - [c8]Abbas Edalat:
Domain theory in learning processes. MFPS 1995: 114-131 - 1994
- [c7]Abbas Edalat:
Domain of Computation of a Random Field in Statistical Physics. Theory and Formal Methods 1994: 411-430 - [c6]Abbas Edalat:
Domain Theory and Integration. LICS 1994: 115-124 - 1993
- [j2]Abbas Edalat, Michael B. Smyth:
Information categories. Appl. Categorical Struct. 1(2): 197-232 (1993) - [j1]Abbas Edalat, Michael B. Smyth:
I-Categories as a Framework for Solving Domain Equations. Theor. Comput. Sci. 115(1): 77-106 (1993) - [c5]Abbas Edalat:
Dynamical Systems, Measures and Fractals Via Domain Theory. Theory and Formal Methods 1993: 82-99 - [c4]Abbas Edalat:
Self-Duality, Minimal Invariant Objects and Karoubi Invariance in Information Categories. Theory and Formal Methods 1993: 100-114 - 1992
- [c3]Abbas Edalat:
Continuous I-Categories. LFCS 1992: 127-138 - [c2]Abbas Edalat, Michael B. Smyth:
Compact Metric Information Systems (Extended Abstract). REX Workshop 1992: 154-173 - 1991
- [c1]Abbas Edalat, Michael B. Smyth:
Categories of Information Systems. Category Theory and Computer Science 1991: 37-52
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-25 23:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
