×
Edit Profile (opens in new tab)

Medić, Doriana

Co-Author Distance
Author ID: medic.doriana Recent zbMATH articles by "Medić, Doriana"
Published as: Medić, Doriana; Medic, Doriana
Documents Indexed: 10 Publications since 1968
Co-Authors: 5 Co-Authors with 7 Joint Publications
141 Co-Co-Authors

Co-Authors

3 single-authored
5 Mezzina, Claudio Antares
3 Phillips, Iain W.
3 Yoshida, Nobuko
2 Lanese, Ivan
1 Aubert, Clément

Serials

1 Acta Informatica
1 Bulletins for Applied Mathematics
1 Information and Computation
1 Vestnik Moskovskogo Universiteta. Seriya I. Matematika, Mekhanika
1 Bulletin of the European Association for Theoretical Computer Science EATCS

Fields

8 Computer science (68-XX)
1 Mechanics of deformable solids (74-XX)
1 Quantum theory (81-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

7 Publications have been cited 45 times in 27 Documents Cited by ▼ Year ▼
Static versus dynamic reversibility in CCS. Zbl 1475.68126
Lanese, Ivan; Medić, Doriana; Mezzina, Claudio Antares
12
2021
A parametric framework for reversible \(\pi\)-calculi. Zbl 1496.68241
Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
8
2020
A general approach to derive uncontrolled reversible semantics. Zbl 07559489
Lanese, Ivan; Medić, Doriana
7
2020
Static VS dynamic reversibility in CCS. Zbl 1476.68180
Medić, Doriana; Mezzina, Claudio Antares
7
2016
Explicit identifiers and contexts in reversible concurrent calculus. Zbl 1476.68093
Aubert, Clément; Medić, Doriana
6
2021
Towards a formal account for software transactional memory. Zbl 07368060
Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
3
2020
A parametric framework for reversible \(\pi\)-calculi. Zbl 1525.68085
Medic, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
2
2018
Static versus dynamic reversibility in CCS. Zbl 1475.68126
Lanese, Ivan; Medić, Doriana; Mezzina, Claudio Antares
12
2021
Explicit identifiers and contexts in reversible concurrent calculus. Zbl 1476.68093
Aubert, Clément; Medić, Doriana
6
2021
A parametric framework for reversible \(\pi\)-calculi. Zbl 1496.68241
Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
8
2020
A general approach to derive uncontrolled reversible semantics. Zbl 07559489
Lanese, Ivan; Medić, Doriana
7
2020
Towards a formal account for software transactional memory. Zbl 07368060
Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
3
2020
A parametric framework for reversible \(\pi\)-calculi. Zbl 1525.68085
Medic, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
2
2018
Static VS dynamic reversibility in CCS. Zbl 1476.68180
Medić, Doriana; Mezzina, Claudio Antares
7
2016
all cited Publications top 5 cited Publications
all top 5

Cited by 25 Authors

11 Mezzina, Claudio Antares
8 Lanese, Ivan
7 Aubert, Clément
6 Phillips, Iain W.
4 Medić, Doriana
4 Yoshida, Nobuko
3 Fabbretti, Giovanni
3 Melgratti, Hernán
3 Stefani, Jean-Bernard
2 Bernardo, Marco
2 Bocchi, Laura
2 Graversen, Eva
2 Lami, Pietro
2 Pinna, G. Michele
2 Sacerdoti Coen, Claudio
2 Ulidowski, Irek
2 Yuen, Shoji
1 Browning, Peter
1 Cristescu, Ioana Domnina
1 Gribovskaya, Nataliya Sergeevna
1 Pérez, Jorge A.
1 Prokić, Ivan
1 Varacca, Daniele
1 Vieira, Hugo Torres
1 Virbitskaite, Irina B.

Cited in 5 Serials

7 Journal of Logical and Algebraic Methods in Programming
3 Logical Methods in Computer Science
1 Acta Informatica
1 Information and Computation
1 ACM Transactions on Computational Logic

Cited in 4 Fields

27 Computer science (68-XX)
4 Quantum theory (81-XX)
1 Mathematical logic and foundations (03-XX)
1 Probability theory and stochastic processes (60-XX)

Citations by Year