المؤلفون: Saadat, Maryam Ghaffari, Ferrando, Angelo, Dennis, Louise A., Fisher, Michael

المصدر: EPTCS 411, 2024, pp. 38-55

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Robotics

URL الوصول: http://arxiv.org/abs/2411.14367

المؤلفون: Saadat, Maryam Ghaffari

مصطلحات موضوعية: Category Theory, Application, Complex Systems Analysis, Computer Science, Computing and Mathematical Sciences, thesis

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.859172

المؤلفون: Corradini, Andrea, Saadat, Maryam Ghaffari, Heckel, Reiko

المصدر: EPTCS 330, 2020, pp. 88-107

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Parallelism and concurrency

URL الوصول: http://arxiv.org/abs/2012.02192

المؤلفون: Behr, Nicolas, Heckel, Reiko, Saadat, Maryam Ghaffari

المصدر: EPTCS 330, 2020, pp. 126-144

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2003.11010

المؤلفون: Heckel, Reiko, Lambers, Leen, Saadat, Maryam Ghaffari

المصدر: EPTCS 309, 2019, pp. 1-22

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Logic in Computer Science, F.4.2

URL الوصول: http://arxiv.org/abs/1912.09607