Seguir
Doriana Medic
Título
Citado por
Citado por
Año
Static versus dynamic reversibility in ccs
I Lanese, D Medic, CA Mezzina
Acta Informatica 58, 1--34, 2021
292021
Workflows community summit 2022: A roadmap revolution
RF da Silva, RM Badia, V Bala, D Bard, PT Bremer, I Buckley, ...
arXiv preprint arXiv:2304.00019, 2023
172023
Static VS Dynamic Reversibility in CCS
D Medic, CA Mezzina
Reversible Computation 2016 9720, 36--51, 2016
17*2016
A General Approach to Derive Uncontrolled Reversible Semantics
I Lanese, D Medić
International Conference on Concurrency Theory (CONCUR) 171, 33:1--33:24, 2020
152020
A parametric framework for reversible π-calculi
D Medić, CA Mezzina, I Phillips, N Yoshida
Information and Computation 275, 104644, 2020
112020
Experimenting with emerging RISC-V systems for decentralised machine learning
G Mittone, N Tonci, R Birke, I Colonnelli, D Medić, A Bartolini, R Esposito, ...
Proceedings of the 20th ACM International Conference on Computing Frontiers …, 2023
92023
Explicit Identifiers and Contexts in Reversible Concurrent Calculus
C Aubert, D Medić
International Conference on Reversible Computation, 144-162, 2021
92021
Federated Learning meets HPC and cloud
I Colonnelli, B Casella, G Mittone, Y Arfat, B Cantalupo, R Esposito, ...
ML4Astro International Conference, 193-199, 2022
72022
A Parametric Framework for Reversible -Calculi
D Medic, CA Mezzina, I Phillips, N Yoshida
arXiv preprint arXiv:1807.11800, 2018
72018
Towards a formal account for software transactional memory
D Medić, CA Mezzina, I Phillips, N Yoshida
International Conference on Reversible Computation, 255-263, 2020
62020
Towards Parametric Causal Semantics in pi-calculus.
D Medic, CA Mezzina
ICTCS/CILC, 121-125, 2017
32017
Workflows Community Summit 2022: A Roadmap Revolution
R Ferreira Da Silva, R Badia, V Bala, D Bard, PT Bremer, I Buckley, ...
Oak Ridge National Laboratory (ORNL), Oak Ridge, TN (United States), 2023
22023
Towards formal model for location aware workflows
D Medić, M Aldinucci
2023 IEEE 47th Annual Computers, Software, and Applications Conference …, 2023
12023
A Systematic Mapping Study of Italian Research on Workflows
M Aldinucci, EM Baralis, V Cardellini, I Colonnelli, M Danelutto, ...
Proceedings of the SC'23 Workshops of The International Conference on High …, 2023
2023
Relative expressiveness of calculi for reversible concurrency
M Doriana
EATCS Bulletin, 2019
2019
Relative expressiveness of calculi for reversible concurrency
D Medić
IMT School for Advanced Studies Lucca, 2019
2019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–16