Doriana Medic

According to our database, Doriana Medic authored at least 15 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Marco Aldinucci

CoRR, 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, Giuseppa Muscianisi, Francesca Righetti, Eva Sciacca, Nicola Tonellotto, Mauro Tortonesi, Paolo Trunfio, Tullio Vardanega

Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, 2023

Towards formal model for location aware workflows.

Doriana Medic, Marco Aldinucci

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

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, Marco Aldinucci

Proceedings of the 20th ACM International Conference on Computing Frontiers, 2023

2021

Enabling Replications and Contexts in Reversible Concurrent Calculus.

Clément Aubert, Doriana Medic

CoRR, 2021

Static versus dynamic reversibility in CCS.

Ivan Lanese, Doriana Medic, Claudio Antares Mezzina

Acta Informatica, 2021

Explicit Identifiers and Contexts in Reversible Concurrent Calculus.

Clément Aubert, Doriana Medic

Proceedings of the Reversible Computation - 13th International Conference, 2021

2020

A parametric framework for reversible <i>π</i>-calculi.

Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida

Inf. Comput., 2020

Towards a Formal Account for Software Transactional Memory.

Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida

Proceedings of the Reversible Computation - 12th International Conference, 2020

A General Approach to Derive Uncontrolled Reversible Semantics.

Ivan Lanese, Doriana Medic

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Relative expressiveness of calculi for reversible concurrency.

Doriana Medic

Bull. EATCS, 2019

2018

A Parametric Framework for Reversible Pi-Calculi.

Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida

Proceedings of the Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, 2018

A Parametric Framework for Reversible π-Calculi.

Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida

CoRR, 2018

2017

Towards Parametric Causal Semantics in pi-calculus.

Doriana Medic, Claudio Antares Mezzina

Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017

2016

Static VS Dynamic Reversibility in CCS.

Doriana Medic, Claudio Antares Mezzina

Proceedings of the Reversible Computation - 8th International Conference, 2016