2021 IEEE Third International Conference on Cognitive Machine Intelligence (CogMI)| 978-1-6654-1621-4/21/$31.00© 2021 IEEE| DOI: 10.1109/COGMI52975. 2021.00043 M Abdelaziz, L Abdeljaber, T Abdelzaher, A Afshar, M Aggarwal, ... | | |
2022 IEEE 4th International Conference on Cognitive Machine Intelligence (CogMI)| 978-1-6654-7406-1/22/$31.00© 2022 IEEE| DOI: 10.1109/CogMI56440. 2022.00031 G Alavidze, L Alazraki, B Allogmany, R Baeza-Yates, WI Baskett, ... | | |
6th Workshop on Logic, Language, Information and Computation (WoLLIC’99) G Bellin, W Carnielli, A Edalat, R van Glabbeek, J Groenendijk, R Kossak, ... Subscription Information, 555, 0 | | |
A Cartesian Closed Category for Random Variables P Di Gianantonio, A Edalat arXiv preprint arXiv:2402.11727, 2024 | | 2024 |
A computable approach to measure and integration theory A Edalat Information and Computation 207 (5), 642-659, 2009 | 34 | 2009 |
A computational model for metric spaces A Edalat, R Heckmann Theoretical computer science 193 (1-2), 53-73, 1998 | 244 | 1998 |
A computational model for multi-variable differential calculus A Edalat, A Lieutier, D Pattinson Information and Computation 224, 23-45, 2013 | 11 | 2013 |
A computational model for multi-variable differential calculus A Edalat, A Lieutier, D Pattinson Foundations of Software Science and Computational Structures: 8th …, 2005 | 15 | 2005 |
A continuous derivative for real-valued functions A Edalat Computation and Logic in the Real World: Third Conference on Computability …, 2007 | 26 | 2007 |
A derivative for complex Lipschitz maps with generalised Cauchy–Riemann equations A Edalat Theoretical Computer Science 564, 89-106, 2015 | 7 | 2015 |
A differential operator and weak topology for Lipschitz maps A Edalat Topology and its Applications 157 (9), 1629-1650, 2010 | 8 | 2010 |
A domain theoretic account of Euler’s method for solving initial value problems A Edalat, D Pattinson International Workshop on Applied Parallel Computing, 112-121, 2004 | 15 | 2004 |
A domain theoretic account of Picard’s theorem A Edalat, D Pattinson International Colloquium on Automata, Languages, and Programming, 494-505, 2004 | 32 | 2004 |
A domain-theoretic account of Picard's theorem A Edalat, D Pattinson LMS Journal of Computation and Mathematics 10, 83-118, 2007 | 25 | 2007 |
A domain-theoretic approach to Brownian motion and general continuous stochastic processes P Bilokon, A Edalat Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014 | 11 | 2014 |
A domain-theoretic approach to computability on the real line A Edalat, P Sünderhauf Theoretical Computer Science 210 (1), 73-98, 1999 | 92 | 1999 |
A language for differentiable functions P Di Gianantonio, A Edalat International Conference on Foundations of Software Science and …, 2013 | 26 | 2013 |
A language for evaluating derivatives of functionals using automatic differentiation P Di Gianantonio, A Edalat, R Gutin Electronic Notes in Theoretical Informatics and Computer Science 3, 2023 | 2 | 2023 |
A logical characterization of bisimulation for labeled Markov processes A Edalat, J Desharnais, P Panangaden Proceedings, thirteenth Annual IEEE Symposium on Logic In Computer Science, 1998 | 2 | 1998 |
A logical characterization of bisimulation for labeled Markov processes J Desharnais, A Edalat, P Panangaden Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998 | 120 | 1998 |