Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Medić, Doriana
39  Ergebnisse:
Personensuche X
?
1

Towards formal model for location aware workflows:

, In: 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC),
Medic, Doriana ; Aldinucci, Marco - p. 1864-1869 , 2023
Link: https://doi.org/10.1109/..
 
?
2

A Systematic Mapping Study of Italian Research on Workflows:

, In: Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis,
Aldinucci, Marco ; Baralis, Elena Maria ; Cardellini, Valeria... - p. 2065-2076 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

Experimenting with Emerging RISC-V Systems for Decentralise..:

, In: Proceedings of the 20th ACM International Conference on Computing Frontiers,
Mittone, Gianluca ; Tonci, Nicoló ; Birke, Robert... - p. 73-83 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Federated Learning Meets HPC and Cloud:

, In: Machine Learning for Astrophysics; Astrophysics and Space Science Proceedings,
Colonnelli, Iacopo ; Casella, Bruno ; Mittone, Gianluca... - p. 193-199 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Explicit Identifiers and Contexts in Reversible Concurrent ..:

, In: Reversible Computation; Lecture Notes in Computer Science,
Aubert, Clément ; Medić, Doriana - p. 144-162 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Towards a Formal Account for Software Transactional Memory:

, In: Reversible Computation; Lecture Notes in Computer Science,
Medić, Doriana ; Mezzina, Claudio Antares ; Phillips, Iain. - p. 255-263 , 2020
Link: https://doi.org/10.1007/..
 
?
7

A parametric framework for reversible π-calculi:

Medić, Doriana ; Mezzina, Claudio Antares ; Phillips, Iain.
Information and Computation.  275 (2020)  - p. 104644 , 2020
Link: https://doi.org/10.1016/..
 
?
8

Static versus dynamic reversibility in CCS:

Lanese, Ivan ; Medić, Doriana ; Mezzina, Claudio Antares
Acta Informatica.  58 (2019)  1-2 - p. 1-34 , 2019
Link: https://doi.org/10.1007/..
 
?
9

Workflows Community Summit 2022: A Roadmap Revolution:

da Silva, Rafael Ferreira ; Badia, Rosa M ; Bala, Venkat...
http://arxiv.org/abs/2304.00019.  , 2023
Link: http://arxiv.org/abs/230..
 
?
10

Experimenting with Emerging RISC-V Systems for Decentralise..:

Mittone, Gianluca ; Tonci, Nicolò ; Birke, Robert...
http://arxiv.org/abs/2302.07946.  , 2023
Link: http://arxiv.org/abs/230..
 
?
11

Enabling Replications and Contexts in Reversible Concurrent..:

Aubert, Clément ; Medić, Doriana
info:eu-repo/semantics/altIdentifier/arxiv/2103.15623.  , 2021
Link: https://hal.archives-ouv..
 
?
12

Enabling Replications and Contexts in Reversible Concurrent..:

Aubert, Clément ; Medić, Doriana
info:eu-repo/semantics/altIdentifier/arxiv/2103.15623.  , 2021
Link: https://hal.science/hal-..
 
?
13

Static versus Dynamic Reversibility in CCS:

Lanese, Ivan ; Medić, Doriana ; Mezzina, Claudio Antares
hal-03338675.  , 2021
Link: https://hal.inria.fr/hal..
 
?
14

Static versus Dynamic Reversibility in CCS:

Lanese, Ivan ; Medić, Doriana ; Mezzina, Claudio Antares
info:eu-repo/semantics/altIdentifier/doi/10.1007/s00236-019-00346-6.  , 2021
Link: https://inria.hal.scienc..
 
?
15

Explicit Identifiers and Contexts in Reversible Concurrent ..:

Aubert, Clément ; Medić, Doriana
hal-03300726.  , 2021
Link: https://hal.inria.fr/hal..
 
1-15