MEDIC, Doriana
MEDIC, Doriana
INFORMATICA
A General Approach to Derive Uncontrolled Reversible Semantics
2020-01-01 Ivan Lanese; Doriana Medic
A Parametric Framework for Reversible pi-Calculi
2018-01-01 Medic, D; Mezzina, CA; Phillips, L; Yoshida, N
A parametric framework for reversible π-calculi
2020-01-01 Doriana Medic; Claudio Antares Mezzina; Iain Phillips; Nobuko Yoshida
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.
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
Explicit Identifiers and Contexts in Reversible Concurrent Calculus
2021-01-01 Aubert C.; Medic D.
Federated Learning meets HPC and cloud
2023-01-01 Iacopo Colonnelli, Bruno Casella, Gianluca Mittone, Yasir Arfat, Barbara Cantalupo, Roberto Esposito, Alberto Riccardo Martinelli, Doriana Medic, Marco Aldinucci
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows
2024-01-01 Iacopo Colonnelli , Doriana Medić, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci
Static versus dynamic reversibility in CCS
2019-01-01 Ivan Lanese; Doriana Medic; Claudio Antares Mezzina
Static VS dynamic reversibility in CCS
2016-01-01 Medic D.; Mezzina C.A.
Towards a Formal Account for Software Transactional Memory
2020-01-01 Medic D.; Mezzina C.A.; Phillips I.; Yoshida N.
Towards formal model for location aware workflows
2023-01-01 Doriana Medic; Marco Aldinucci
Towards parametric causal semantics in φ-calculus ?
2017-01-01 Medic D.; Mezzina C.A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A General Approach to Derive Uncontrolled Reversible Semantics | 2020 | Ivan Lanese; Doriana Medic | |
| A Parametric Framework for Reversible pi-Calculi | 2018 | Medic, D; Mezzina, CA; Phillips, L; Yoshida, N | |
| A parametric framework for reversible π-calculi | 2020 | Doriana Medic; Claudio Antares Mezzina; Iain Phillips; Nobuko Yoshida | |
| A Systematic Mapping Study of Italian Research on Workflows | 2023 | 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. | |
| Experimenting with Emerging RISC-V Systems for Decentralised Machine Learning | 2023 | 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 | |
| Explicit Identifiers and Contexts in Reversible Concurrent Calculus | 2021 | Aubert C.; Medic D. | |
| Federated Learning meets HPC and cloud | 2023 | Iacopo Colonnelli, Bruno Casella, Gianluca Mittone, Yasir Arfat, Barbara Cantalupo, Roberto Esposito, Alberto Riccardo Martinelli, Doriana Medic, Marco Aldinucci | |
| Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows | 2024 | Iacopo Colonnelli , Doriana Medić, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci | |
| Static versus dynamic reversibility in CCS | 2019 | Ivan Lanese; Doriana Medic; Claudio Antares Mezzina | |
| Static VS dynamic reversibility in CCS | 2016 | Medic D.; Mezzina C.A. | |
| Towards a Formal Account for Software Transactional Memory | 2020 | Medic D.; Mezzina C.A.; Phillips I.; Yoshida N. | |
| Towards formal model for location aware workflows | 2023 | Doriana Medic; Marco Aldinucci | |
| Towards parametric causal semantics in φ-calculus ? | 2017 | Medic D.; Mezzina C.A. |