Concepedia

Doriana Medić

DM

Statistics

Publications

5

Citations

86

H-Index

5

Active since

2019

Affiliations

University of Bologna(Current)

Institut national de recherche en sciences et technologies du numérique

University of Turin

University of Urbino

Doriana Medić is an author at University of Bologna specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceGeometryLanguageSemanticsStabilityLinguisticsData ScienceVerification

Publications per year

2019–2023

5

Publications

5

Static versus dynamic reversibility in CCS

Ivan Lanese, Doriana Medić, Claudio Antares Mezzina · Acta Informatica · 2019 · 30 citations · Full text

Engineering, Computability Theory, Formal Methods +4

Experimenting with Emerging RISC-V Systems for Decentralised Machine Learning

Gianluca Mittone, Nicolò Tonci, Robert Birke et al. · 2023 · 17 citations · Full text

Artificial Intelligence, Decentralized Machine Learning, Machine Learning +15

Workflows Community Summit 2022: A Roadmap Revolution

Rafael Ferreira da Silva, Rosa M. Badía, Venkat Bala et al. · arXiv (Cornell University) · 2023 · 15 citations · Full text

A parametric framework for reversible π-calculi

Doriana Medić, Claudio Antares Mezzina, Iain Phillips et al. · Information and Computation · 2020 · 13 citations

Parametric Framework, Theta Function, Geometry +1

A General Approach to Derive Uncontrolled Reversible Semantics

Ivan Lanese, Doriana Medić · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2020 · 11 citations · Full text

Engineering, Verification, General Approach +21

1–5 of 5