Selected research products
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows
2024-01-01 Iacopo Colonnelli , Doriana Medić, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci https://iris.unito.it/handle/2318/1989870
A Systematic Mapping Study of Italian Research on Workflows
2023-01-01 Aldinucci M.; Baralis E.M.; Cardellini V.; Colonnelli I.; Danelutto M.; Decherchi S.; Di Modica G.; Ferrucci L.; Gribaudo M.; Iannone F.; Lapegna M.; Medic D.; Muscianisi G.; Righetti F.; Sciacca E.; Tonellotto N.; Tortonesi M.; Trunfio P.; Vardanega T. https://iris.unito.it/handle/2318/1946975
Federated Learning meets HPC and cloud
2023-01-01 Iacopo Colonnelli, Bruno Casella, Gianluca Mittone, Yasir Arfat, Barbara https://iris.unito.it/handle/2318/1881080
Towards formal model for location aware workflows
2023-01-01 Doriana Medic; Marco Aldinucci https://iris.unito.it/handle/2318/1919170
Experimenting with Emerging RISC-V Systems for Decentralised Machine Learning
2023-01-01 Gianluca Mittone , Nicolò Tonci , Robert Birke , Iacopo Colonnelli , Doriana Medic , Andrea Bartolini , Roberto Esposito , Emanuele Parisi , Francesco Beneventi , Mirko Polato , Massimo Torquati , Luca Benini , Marco Aldinucci https://iris.unito.it/handle/2318/1898473
Explicit Identifiers and Contexts in Reversible Concurrent Calculus
2021-01-01 Aubert C.; Medic D. https://iris.unito.it/handle/2318/1891816
A General Approach to Derive Uncontrolled Reversible Semantics
2020-01-01 Ivan Lanese; Doriana Medic https://iris.unito.it/handle/2318/1891812
Towards a Formal Account for Software Transactional Memory
2020-01-01 Medic D.; Mezzina C.A.; Phillips I.; Yoshida N. https://iris.unito.it/handle/2318/1891820
A parametric framework for reversible π-calculi
2020-01-01 Doriana Medic; Claudio Antares Mezzina; Iain Phillips; Nobuko Yoshida https://iris.unito.it/handle/2318/1891808
Static versus dynamic reversibility in CCS
2019-01-01 Ivan Lanese; Doriana Medic; Claudio Antares Mezzina https://iris.unito.it/handle/2318/1891802
A Parametric Framework for Reversible pi-Calculi
2018-01-01 Medic, D; Mezzina, CA; Phillips, L; Yoshida, N https://iris.unito.it/handle/2318/1891839
Courses
- Informatica (MAT0375)
Matematica per l'Economia, la Finanza e l'Assicurazione
Activities in agenda
Academic bodies