×
Edit Profile (opens in new tab)

Cacciagrano, Diletta Romana

Co-Author Distance
Author ID: cacciagrano.diletta-romana Recent zbMATH articles by "Cacciagrano, Diletta Romana"
Published as: Cacciagrano, Diletta; Cacciagrano, D.; Cacciagrano, Diletta Romana; Cacciagrano, Diletta R.
Documents Indexed: 10 Publications since 2001
Co-Authors: 10 Co-Authors with 10 Joint Publications
288 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
9 Corradini, Flavio
4 Palamidessi, Catuscia
3 Merelli, Emanuela
2 Tesei, Luca
1 Aranda, Jesús
1 Bartocci, Ezio
1 Buti, Federico
1 Di Berardini, Maria Rita
1 Pani, Martino
1 Valencia, Frank D.

Serials

1 Theoretical Computer Science
1 Logical Methods in Computer Science
1 Scientific Annals of Computer Science

Fields

9 Computer science (68-XX)
3 Biology and other natural sciences (92-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Calculus of variations and optimal control; optimization (49-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

9 Publications have been cited 40 times in 26 Documents Cited by ▼ Year ▼
Separation of synchronous and asynchronous communication via testing. Zbl 1273.68251
Cacciagrano, Diletta; Corradini, Flavio; Palamidessi, Catuscia
9
2006
Linearity, persistence and testing semantics in the asynchronous pi-calculus. Zbl 1277.68167
Cacciagrano, Diletta; Corradini, Flavio; Aranda, Jesús; Valencia, Frank D.
8
2008
On synchronous and asynchronous communication paradigms. Zbl 1042.68614
Cacciagrano, Diletta; Corradini, Flavio
7
2001
Separation of synchronous and asynchronous communication via testing. Zbl 1143.68051
Cacciagrano, D.; Corradini, F.; Palamidessi, C.
6
2007
Bone remodelling in BioShape. Zbl 1283.92010
Buti, F.; Cacciagrano, D.; Corradini, F.; Merelli, E.; Tesei, L.; Pani, M.
4
2010
Timed operational semantics and well-formedness of shape calculus. Zbl 1424.92004
Bartocci, Ezio; Cacciagrano, Diletta Romana; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca
3
2010
Fair \(\pi\). Zbl 1277.68168
Cacciagrano, Diletta; Corradini, Flavio; Palamidessi, Catuscia
1
2007
Explicit fairness in testing semantics. Zbl 1163.68031
Corradini, Flavio; Cacciagrano, Diletta; Palamidessi, Catuscia
1
2009
Bone remodelling: a complex automata-based model running in BioShape. Zbl 1307.92042
Cacciagrano, Diletta; Corradini, Flavio; Merelli, Emanuela
1
2010
Bone remodelling in BioShape. Zbl 1283.92010
Buti, F.; Cacciagrano, D.; Corradini, F.; Merelli, E.; Tesei, L.; Pani, M.
4
2010
Timed operational semantics and well-formedness of shape calculus. Zbl 1424.92004
Bartocci, Ezio; Cacciagrano, Diletta Romana; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca
3
2010
Bone remodelling: a complex automata-based model running in BioShape. Zbl 1307.92042
Cacciagrano, Diletta; Corradini, Flavio; Merelli, Emanuela
1
2010
Explicit fairness in testing semantics. Zbl 1163.68031
Corradini, Flavio; Cacciagrano, Diletta; Palamidessi, Catuscia
1
2009
Linearity, persistence and testing semantics in the asynchronous pi-calculus. Zbl 1277.68167
Cacciagrano, Diletta; Corradini, Flavio; Aranda, Jesús; Valencia, Frank D.
8
2008
Separation of synchronous and asynchronous communication via testing. Zbl 1143.68051
Cacciagrano, D.; Corradini, F.; Palamidessi, C.
6
2007
Fair \(\pi\). Zbl 1277.68168
Cacciagrano, Diletta; Corradini, Flavio; Palamidessi, Catuscia
1
2007
Separation of synchronous and asynchronous communication via testing. Zbl 1273.68251
Cacciagrano, Diletta; Corradini, Flavio; Palamidessi, Catuscia
9
2006
On synchronous and asynchronous communication paradigms. Zbl 1042.68614
Cacciagrano, Diletta; Corradini, Flavio
7
2001
all cited Publications top 5 cited Publications
all top 5

Cited by 33 Authors

6 Corradini, Flavio
6 Gorla, Daniele
5 Cacciagrano, Diletta Romana
4 Merelli, Emanuela
3 Palamidessi, Catuscia
3 Peters, Kirstin
3 van Glabbeek, Robert Jan
2 Bidinger, Philippe
2 Buti, Federico
2 Compagnoni, Adriana B.
2 Fu, Yuxi
2 Tesei, Luca
1 Aranda, Jesús
1 Callisto De Donato, Massimo
1 De Nicola, Rocco
1 Di Berardini, Maria Rita
1 Goltz, Ursula
1 Liò, Pietro
1 Lippert, Christopher
1 Lü, Hao
1 Mennicke, Stephan
1 Nestmann, Uwe
1 Pani, Martino
1 Paoletti, Nicola
1 Parrow, Joachim
1 Phillips, Iain W.
1 Pugliese, Rosario
1 Toro, Mauricio
1 Valencia, Frank D.
1 Viceconti, Marco
1 Vigliotti, Maria Grazia
1 Yoshida, Nobuko
1 Yue, Houguang
all top 5

Cited in 6 Serials

6 Theoretical Computer Science
3 Information and Computation
1 Information Processing Letters
1 Mathematical Structures in Computer Science
1 International Journal of Foundations of Computer Science
1 Journal of Logical and Algebraic Methods in Programming

Cited in 5 Fields

25 Computer science (68-XX)
5 Biology and other natural sciences (92-XX)
2 Mathematical logic and foundations (03-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Convex and discrete geometry (52-XX)

Citations by Year