Abbas Edalat - RankMe

107 papers A* 17A 2B 14C 4Misc 2Journal 44Unranked 22

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