default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Abbas Edalat
@article{DBLP:journals/corr/abs-2603-00774,
author = {Sina Elahimanesh and
Mohammadali Mohammadkhani and
Sara Zahedi Movahed and
Mohammad Mahdi Abootorabi and
Shayan Salehi and
Abbas Edalat},
title = {Structure Matters: Evaluating Multi-Agents Orchestration in Generative
Therapeutic Chatbots},
journal = {CoRR},
volume = {abs/2603.00774},
year = {2026},
url = {https://doi.org/10.48550/arXiv.2603.00774},
doi = {10.48550/ARXIV.2603.00774},
eprinttype = {arXiv},
eprint = {2603.00774},
timestamp = {Sun, 05 Apr 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2603-00774.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2604-09272,
author = {Abbas Edalat and
Pietro Di Gianantonio and
Amin Farjudian},
title = {A Domain-Theoretic Foundation for Imprecise Probability and Credal
Sets},
journal = {CoRR},
volume = {abs/2604.09272},
year = {2026},
url = {https://doi.org/10.48550/arXiv.2604.09272},
doi = {10.48550/ARXIV.2604.09272},
eprinttype = {arXiv},
eprint = {2604.09272},
timestamp = {Fri, 08 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2604-09272.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2605-08050,
author = {Xinyan Ye and
Jiankang Deng and
Abbas Edalat},
title = {MoCoTalk: Multi-Conditional Diffusion with Adaptive Router for Controllable
Talking Head Generation},
journal = {CoRR},
volume = {abs/2605.08050},
year = {2026},
url = {https://doi.org/10.48550/arXiv.2605.08050},
doi = {10.48550/ARXIV.2605.08050},
eprinttype = {arXiv},
eprint = {2605.08050},
timestamp = {Mon, 08 Jun 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2605-08050.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fdgth/EdalatHPPRN25,
author = {Abbas Edalat and
Ruoyu Hu and
Zeena Patel and
Neophytos Polydorou and
Frank Ryan and
Dasha Nicholls},
title = {Self-initiated humour protocol: a pilot study with an {AI} agent},
journal = {Frontiers Digit. Health},
volume = {7},
year = {2025},
url = {https://doi.org/10.3389/fdgth.2025.1530131},
doi = {10.3389/FDGTH.2025.1530131},
timestamp = {Wed, 20 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fdgth/EdalatHPPRN25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/games/HuotE25,
author = {S{\'{e}}bastien Huot and
Abbas Edalat},
title = {Pure Bayesian Nash Equilibria for Bayesian Games with Multidimensional
Vector Types and Linear Payoffs},
journal = {Games},
volume = {16},
number = {4},
pages = {37},
year = {2025},
url = {https://doi.org/10.3390/g16040037},
doi = {10.3390/G16040037},
timestamp = {Tue, 03 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/games/HuotE25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbmi/KennethKE25,
author = {Mary Ogbuka Kenneth and
Foaad Khosmood and
Abbas Edalat},
title = {MultiHuSE: {A} Multimodal Dataset for Humour Styles and Emotions},
booktitle = {International Conference on Content-Based Multimedia Indexing, {CBMI}
2025, Dublin, Ireland, October 22-24, 2025},
pages = {1--7},
publisher = {{IEEE}},
year = {2025},
url = {https://doi.org/10.1109/CBMI66578.2025.11339313},
doi = {10.1109/CBMI66578.2025.11339313},
timestamp = {Sun, 22 Feb 2026 14:18:11 +0100},
biburl = {https://dblp.org/rec/conf/cbmi/KennethKE25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2501-02891,
author = {Mary Ogbuka Kenneth and
Foaad Khosmood and
Abbas Edalat},
title = {Explaining Humour Style Classifications: An {XAI} Approach to Understanding
Computational Humour Analysis},
journal = {CoRR},
volume = {abs/2501.02891},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2501.02891},
doi = {10.48550/ARXIV.2501.02891},
eprinttype = {arXiv},
eprint = {2501.02891},
timestamp = {Tue, 18 Feb 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2501-02891.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2502-00949,
author = {Pietro Di Gianantonio and
Abbas Edalat},
title = {A domain-theoretic framework for conditional probability and Bayesian
updating in programming},
journal = {CoRR},
volume = {abs/2502.00949},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2502.00949},
doi = {10.48550/ARXIV.2502.00949},
eprinttype = {arXiv},
eprint = {2502.00949},
timestamp = {Fri, 07 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2502-00949.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/frvir/EdalatPRGN24,
author = {Abbas Edalat and
Neophytos Polydorou and
Frank Ryan and
Barnabas J. Gilbert and
Dasha Nicholls},
title = {Affectional interactions with your animated child avatar can enhance
wellbeing},
journal = {Frontiers Virtual Real.},
volume = {5},
year = {2024},
url = {https://doi.org/10.3389/frvir.2024.1424217},
doi = {10.3389/FRVIR.2024.1424217},
timestamp = {Wed, 20 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/frvir/EdalatPRGN24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GianantonioE24,
author = {Pietro Di Gianantonio and
Abbas Edalat},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {A Cartesian Closed Category for Random Variables},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {32:1--32:14},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662126},
doi = {10.1145/3661814.3662126},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/GianantonioE24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-01759,
author = {Mary Ogbuka Kenneth and
Foaad Khosmood and
Abbas Edalat},
title = {Systematic Literature Review: Computational Approaches for Humour
Style Classification},
journal = {CoRR},
volume = {abs/2402.01759},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.01759},
doi = {10.48550/ARXIV.2402.01759},
eprinttype = {arXiv},
eprint = {2402.01759},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-01759.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-11727,
author = {Pietro Di Gianantonio and
Abbas Edalat},
title = {A Cartesian Closed Category for Random Variables},
journal = {CoRR},
volume = {abs/2402.11727},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.11727},
doi = {10.48550/ARXIV.2402.11727},
eprinttype = {arXiv},
eprint = {2402.11727},
timestamp = {Mon, 26 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-11727.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-17862,
author = {Ruoyu Hu and
Foaad Khosmood and
Abbas Edalat},
title = {Exploring Description-Augmented Dataless Intent Classification},
journal = {CoRR},
volume = {abs/2407.17862},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.17862},
doi = {10.48550/ARXIV.2407.17862},
eprinttype = {arXiv},
eprint = {2407.17862},
timestamp = {Sat, 24 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-17862.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2410-12842,
author = {Mary Ogbuka Kenneth and
Foaad Khosmood and
Abbas Edalat},
title = {A Two-Model Approach for Humour Style Recognition},
journal = {CoRR},
volume = {abs/2410.12842},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2410.12842},
doi = {10.48550/ARXIV.2410.12842},
eprinttype = {arXiv},
eprint = {2410.12842},
timestamp = {Sun, 24 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2410-12842.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EdalatFL23,
author = {Abbas Edalat and
Amin Farjudian and
Yiran Li},
title = {Recursive solution of initial value problems with temporal discretization},
journal = {Theor. Comput. Sci.},
volume = {980},
pages = {114221},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.114221},
doi = {10.1016/J.TCS.2023.114221},
timestamp = {Mon, 14 Apr 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/EdalatFL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-03920,
author = {Abbas Edalat and
Amin Farjudian and
Yiran Li},
title = {Recursive Solution of Initial Value Problems with Temporal Discretization},
journal = {CoRR},
volume = {abs/2301.03920},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.03920},
doi = {10.48550/ARXIV.2301.03920},
eprinttype = {arXiv},
eprint = {2301.03920},
timestamp = {Tue, 15 Apr 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-03920.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-09362,
author = {Sina Elahimanesh and
Shayan Salehi and
Sara Zahedi Movahed and
Lisa Alazraki and
Ruoyu Hu and
Abbas Edalat},
title = {From Words and Exercises to Wellness: Farsi Chatbot for Self-Attachment
Technique},
journal = {CoRR},
volume = {abs/2310.09362},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.09362},
doi = {10.48550/ARXIV.2310.09362},
eprinttype = {arXiv},
eprint = {2310.09362},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-09362.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-13992,
author = {S{\'{e}}bastien Huot and
Abbas Edalat},
title = {Pure Bayesian Nash equilibrium for Bayesian games with multidimensional
vector Types and linear payoffs},
journal = {CoRR},
volume = {abs/2310.13992},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.13992},
doi = {10.48550/ARXIV.2310.13992},
eprinttype = {arXiv},
eprint = {2310.13992},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-13992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-18366,
author = {Alicia Jiayun Law and
Ruoyu Hu and
Lisa Alazraki and
Anandha Gopalan and
Neophytos Polydorou and
Abbas Edalat},
title = {A Multilingual Virtual Guide for Self-Attachment Technique},
journal = {CoRR},
volume = {abs/2310.18366},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.18366},
doi = {10.48550/ARXIV.2310.18366},
eprinttype = {arXiv},
eprint = {2310.18366},
timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-18366.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Edalat22,
author = {Abbas Edalat},
title = {Smooth Approximation of Lipschitz Maps and Their Subgradients},
journal = {J. {ACM}},
volume = {69},
number = {1},
pages = {8:1--8:32},
year = {2022},
url = {https://doi.org/10.1145/3481805},
doi = {10.1145/3481805},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Edalat22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogmi/LawHAGPE22,
author = {Alicia Jiayun Law and
Ruoyu Hu and
Lisa Alazraki and
Anandha Gopalan and
Neophytos Polydorou and
Abbas Edalat},
title = {A Multilingual Virtual Guide for Self-Attachment Technique},
booktitle = {4th {IEEE} International Conference on Cognitive Machine Intelligence,
CogMI 2022, Atlanta, GA, USA, December 14-17, 2022},
pages = {107--116},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CogMI56440.2022.00025},
doi = {10.1109/COGMI56440.2022.00025},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cogmi/LawHAGPE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2210-06095,
author = {Pietro Di Gianantonio and
Abbas Edalat and
Ran Gutin},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {A language for evaluating derivatives of functionals using automatic
differentiation},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {3},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.12303},
doi = {10.46298/ENTICS.12303},
timestamp = {Fri, 24 Oct 2025 17:09:37 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-06095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-08316,
author = {Lisa Alazraki and
Ali Ghachem and
Neophytos Polydorou and
Foaad Khosmood and
Abbas Edalat},
title = {An Empathetic {AI} Coach for Self-Attachment Therapy},
journal = {CoRR},
volume = {abs/2209.08316},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.08316},
doi = {10.48550/ARXIV.2209.08316},
eprinttype = {arXiv},
eprint = {2209.08316},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-08316.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/phat/PolydorouE21,
author = {Neophytos Polydorou and
Abbas Edalat},
title = {An interactive {VR} platform with emotion recognition for self-attachment
intervention},
journal = {{EAI} Endorsed Trans. Pervasive Health Technol.},
volume = {7},
number = {29},
pages = {e5},
year = {2021},
url = {https://doi.org/10.4108/eai.14-9-2021.170951},
doi = {10.4108/EAI.14-9-2021.170951},
timestamp = {Sun, 02 Nov 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/phat/PolydorouE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogmi/AlazrakiGPKE21,
author = {Lisa Alazraki and
Ali Ghachem and
Neophytos Polydorou and
Foaad Khosmood and
Abbas Edalat},
title = {An Empathetic {AI} Coach for Self-Attachment Therapy},
booktitle = {Third {IEEE} International Conference on Cognitive Machine Intelligence,
CogMI 2021, Atlanta, GA, USA, December 13-15, 2021},
pages = {78--87},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CogMI52975.2021.00019},
doi = {10.1109/COGMI52975.2021.00019},
timestamp = {Sun, 02 Nov 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cogmi/AlazrakiGPKE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogmi/GotsmanPE21,
author = {Tom Gotsman and
Neophytos Polydorou and
Abbas Edalat},
title = {Valence/Arousal Estimation of Occluded Faces from {VR} Headsets},
booktitle = {Third {IEEE} International Conference on Cognitive Machine Intelligence,
CogMI 2021, Atlanta, GA, USA, December 13-15, 2021},
pages = {96--105},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CogMI52975.2021.00021},
doi = {10.1109/COGMI52975.2021.00021},
timestamp = {Wed, 20 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cogmi/GotsmanPE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aivr/GhaznaviGNE20,
author = {Ibrahim Ghaznavi and
Duncan Gillies and
Dasha Nicholls and
Abbas Edalat},
title = {Photorealistic avatars to enhance the efficacy of Selfattachment psychotherapy},
booktitle = {{IEEE} International Conference on Artificial Intelligence and Virtual
Reality, {AIVR} 2020, Virtual Event, The Netherlands, December 14-18,
2020},
pages = {60--67},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/AIVR50618.2020.00022},
doi = {10.1109/AIVR50618.2020.00022},
timestamp = {Sun, 02 Nov 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aivr/GhaznaviGNE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/EdalatFMP20,
author = {Abbas Edalat and
Amin Farjudian and
Mina Mohammadian and
Dirk Pattinson},
editor = {Patricia Johann},
title = {Domain Theoretic Second-Order Euler's Method for Solving Initial Value
Problems},
booktitle = {Proceedings of the 36th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2020, Online, October 1, 2020},
series = {Electronic Notes in Theoretical Computer Science},
volume = {352},
pages = {105--128},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.entcs.2020.09.006},
doi = {10.1016/J.ENTCS.2020.09.006},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/EdalatFMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DavariEL19,
author = {Mohammad{-}Javad Davari and
Abbas Edalat and
Andr{\'{e}} Lieutier},
title = {The convex hull of finitely generable subsets and its predicate transformer},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--14},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785680},
doi = {10.1109/LICS.2019.8785680},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/lics/DavariEL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/games/EdalatGG18,
author = {Abbas Edalat and
Samira Hossein Ghorban and
Ali Ghoroghi},
title = {Ex Post Nash Equilibrium in Linear Bayesian Games for Decision Making
in Multi-Environments},
journal = {Games},
volume = {9},
number = {4},
pages = {85},
year = {2018},
url = {https://doi.org/10.3390/g9040085},
doi = {10.3390/G9040085},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/games/EdalatGG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/EdalatM18,
author = {Abbas Edalat and
Mehrdad Maleki},
editor = {Christel Baier and
Ugo Dal Lago},
title = {Differential Calculus with Imprecise Input and Its Logical Framework},
booktitle = {Foundations of Software Science and Computation Structures - 21st
International Conference, {FOSSACS} 2018, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2018,
Thessaloniki, Greece, April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10803},
pages = {459--475},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89366-2\_25},
doi = {10.1007/978-3-319-89366-2\_25},
timestamp = {Sun, 04 Aug 2024 19:40:23 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/EdalatM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-02806,
author = {Abbas Edalat and
Samira Hossein Ghorban},
title = {Prior Independent Equilibria and Linear Multi-dimensional Bayesian
Games},
journal = {CoRR},
volume = {abs/1804.02806},
year = {2018},
url = {http://arxiv.org/abs/1804.02806},
eprinttype = {arXiv},
eprint = {1804.02806},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-02806.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BilokonE17,
author = {Paul Bilokon and
Abbas Edalat},
title = {A domain-theoretic approach to Brownian motion and general continuous
stochastic processes},
journal = {Theor. Comput. Sci.},
volume = {691},
pages = {10--26},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2017.07.016},
doi = {10.1016/J.TCS.2017.07.016},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BilokonE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EdalatM17,
author = {Abbas Edalat and
Mehrdad Maleki},
title = {Differentiation in logical form},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005143},
doi = {10.1109/LICS.2017.8005143},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/EdalatM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Edalat15,
author = {Abbas Edalat},
title = {A derivative for complex Lipschitz maps with generalised Cauchy-Riemann
equations},
journal = {Theor. Comput. Sci.},
volume = {564},
pages = {89--106},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2014.11.003},
doi = {10.1016/J.TCS.2014.11.003},
timestamp = {Tue, 04 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Edalat15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CitternE15,
author = {David Cittern and
Abbas Edalat},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {Reinforcement Learning for Nash Equilibrium Generation},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {1727--1728},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2773406},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/CitternE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/CitternE15,
author = {David Cittern and
Abbas Edalat},
title = {Towards a neural model of bonding in self-attachment},
booktitle = {2015 International Joint Conference on Neural Networks, {IJCNN} 2015,
Killarney, Ireland, July 12-17, 2015},
pages = {1--8},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/IJCNN.2015.7280548},
doi = {10.1109/IJCNN.2015.7280548},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/CitternE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/Edalat15,
author = {Abbas Edalat},
title = {Introduction to self-attachment and its neural basis},
booktitle = {2015 International Joint Conference on Neural Networks, {IJCNN} 2015,
Killarney, Ireland, July 12-17, 2015},
pages = {1--8},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/IJCNN.2015.7280780},
doi = {10.1109/IJCNN.2015.7280780},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/Edalat15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Edalat15,
author = {Abbas Edalat},
title = {Extensions of Domain Maps in Differential and Integral Calculus},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {426--437},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.47},
doi = {10.1109/LICS.2015.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Edalat15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BilokonE14,
author = {Paul Bilokon and
Abbas Edalat},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {A domain-theoretic approach to Brownian motion and general continuous
stochastic processes},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} 2014, Vienna, Austria,
July 14 - 18, 2014},
pages = {15:1--15:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603102},
doi = {10.1145/2603088.2603102},
timestamp = {Fri, 21 Nov 2025 14:06:54 +0100},
biburl = {https://dblp.org/rec/conf/csl/BilokonE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/EdalatL14,
author = {Abbas Edalat and
Zheng Lin},
title = {A neural model of mentalization/mindfulness based psychotherapy},
booktitle = {2014 International Joint Conference on Neural Networks, {IJCNN} 2014,
Beijing, China, July 6-11, 2014},
pages = {2743--2751},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/IJCNN.2014.6889896},
doi = {10.1109/IJCNN.2014.6889896},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/EdalatL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/EdalatLP13,
author = {Abbas Edalat and
Andr{\'{e}} Lieutier and
Dirk Pattinson},
title = {A computational model for multi-variable differential calculus},
journal = {Inf. Comput.},
volume = {224},
pages = {23--45},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2012.11.006},
doi = {10.1016/J.IC.2012.11.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/EdalatLP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GianantonioE13,
author = {Pietro Di Gianantonio and
Abbas Edalat},
editor = {Frank Pfenning},
title = {A Language for Differentiable Functions},
booktitle = {Foundations of Software Science and Computation Structures - 16th
International Conference, {FOSSACS} 2013, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2013,
Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7794},
pages = {337--352},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37075-5\_22},
doi = {10.1007/978-3-642-37075-5\_22},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/GianantonioE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/EdalatM13,
author = {Abbas Edalat and
Federico Mancinelli},
title = {Strong attractors of Hopfield neural networks to model attachment
types and behavioural patterns},
booktitle = {The 2013 International Joint Conference on Neural Networks, {IJCNN}
2013, Dallas, TX, USA, August 4-9, 2013},
pages = {1--10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IJCNN.2013.6706924},
doi = {10.1109/IJCNN.2013.6706924},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/EdalatM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/Edalat13,
author = {Abbas Edalat},
editor = {Christopher J. C. Burges and
L{\'{e}}on Bottou and
Zoubin Ghahramani and
Kilian Q. Weinberger},
title = {Capacity of strong attractor patterns to model behavioural and cognitive
prototypes},
booktitle = {Advances in Neural Information Processing Systems 26: 27th Annual
Conference on Neural Information Processing Systems 2013. Proceedings
of a meeting held December 5-8, 2013, Lake Tahoe, Nevada, United States},
pages = {2661--2669},
year = {2013},
url = {https://proceedings.neurips.cc/paper/2013/hash/39e4973ba3321b80f37d9b55f63ed8b8-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/Edalat13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-4973,
author = {Abbas Edalat and
Ali Ghoroghi and
Georgios Sakellariou},
title = {Multi-games and a double game extension of the Prisoner's Dilemma},
journal = {CoRR},
volume = {abs/1205.4973},
year = {2012},
url = {http://arxiv.org/abs/1205.4973},
eprinttype = {arXiv},
eprint = {1205.4973},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-4973.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/3dim/HeE11,
author = {Peng He and
Abbas Edalat},
editor = {Michael Goesele and
Yasuyuki Matsushita and
Ryusuke Sagawa and
Ruigang Yang},
title = {Visual Hull from Imprecise Polyhedral Scene},
booktitle = {International Conference on 3D Imaging, Modeling, Processing, Visualization
and Transmission, 3DIMPVT 2011, Hangzhou, China, 16-19 May 2011},
pages = {164--171},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/3DIMPVT.2011.28},
doi = {10.1109/3DIMPVT.2011.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/3dim/HeE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Edalat09,
author = {Abbas Edalat},
title = {A computable approach to measure and integration theory},
journal = {Inf. Comput.},
volume = {207},
number = {5},
pages = {642--659},
year = {2009},
url = {https://doi.org/10.1016/j.ic.2008.05.003},
doi = {10.1016/J.IC.2008.05.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Edalat09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Edalat08,
author = {Abbas Edalat},
title = {Weak Topology and a Differentiable Operator for Lipschitz Maps},
booktitle = {Proceedings of the Twenty-Third Annual {IEEE} Symposium on Logic in
Computer Science, {LICS} 2008, 24-27 June 2008, Pittsburgh, PA, {USA}},
pages = {364--375},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/LICS.2008.49},
doi = {10.1109/LICS.2008.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Edalat08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/EdalatP07,
author = {Abbas Edalat and
Dirk Pattinson},
title = {Denotational semantics of hybrid automata},
journal = {J. Log. Algebraic Methods Program.},
volume = {73},
number = {1-2},
pages = {3--21},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2007.01.002},
doi = {10.1016/J.JLAP.2007.01.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/EdalatP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmsjcm/EdalatP07,
author = {Abbas Edalat and
Dirk Pattinson},
title = {A Domain-Theoretic Account of Picard's Theorem},
journal = {{LMS} J. Comput. Math.},
volume = {10},
pages = {83--118},
year = {2007},
url = {https://doi.org/10.1112/s1461157000001315},
doi = {10.1112/S1461157000001315},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmsjcm/EdalatP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Edalat07,
author = {Abbas Edalat},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Andrea Sorbi},
title = {A Continuous Derivative for Real-Valued Functions},
booktitle = {Computation and Logic in the Real World, Third Conference on Computability
in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4497},
pages = {248--257},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73001-9\_26},
doi = {10.1007/978-3-540-73001-9\_26},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Edalat07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Edalat07,
author = {Abbas Edalat},
title = {A computable approach to measure and integration theory},
booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007),
10-12 July 2007, Wroclaw, Poland, Proceedings},
pages = {463--472},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/LICS.2007.5},
doi = {10.1109/LICS.2007.5},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Edalat07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/EdalatP06,
author = {Abbas Edalat and
Dirk Pattinson},
editor = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Denotational Semantics of Hybrid Automata},
booktitle = {Foundations of Software Science and Computation Structures, 9th International
Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 25-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3921},
pages = {231--245},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11690634\_16},
doi = {10.1007/11690634\_16},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/EdalatP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/EdalatKL05,
author = {Abbas Edalat and
Ali Asghar Khanban and
Andr{\'{e}} Lieutier},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Leen Torenvliet},
title = {Computability in Computational Geometry},
booktitle = {New Computational Paradigms, First Conference on Computability in
Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3526},
pages = {117--127},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494645\_15},
doi = {10.1007/11494645\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/EdalatKL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/EdalatLP05,
author = {Abbas Edalat and
Andr{\'{e}} Lieutier and
Dirk Pattinson},
editor = {Vladimiro Sassone},
title = {A Computational Model for Multi-variable Differential Calculus},
booktitle = {Foundations of Software Science and Computational Structures, 8th
International Conference, {FOSSACS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3441},
pages = {505--519},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31982-5\_32},
doi = {10.1007/978-3-540-31982-5\_32},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/EdalatLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EdalatP05,
author = {Abbas Edalat and
Dirk Pattinson},
title = {Inverse and Implicit Functions in Domain Theory},
booktitle = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
26-29 June 2005, Chicago, IL, USA, Proceedings},
pages = {417--426},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/LICS.2005.22},
doi = {10.1109/LICS.2005.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/EdalatP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EdalatP06,
author = {Abbas Edalat and
Dirk Pattinson},
editor = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and
Achim Jung and
Michael W. Mislove},
title = {Domain Theoretic Solutions of Initial Value Problems for Unbounded
Vector Fields},
booktitle = {Proceedings of the 21st Annual Conference on Mathematical Foundations
of Programming Semantics, {MFPS} 2005, Birmingham, UK, May 18-21,
2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {155},
pages = {565--581},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.073},
doi = {10.1016/J.ENTCS.2005.11.073},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EdalatP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/EdalatJ04,
author = {Abbas Edalat and
Achim Jung},
title = {Introduction to special issue on domain theory},
journal = {Math. Struct. Comput. Sci.},
volume = {14},
number = {6},
pages = {769},
year = {2004},
url = {https://doi.org/10.1017/S0960129504004347},
doi = {10.1017/S0960129504004347},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/EdalatJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/EdalatL04,
author = {Abbas Edalat and
Andr{\'{e}} Lieutier},
title = {Domain theory and differential calculus (functions of one variable)},
journal = {Math. Struct. Comput. Sci.},
volume = {14},
number = {6},
pages = {771--802},
year = {2004},
url = {https://doi.org/10.1017/S0960129504004359},
doi = {10.1017/S0960129504004359},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/EdalatL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EdalatP04,
author = {Abbas Edalat and
Dirk Pattinson},
editor = {Josep D{\'{\i}}az and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Donald Sannella},
title = {A Domain Theoretic Account of Picard's Theorem},
booktitle = {Automata, Languages and Programming: 31st International Colloquium,
{ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3142},
pages = {494--505},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27836-8\_43},
doi = {10.1007/978-3-540-27836-8\_43},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EdalatP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/para/EdalatP04,
author = {Abbas Edalat and
Dirk Pattinson},
editor = {Jack J. Dongarra and
Kaj Madsen and
Jerzy Wasniewski},
title = {A Domain Theoretic Account of Euler's Method for Solving Initial Value
Problems},
booktitle = {Applied Parallel Computing, State of the Art in Scientific Computing,
7th International Workshop, {PARA} 2004, Lyngby, Denmark, June 20-23,
2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3732},
pages = {112--121},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11558958\_13},
doi = {10.1007/11558958\_13},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/para/EdalatP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cccg/KhanbanE03,
author = {Ali Asghar Khanban and
Abbas Edalat},
title = {Computing Delaunay Triangulation with Imprecise Input Data},
booktitle = {Proceedings of the 15th Canadian Conference on Computational Geometry,
CCCG'03, Halifax, Canada, August 11-13, 2003},
pages = {94--97},
year = {2003},
url = {http://www.cccg.ca/proceedings/2003/38.pdf},
timestamp = {Wed, 12 May 2021 14:19:37 +0200},
biburl = {https://dblp.org/rec/conf/cccg/KhanbanE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/EdalatKL03,
author = {Abbas Edalat and
Marko Krznaric and
Andr{\'{e}} Lieutier},
editor = {Stephen D. Brookes and
Prakash Panangaden},
title = {Domain-theoretic Solution of Differential Equations (Scalar Fields)},
booktitle = {Proceedings of 19th Conference on the Mathematical Foundations of
Programming Semantics, {MFPS} 2003, Universit{\'{e}} de Montr{\'{e}}al,
QC, Canada, March 19-22, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {83},
pages = {99--112},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(03)50005-6},
doi = {10.1016/S1571-0661(03)50005-6},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/EdalatKL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DesharnaisEP02,
author = {Jos{\'{e}}e Desharnais and
Abbas Edalat and
Prakash Panangaden},
title = {Bisimulation for Labelled Markov Processes},
journal = {Inf. Comput.},
volume = {179},
number = {2},
pages = {163--193},
year = {2002},
url = {https://doi.org/10.1006/inco.2001.2962},
doi = {10.1006/INCO.2001.2962},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DesharnaisEP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EdalatL02,
author = {Abbas Edalat and
Andr{\'{e}} Lieutier},
title = {Foundation of a computable solid modelling},
journal = {Theor. Comput. Sci.},
volume = {284},
number = {2},
pages = {319--345},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00091-3},
doi = {10.1016/S0304-3975(01)00091-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EdalatL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EdalatL02,
author = {Abbas Edalat and
Andr{\'{e}} Lieutier},
title = {Domain Theory and Differential Calculus (Functions of one Variable)},
booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
22-25 July 2002, Copenhagen, Denmark, Proceedings},
pages = {277--286},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/LICS.2002.1029836},
doi = {10.1109/LICS.2002.1029836},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/EdalatL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KhanbanEL02,
author = {Ali Asghar Khanban and
Abbas Edalat and
Andr{\'{e}} Lieutier},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Computability of Partial Delaunay Triangulation and Voronoi Diagram},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {91--103},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80381-5},
doi = {10.1016/S1571-0661(04)80381-5},
timestamp = {Tue, 06 Dec 2022 09:35:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KhanbanEL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cccg/EdalatLK01,
author = {Abbas Edalat and
Andr{\'{e}} Lieutier and
Elham Kashefi},
title = {The convex hull in a new model of computation},
booktitle = {Proceedings of the 13th Canadian Conference on Computational Geometry,
University of Waterloo, Ontario, Canada, August 13-15, 2001},
pages = {93--96},
year = {2001},
url = {http://www.cccg.ca/proceedings/2001/andre\_lieutier-74799.ps.gz},
timestamp = {Wed, 12 May 2021 14:19:37 +0200},
biburl = {https://dblp.org/rec/conf/cccg/EdalatLK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/EdalatE00,
author = {Abbas Edalat and
Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}}},
title = {Integration in Real {PCF}},
journal = {Inf. Comput.},
volume = {160},
number = {1-2},
pages = {128--166},
year = {2000},
url = {https://doi.org/10.1006/inco.1999.2844},
doi = {10.1006/INCO.1999.2844},
timestamp = {Tue, 01 Apr 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/EdalatE00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/EdalatH00,
author = {Abbas Edalat and
Reinhold Heckmann},
editor = {Gilles Barthe and
Peter Dybjer and
Lu{\'{\i}}s Pinto and
Jo{\~{a}}o Saraiva},
title = {Computing with Real Numbers},
booktitle = {Applied Semantics, International Summer School, {APPSEM} 2000, Caminha,
Portugal, September 9-15, 2000, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2395},
pages = {193--267},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45699-6\_5},
doi = {10.1007/3-540-45699-6\_5},
timestamp = {Fri, 17 Jul 2020 11:39:04 +0200},
biburl = {https://dblp.org/rec/conf/ac/EdalatH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Edalat00,
author = {Abbas Edalat},
editor = {Ted Hurley and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Michel P. Schellekens and
Anthony Karel Seda},
title = {The domain of differentiable functions},
booktitle = {First Irish Conference on the Mathematical Foundations of Computer
Science and Information Technology, {MFCSIT} 2000, Cork, Ireland,
July 20-21, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {40},
pages = {144},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80040-4},
doi = {10.1016/S1571-0661(05)80040-4},
timestamp = {Wed, 30 Nov 2022 10:58:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Edalat00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Edalat99,
author = {Abbas Edalat},
title = {Semi-pullbacks and bisimulation in categories of Markov processes},
journal = {Math. Struct. Comput. Sci.},
volume = {9},
number = {5},
pages = {523--543},
year = {1999},
url = {http://journals.cambridge.org/action/displayAbstract?aid=44831},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Edalat99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EdalatS99,
author = {Abbas Edalat and
Philipp S{\"{u}}nderhauf},
title = {A Domain-Theoretic Approach to Computability on the Real Line},
journal = {Theor. Comput. Sci.},
volume = {210},
number = {1},
pages = {73--98},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00097-8},
doi = {10.1016/S0304-3975(98)00097-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EdalatS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EdalatS99a,
author = {Abbas Edalat and
Philipp S{\"{u}}nderhauf},
title = {Computable Banach Spaces via Domain Theory},
journal = {Theor. Comput. Sci.},
volume = {219},
number = {1-2},
pages = {169--184},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00288-6},
doi = {10.1016/S0304-3975(98)00288-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EdalatS99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EdalatK99,
author = {Abbas Edalat and
Marko Krznaric},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Numerical Integration with Exact Real Arithmetic},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {90--104},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_7},
doi = {10.1007/3-540-48523-6\_7},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EdalatK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sma/EdalatL99,
author = {Abbas Edalat and
Andr{\'{e}} Lieutier},
editor = {Deba Dutta and
Willem F. Bronsvoort and
David C. Anderson},
title = {Foundation of a computable solid modeling},
booktitle = {Fifth {ACM} Symposium on Solid Modeling and Applications, Ann Arbor,
Michigan, USA, June 9-11, 1999},
pages = {278--284},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/304012.304040},
doi = {10.1145/304012.304040},
timestamp = {Tue, 06 Nov 2018 11:07:49 +0100},
biburl = {https://dblp.org/rec/conf/sma/EdalatL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/realcomp/1998,
editor = {Abbas Edalat and
David W. Matula and
Philipp S{\"{u}}nderhauf},
title = {Workshop on Real Number Computation, RealComp 1998, Indianapolis,
Indiana, USA, June 19-20, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {24},
publisher = {Elsevier},
year = {1999},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/24/suppl/C},
timestamp = {Wed, 23 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/realcomp/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EdalatH98,
author = {Abbas Edalat and
Reinhold Heckmann},
title = {A Computational Model for Metric Spaces},
journal = {Theor. Comput. Sci.},
volume = {193},
number = {1-2},
pages = {53--73},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(96)00243-5},
doi = {10.1016/S0304-3975(96)00243-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EdalatH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/EdalatPS98,
author = {Abbas Edalat and
Peter John Potts and
Philipp S{\"{u}}nderhauf},
editor = {Matthias Felleisen and
Paul Hudak and
Christian Queinnec},
title = {Lazy Computation with Exact Real Numbers},
booktitle = {Proceedings of the third {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA,
September 27-29, 1998},
pages = {185--194},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/289423.289441},
doi = {10.1145/289423.289441},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/EdalatPS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DesharnaisEP98,
author = {Jos{\'{e}}e Desharnais and
Abbas Edalat and
Prakash Panangaden},
title = {A Logical Characterization of Bisimulation for Labeled Markov Processes},
booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
Indiana, USA, June 21-24, 1998},
pages = {478--487},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/LICS.1998.705681},
doi = {10.1109/LICS.1998.705681},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DesharnaisEP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EdalatMS99,
author = {Abbas Edalat and
David W. Matula and
Philipp S{\"{u}}nderhauf},
editor = {Abbas Edalat and
David W. Matula and
Philipp S{\"{u}}nderhauf},
title = {Preface},
booktitle = {Workshop on Real Number Computation, RealComp 1998, Indianapolis,
Indiana, USA, June 19-20, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {24},
pages = {1},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80618-8},
doi = {10.1016/S1571-0661(05)80618-8},
timestamp = {Wed, 23 Nov 2022 16:03:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EdalatMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Edalat97,
author = {Abbas Edalat},
title = {Domains for computation in mathematics, physics and exact real arithmetic},
journal = {Bull. Symb. Log.},
volume = {3},
number = {4},
pages = {401--452},
year = {1997},
url = {https://doi.org/10.2307/421098},
doi = {10.2307/421098},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Edalat97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/EdalatSW97,
author = {Abbas Edalat and
David W. N. Sharp and
Lyndon While},
title = {Bounding the Attractor of an {IFS}},
journal = {Inf. Process. Lett.},
volume = {64},
number = {4},
pages = {197--202},
year = {1997},
url = {https://doi.org/10.1016/S0020-0190(97)00156-7},
doi = {10.1016/S0020-0190(97)00156-7},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/EdalatSW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Edalat97,
author = {Abbas Edalat},
title = {When Scott is Weak on the Top},
journal = {Math. Struct. Comput. Sci.},
volume = {7},
number = {5},
pages = {401--417},
year = {1997},
url = {https://doi.org/10.1017/S0960129597002338},
doi = {10.1017/S0960129597002338},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Edalat97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BluteDEP97,
author = {Richard Blute and
Jos{\'{e}}e Desharnais and
Abbas Edalat and
Prakash Panangaden},
title = {Bisimulation for Labelled Markov Processes},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
Warsaw, Poland, June 29 - July 2, 1997},
pages = {149--158},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/LICS.1997.614943},
doi = {10.1109/LICS.1997.614943},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BluteDEP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PottsEE97,
author = {Peter John Potts and
Abbas Edalat and
Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}}},
title = {Semantics of Exact Real Arithmetic},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
Warsaw, Poland, June 29 - July 2, 1997},
pages = {248--257},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/LICS.1997.614952},
doi = {10.1109/LICS.1997.614952},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PottsEE97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EdalatJKK98,
author = {Abbas Edalat and
Achim Jung and
Klaus Keimel and
Marta Z. Kwiatkowska},
editor = {Abbas Edalat and
Achim Jung and
Klaus Keimel and
Marta Z. Kwiatkowska},
title = {Preface},
booktitle = {Third Workshop on Computation and Approximation, {COMPROX} 1997, Birmingham,
UK, September 11-13, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {13},
pages = {1},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80209-9},
doi = {10.1016/S1571-0661(05)80209-9},
timestamp = {Wed, 25 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EdalatJKK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Alvarez-ManillaES98,
author = {Maurizio Alvarez{-}Manilla and
Abbas Edalat and
Nasser Saheb{-}Djahromi},
editor = {Abbas Edalat and
Achim Jung and
Klaus Keimel and
Marta Z. Kwiatkowska},
title = {An extension result for continuous valuations},
booktitle = {Third Workshop on Computation and Approximation, {COMPROX} 1997, Birmingham,
UK, September 11-13, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {13},
pages = {2--11},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80210-5},
doi = {10.1016/S1571-0661(05)80210-5},
timestamp = {Sat, 02 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Alvarez-ManillaES98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EdalatP98,
author = {Abbas Edalat and
Joseph Parry},
editor = {Abbas Edalat and
Achim Jung and
Klaus Keimel and
Marta Z. Kwiatkowska},
title = {An Algorithm to Estimate the Hausdorff Dimension of Self-Affine Sets},
booktitle = {Third Workshop on Computation and Approximation, {COMPROX} 1997, Birmingham,
UK, September 11-13, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {13},
pages = {31--40},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80212-9},
doi = {10.1016/S1571-0661(05)80212-9},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EdalatP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EdalatP97,
author = {Abbas Edalat and
Peter John Potts},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {A new representation for exact real numbers},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {119--132},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80166-5},
doi = {10.1016/S1571-0661(05)80166-5},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EdalatP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/comprox/1997,
editor = {Abbas Edalat and
Achim Jung and
Klaus Keimel and
Marta Z. Kwiatkowska},
title = {Third Workshop on Computation and Approximation, {COMPROX} 1997, Birmingham,
UK, September 11-13, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {13},
publisher = {Elsevier},
year = {1997},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/13/suppl/C},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comprox/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Edalat96,
author = {Abbas Edalat},
title = {Power Domains and Iterated Function Systems},
journal = {Inf. Comput.},
volume = {124},
number = {2},
pages = {182--197},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0014},
doi = {10.1006/INCO.1996.0014},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Edalat96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Edalat96,
author = {Abbas Edalat},
title = {The Scott Topology Induces the Weak Topology},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {372--381},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561450},
doi = {10.1109/LICS.1996.561450},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Edalat96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EdalatE96,
author = {Abbas Edalat and
Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}}},
title = {Integration in Real {PCF}},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {382--393},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561453},
doi = {10.1109/LICS.1996.561453},
timestamp = {Tue, 01 Apr 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/EdalatE96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Edalat95,
author = {Abbas Edalat},
title = {Dynamical Systems, Measures and Fractals via Domain Theory},
journal = {Inf. Comput.},
volume = {120},
number = {1},
pages = {32--48},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1096},
doi = {10.1006/INCO.1995.1096},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Edalat95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Edalat95,
author = {Abbas Edalat},
title = {Domain Theory and Integration},
journal = {Theor. Comput. Sci.},
volume = {151},
number = {1},
pages = {163--193},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(95)00050-7},
doi = {10.1016/0304-3975(95)00050-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Edalat95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/EdalatSW95,
author = {Abbas Edalat and
David W. N. Sharp and
Ronald Lyndon While},
title = {An upper bound on the area occupied by a fractal},
booktitle = {1995 International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '95, Detroit, Michigan, USA, May 08-12, 1995},
pages = {2443--2446},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICASSP.1995.479987},
doi = {10.1109/ICASSP.1995.479987},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/EdalatSW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Edalat95,
author = {Abbas Edalat},
title = {Domain Theory in Stochastic Processes},
booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
San Diego, California, USA, June 26-29, 1995},
pages = {244--254},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/LICS.1995.523260},
doi = {10.1109/LICS.1995.523260},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Edalat95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Edalat95,
author = {Abbas Edalat},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove},
title = {Domain theory in learning processes},
booktitle = {Eleventh Annual Conference on Mathematical Foundations of Programming
Semantics, {MFPS} 1995, Tulane University, New Orleans, LA, USA, March
29 - April 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {1},
pages = {114--131},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(04)80007-0},
doi = {10.1016/S1571-0661(04)80007-0},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Edalat95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imperial/Edalat94,
author = {Abbas Edalat},
editor = {Chris Hankin and
Ian Mackie and
Rajagopal Nagarajan},
title = {Domain of Computation of a Random Field in Statistical Physics},
booktitle = {Proceedings for the Second Imperial College Department of Computing
Workshop on Theory and Formal Methods, M{\o}ller Centre, Cambridge,
UK, 11-14 September 1994},
pages = {411--430},
publisher = {Imperial College Press},
year = {1994},
timestamp = {Wed, 20 Jun 2018 17:55:12 +0200},
biburl = {https://dblp.org/rec/conf/imperial/Edalat94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Edalat94,
author = {Abbas Edalat},
title = {Domain Theory and Integration},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {115--124},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316080},
doi = {10.1109/LICS.1994.316080},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Edalat94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/EdalatS93,
author = {Abbas Edalat and
Michael B. Smyth},
title = {Information categories},
journal = {Appl. Categorical Struct.},
volume = {1},
number = {2},
pages = {197--232},
year = {1993},
url = {https://doi.org/10.1007/BF00880044},
doi = {10.1007/BF00880044},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/EdalatS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EdalatS93,
author = {Abbas Edalat and
Michael B. Smyth},
title = {I-Categories as a Framework for Solving Domain Equations},
journal = {Theor. Comput. Sci.},
volume = {115},
number = {1},
pages = {77--106},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90056-Y},
doi = {10.1016/0304-3975(93)90056-Y},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EdalatS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imperial/Edalat93,
author = {Abbas Edalat},
editor = {Geoffrey Livingston Burn and
Simon J. Gay and
Mark Ryan},
title = {Dynamical Systems, Measures and Fractals Via Domain Theory},
booktitle = {Theory and Formal Methods 1993, Proceedings of the First Imperial
College Department of Computing Workshop on Theory and Formal Methods,
Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31
March 1993},
series = {Workshops in Computing},
pages = {82--99},
publisher = {Springer},
year = {1993},
timestamp = {Mon, 31 Oct 2022 11:04:42 +0100},
biburl = {https://dblp.org/rec/conf/imperial/Edalat93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imperial/Edalat93a,
author = {Abbas Edalat},
editor = {Geoffrey Livingston Burn and
Simon J. Gay and
Mark Ryan},
title = {Self-Duality, Minimal Invariant Objects and Karoubi Invariance in
Information Categories},
booktitle = {Theory and Formal Methods 1993, Proceedings of the First Imperial
College Department of Computing Workshop on Theory and Formal Methods,
Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31
March 1993},
series = {Workshops in Computing},
pages = {100--114},
publisher = {Springer},
year = {1993},
timestamp = {Tue, 25 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/imperial/Edalat93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Edalat92,
author = {Abbas Edalat},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Continuous I-Categories},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {127--138},
publisher = {Springer},
year = {1992},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Edalat92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/EdalatS92,
author = {Abbas Edalat and
Michael B. Smyth},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Compact Metric Information Systems (Extended Abstract)},
booktitle = {Sematics: Foundations and Applications, {REX} Workshop, Beekbergen,
The Netherlands, June 1-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {666},
pages = {154--173},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56596-5\_33},
doi = {10.1007/3-540-56596-5\_33},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/EdalatS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/EdalatS91,
author = {Abbas Edalat and
Michael B. Smyth},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Categories of Information Systems},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {37--52},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013456},
doi = {10.1007/BFB0013456},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/EdalatS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2026-06-09 22:52 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
