Doriana Medic

According to our database, Doriana Medic authored at least 18 papers between 2016 and 2024.

Collaborative distances:

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

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, Utz-Uwe Haus, Stephen Hudson, Shantenu Jha, Laila Los, Drew Paine, Frédéric Suter, Logan T. Ward, Sean R. Wilkinson, Marcos Amaris, Yadu N. Babuji, Jonathan Bader, Riccardo Balin, Daniel Balouek, Sarah J. Beecroft, Khalid Belhajjame, Rajat Bhattarai, Wes Brewer, Paul Brunk, Silvina Caíno-Lores, Henri Casanova, Daniela Cassol, Jared Coleman, Tainã Coleman, Iacopo Colonnelli, Anderson Andrei Da Silva, Daniel de Oliveira, Pascal Elahi, Nour Elfaramawy, Wael R. Elwasif, Brian Etz, Thomas Fahringer, Wesley Ferreira, Rosa Filgueira, Jacob Fosso Tande, Luiz Gadelha, Andy Gallo, Daniel Garijo, Yiannis Georgiou, Philipp Gritsch, Patricia Grubel, Amal Gueroudji, Quentin Guilloteau, Carlo Hamalainen, Rolando P. Hong Enriquez, Lauren Huet, Kevin Hunter Kesling, Paula Iborra, Shiva Jahangiri, Jan Janssen, Joe Jordan, Sehrish Kanwal, Liliane N. O. Kunstmann, Fabian Lehmann, Ulf Leser, Chen Li, Peini Liu, Jakob Lüttgau, Richard Lupat, José M. Fernández, Ketan Maheshwari, Tanu Malik, Jack Marquez, Motohiko Matsuda, Doriana Medic, Somayeh Mohammadi, Alberto Mulone, John-Luke Navarro, Kin Wai Ng, Klaus Nölp, Bruno de Paula Kinoshita, Ryan Prout, Michael R. Crusoe, Sashko Ristov, Stefan A Robila, Daniel Rosendo, Billy Rowell, Jedrzej Rybicki, Hector Sanchez, Nishant Saurabh, Sumit Kumar Saurav, Tom Scogland, Dinindu Senanayake, Woong Shin, Raül Sirvent, Tyler J. Skluzacek, Barry Sly-Delgado, Stian Soiland-Reyes, Abel Souza, Renan Souza, Domenico Talia, Nathan R. Tallent

CoRR, 2024

A Fault Tolerance Mechanism for Hybrid Scientific Workflows.

Alberto Mulone, Doriana Medic, Marco Aldinucci

CoRR, 2024

Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows.

Iacopo Colonnelli, Doriana Medic, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci

Proceedings of the Formal Methods - 26th International Symposium, 2024

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