Computer Science Department

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

Research groups

• Parallel Computing (alpha)

• Calcolo parallelo (alpha)

Activities in agenda

See my calendar

Academic bodies

• Consiglio di Dipartimento

• Commissione Erasmus e Internazionalizzazione