Static VS Dynamic Reversibility in CCS. - Doriana Medic; Claudio Antares Mezzina (RC, 2016)

Towards Parametric Causal Semantics in pi-calculus. - Doriana Medic; Claudio Antares Mezzina (ICTCS/CILC, 2017)

A Parametric Framework for Reversible π-Calculi. - Doriana Medic; Claudio Antares Mezzina; Iain Phillips 001; Nobuko Yoshida (CoRR, 2018)

A Parametric Framework for Reversible Pi-Calculi. - Doriana Medic; Claudio Antares Mezzina; Iain Phillips 001; Nobuko Yoshida (EXPRESS/SOS, 2018)

Relative expressiveness of calculi for reversible concurrency. - Doriana Medic (Bull. EATCS, 2019)

A General Approach to Derive Uncontrolled Reversible Semantics. - Ivan Lanese; Doriana Medic (CONCUR, 2020)

Towards a Formal Account for Software Transactional Memory. - Doriana Medic; Claudio Antares Mezzina; Iain Phillips 001; Nobuko Yoshida (RC, 2020)

A parametric framework for reversible π-calculi. - Doriana Medic; Claudio Antares Mezzina; Iain Phillips 001; Nobuko Yoshida (Inf. Comput., 2020)

Explicit Identifiers and Contexts in Reversible Concurrent Calculus. - Clément Aubert; Doriana Medic (RC, 2021)

Static versus dynamic reversibility in CCS. - Ivan Lanese; Doriana Medic; Claudio Antares Mezzina (Acta Informatica, 2021)

Enabling Replications and Contexts in Reversible Concurrent Calculus. - Clément Aubert; Doriana Medic (CoRR, 2021)

Experimenting with Emerging RISC-V Systems for Decentralised Machine Learning. - Gianluca Mittone; Nicolò Tonci; Robert Birke; Iacopo Colonnelli; Doriana Medic; Andrea Bartolini; Roberto Esposito; Emanuele Parisi; Francesco Beneventi; Mirko Polato; Massimo Torquati; Luca Benini; et al. (CF, 2023)

Towards formal model for location aware workflows. - Doriana Medic; Marco Aldinucci (COMPSAC, 2023)

A Systematic Mapping Study of Italian Research on Workflows. - 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; et al. (SC Workshops, 2023)

Experimenting with Emerging ARM and RISC-V Systems for Decentralised Machine Learning. - Gianluca Mittone; Nicolò Tonci; Robert Birke; Iacopo Colonnelli; Doriana Medic; Andrea Bartolini; Roberto Esposito; Emanuele Parisi; Francesco Beneventi; Mirko Polato; Massimo Torquati; Luca Benini; et al. (CoRR, 2023)

A Fault Tolerance Mechanism for Hybrid Scientific Workflows. - Alberto Mulone; Doriana Medic; Marco Aldinucci (Euro-Par Workshops (2), 2024)

Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows. - Iacopo Colonnelli; Doriana Medic; Alberto Mulone; Viviana Bono; Luca Padovani; Marco Aldinucci (FM (1), 2024)

Workflows Community Summit 2024: Future Trends and Challenges in Scientific Workflows. - Rafael Ferreira da Silva; Deborah Bard; Kyle Chard; Shaun De Witt; Ian T. Foster; Tom Gibbs; Carole A. Goble; William F. Godoy; Johan Gustafsson 001; Utz-Uwe Haus; Stephen Hudson; Shantenu Jha; et al. (CoRR, 2024)

Artifact for paper "Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows". - Iacopo Colonnelli; Doriana Medic; Alberto Mulone; Viviana Bono; Luca Padovani; Marco Aldinucci (Zenodo, 2024)

EuroHPC SPACE CoE: Redesigning Scalable Parallel Astrophysical Codes for Exascale. Invited Paper. - Nitin Shukla; Alessandro Romeo; Caterina Caravita; Lubomir Riha; Ondrej Vysocky; Petr Strakos; Milan Jaros; João Barbosa; Radim Vavrík; Andrea Mignone; Marco Rossazza; Stefano Truzzi; et al. (CF (Companion), 2025)

The Cloud-HPC infrastructure for Hazard Mapping and vulnerability Monitoring (HaMMon). - Mauro Imbrosciano; Eva Sciacca; Fabio Vitello; Leonardo Pelonero; Francesco Franchina; Ugo Becciani; Iacopo Colonnelli; Doriana Medic (PDP, 2025)