Doriana Medic

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 17

Top Topics

Transactional Memory

Representation Language

Scientific Workflows

Top Venues

Acta Informatica

Publications

Alberto Mulone, Doriana Medic, Marco Aldinucci
A Fault Tolerance Mechanism for Hybrid Scientific Workflows. CoRR (2024)
Iacopo Colonnelli, Doriana Medic, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows. CoRR (2024)
Doriana Medic, Marco Aldinucci
Towards formal model for location aware workflows. COMPSAC (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
Experimenting with Emerging ARM and RISC-V Systems for Decentralised Machine Learning. CoRR (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
Experimenting with Emerging RISC-V Systems for Decentralised Machine Learning. CF (2023)
Marco Aldinucci, Elena Maria Baralis, Valeria Cardellini, Iacopo Colonnelli, Marco Danelutto, Sergio Decherchi, Giuseppe Di Modica, Luca Ferrucci, Marco Gribaudo, Francesco Iannone, Marco Lapegna, Doriana Medic, Giuseppa Muscianisi, Francesca Righetti, Eva Sciacca, Nicola Tonellotto, Mauro Tortonesi, Paolo Trunfio, Tullio Vardanega
A Systematic Mapping Study of Italian Research on Workflows. SC Workshops (2023)
Clément Aubert, Doriana Medic
Enabling Replications and Contexts in Reversible Concurrent Calculus. CoRR (2021)
Ivan Lanese, Doriana Medic, Claudio Antares Mezzina
Static versus dynamic reversibility in CCS. Acta Informatica 58 (1-2) (2021)
Clément Aubert, Doriana Medic
Explicit Identifiers and Contexts in Reversible Concurrent Calculus. RC (2021)
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
-calculi. Inf. Comput. 275 (2020)
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
Towards a Formal Account for Software Transactional Memory. RC (2020)
Ivan Lanese, Doriana Medic
A General Approach to Derive Uncontrolled Reversible Semantics. CONCUR (2020)
Doriana Medic
Relative expressiveness of calculi for reversible concurrency. Bull. EATCS 129 (2019)
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
A Parametric Framework for Reversible π-Calculi. CoRR (2018)
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
A Parametric Framework for Reversible Pi-Calculi. EXPRESS/SOS (2018)
Doriana Medic, Claudio Antares Mezzina
Towards Parametric Causal Semantics in pi-calculus. ICTCS/CILC (2017)
Doriana Medic, Claudio Antares Mezzina
Static VS Dynamic Reversibility in CCS. RC (2016)