×

zbMATH — the first resource for mathematics

Corradini, Flavio

Compute Distance To:
Author ID: corradini.flavio Recent zbMATH articles by "Corradini, Flavio"
Published as: Corradini, Flavio; Corradini, F.
Documents Indexed: 67 Publications since 1994, including 9 Books

Publications by Year

Citations contained in zbMATH Open

40 Publications have been cited 145 times in 91 Documents Cited by Year
Comparing the worst-case efficiency of asynchronous systems with PAFAS. Zbl 1034.68047
Corradini, Flavio; Vogler, Walter; Jenner, Lars
12
2002
Performance preorder and competitive equivalence. Zbl 0878.68081
Corradini, Flavio; Gorrieri, Roberto; Roccetti, Marco
9
1997
Separation of synchronous and asynchronous communication via testing. Zbl 1273.68251
Cacciagrano, Diletta; Corradini, Flavio; Palamidessi, Catuscia
9
2006
A process algebraic approach to software architecture design. Zbl 1255.68004
Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio
8
2010
Absolute versus relative time in process algebras. Zbl 1046.68618
Corradini, Flavio
7
2000
On performance congruences for process algebras. Zbl 0921.68031
Corradini, Flavio
6
1998
On synchronous and asynchronous communication paradigms. Zbl 1042.68614
Cacciagrano, Diletta; Corradini, Flavio
6
2001
Shape calculus. A spatial mobile calculus for 3D shapes. Zbl 1424.92001
Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca
5
2010
Linearity, persistence and testing semantics in the asynchronous pi-calculus. Zbl 1277.68167
Cacciagrano, Diletta; Corradini, Flavio; Aranda, Jesús; Valencia, Frank D.
5
2008
Fairness of actions in system computations. Zbl 1097.68087
Corradini, F.; Di Berardini, M. R.; Vogler, W.
5
2006
Models of nondeterministic regular expressions. Zbl 0958.68090
Corradini, Flavio; De Nicola, Rocco; Labella, Anna
4
1999
Learning and detecting emergent behavior in networks of cardiac myocytes. Zbl 1144.92313
Grosu, R.; Bartocci, E.; Corradini, F.; Entcheva, E.; Smolka, S. A.; Wasilewska, A.
4
2008
Separation of synchronous and asynchronous communication via testing. Zbl 1143.68051
Cacciagrano, D.; Corradini, F.; Palamidessi, C.
4
2007
Performance preorder: ordering processes with respect to speed. Zbl 1193.68173
Corradini, Flavio; Gorrieri, Roberto; Roccetti, Marco
4
1995
Eager, busy-waiting lazy actions in timed computation? Zbl 0911.68116
Corradini, Flavio; Ferrari, GianLuigi; Pistore, Marco
3
1997
Graded modalities and resource bisimulation. Zbl 0948.03024
Corradini, Flavio; De Nicola, Rocco; Labella, Anna
3
1999
Bone remodelling in BioShape. Zbl 1283.92010
Buti, F.; Cacciagrano, D.; Corradini, F.; Merelli, E.; Tesei, L.; Pani, M.
3
2010
“Closed interval process algebra” versus “interval process algebra”. Zbl 0977.68061
Corradini, Flavio; Pistore, Marco
3
2001
Measuring the performance of asynchronous systems with PAFAS. Zbl 1080.68076
Corradini, F.; Vogler, W.
3
2005
Relating fairness and timing in process algebras. Zbl 1273.68253
Corradini, F.; Di Berardini, M. R.; Vogler, W.
3
2003
A characterization of regular expressions under bisimulation. Zbl 1292.68102
Baeten, Jos C. M.; Corradini, Flavio; Grabmayer, Clemens
3
2007
Time and fairness in a process algebra with non-blocking reading. Zbl 1206.68213
Corradini, Flavio; Di Berardini, Maria Rita; Vogler, Walter
3
2009
Liveness of a mutex algorithm in a fair process algebra. Zbl 1166.68030
Corradini, Flavio; Di Berardini, Maria Rita; Vogler, Walter
3
2009
Modeling and simulation of cardiac tissue using hybrid I/O automata. Zbl 1173.68028
Bartocci, E.; Corradini, F.; Di Berardini, M. R.; Entcheva, E.; Smolka, S. A.; Grosu, R.
3
2009
On the relationships among four timed process algebras. Zbl 1066.68534
Corradini, Flavio; D’Ortenzio, Domenicantonio; Inverardi, Paola
3
1999
Detecting synchronisation of biological oscillators by model checking. Zbl 1209.68311
Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
3
2010
A finite axiomatization of nondeterministic regular expressions. Zbl 0945.68122
Corradini, Flavio; De Nicola, Rocco; Labella, Anna
2
1999
Model checking biological oscillators. Zbl 1283.92008
Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
2
2009
On testing urgency through laziness over processes with durational actions. Zbl 0974.68132
Corradini, F.; Di Cola, D.
2
2001
StonyCam: A formal framework for modeling, analyzing and regulating cardiac myocytes. Zbl 1143.92316
Bartocci, Ezio; Corradini, Flavio; Grosu, Radu; Merelli, Emanuela; Riganelli, Oliviero; Smolka, Scott A.
2
2008
Checking a mutex algorithm in a process algebra with fairness. Zbl 1151.68522
Corradini, Flavio; Di Berardini, Maria Rita; Vogler, Walter
2
2006
Fairness of components in system computations. Zbl 1092.68065
Corradini, F.; Di Berardini, M. R.; Vogler, W.
2
2006
An equational axiomatization of bisimulation over regular expressions. Zbl 1012.68143
Corradini, Flavio; de Nicola, Rocco; Labella, Anna
2
2002
Locality based semantics for process algebras. Zbl 0877.68081
Corradini, Flavio; De Nicola, Rocco
1
1997
Fairness of components in system computations. Zbl 1272.68296
Corradini, F.; Di Berardini, M. R.; Vogler, W.
1
2005
Fair \(\pi\). Zbl 1277.68168
Cacciagrano, Diletta; Corradini, Flavio; Palamidessi, Catuscia
1
2007
Spatial networks of hybrid I/O automata for modeling excitable tissue. Zbl 1279.68246
Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Entcheva, Emilia; Grosu, Radu; Smolka, Scott A.
1
2008
Bone remodelling: a complex automata-based model running in BioShape. Zbl 1307.92042
Cacciagrano, Diletta; Corradini, Flavio; Merelli, Emanuela
1
2010
An agent-oriented conceptual framework for systems biology. Zbl 1151.92300
Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Omicini, Andrea; Ricci, Alessandro
1
2005
On the semantics of durational actions. Zbl 0983.68116
Corradini, Flavio; Ferrari, GianLuigi; Pistore, Marco
1
2001
A process algebraic approach to software architecture design. Zbl 1255.68004
Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio
8
2010
Shape calculus. A spatial mobile calculus for 3D shapes. Zbl 1424.92001
Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Merelli, Emanuela; Tesei, Luca
5
2010
Bone remodelling in BioShape. Zbl 1283.92010
Buti, F.; Cacciagrano, D.; Corradini, F.; Merelli, E.; Tesei, L.; Pani, M.
3
2010
Detecting synchronisation of biological oscillators by model checking. Zbl 1209.68311
Bartocci, Ezio; Corradini, Flavio; 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
Time and fairness in a process algebra with non-blocking reading. Zbl 1206.68213
Corradini, Flavio; Di Berardini, Maria Rita; Vogler, Walter
3
2009
Liveness of a mutex algorithm in a fair process algebra. Zbl 1166.68030
Corradini, Flavio; Di Berardini, Maria Rita; Vogler, Walter
3
2009
Modeling and simulation of cardiac tissue using hybrid I/O automata. Zbl 1173.68028
Bartocci, E.; Corradini, F.; Di Berardini, M. R.; Entcheva, E.; Smolka, S. A.; Grosu, R.
3
2009
Model checking biological oscillators. Zbl 1283.92008
Bartocci, Ezio; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
2
2009
Linearity, persistence and testing semantics in the asynchronous pi-calculus. Zbl 1277.68167
Cacciagrano, Diletta; Corradini, Flavio; Aranda, Jesús; Valencia, Frank D.
5
2008
Learning and detecting emergent behavior in networks of cardiac myocytes. Zbl 1144.92313
Grosu, R.; Bartocci, E.; Corradini, F.; Entcheva, E.; Smolka, S. A.; Wasilewska, A.
4
2008
StonyCam: A formal framework for modeling, analyzing and regulating cardiac myocytes. Zbl 1143.92316
Bartocci, Ezio; Corradini, Flavio; Grosu, Radu; Merelli, Emanuela; Riganelli, Oliviero; Smolka, Scott A.
2
2008
Spatial networks of hybrid I/O automata for modeling excitable tissue. Zbl 1279.68246
Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Entcheva, Emilia; Grosu, Radu; Smolka, Scott A.
1
2008
Separation of synchronous and asynchronous communication via testing. Zbl 1143.68051
Cacciagrano, D.; Corradini, F.; Palamidessi, C.
4
2007
A characterization of regular expressions under bisimulation. Zbl 1292.68102
Baeten, Jos C. M.; Corradini, Flavio; Grabmayer, Clemens
3
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
Fairness of actions in system computations. Zbl 1097.68087
Corradini, F.; Di Berardini, M. R.; Vogler, W.
5
2006
Checking a mutex algorithm in a process algebra with fairness. Zbl 1151.68522
Corradini, Flavio; Di Berardini, Maria Rita; Vogler, Walter
2
2006
Fairness of components in system computations. Zbl 1092.68065
Corradini, F.; Di Berardini, M. R.; Vogler, W.
2
2006
Measuring the performance of asynchronous systems with PAFAS. Zbl 1080.68076
Corradini, F.; Vogler, W.
3
2005
Fairness of components in system computations. Zbl 1272.68296
Corradini, F.; Di Berardini, M. R.; Vogler, W.
1
2005
An agent-oriented conceptual framework for systems biology. Zbl 1151.92300
Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Omicini, Andrea; Ricci, Alessandro
1
2005
Relating fairness and timing in process algebras. Zbl 1273.68253
Corradini, F.; Di Berardini, M. R.; Vogler, W.
3
2003
Comparing the worst-case efficiency of asynchronous systems with PAFAS. Zbl 1034.68047
Corradini, Flavio; Vogler, Walter; Jenner, Lars
12
2002
An equational axiomatization of bisimulation over regular expressions. Zbl 1012.68143
Corradini, Flavio; de Nicola, Rocco; Labella, Anna
2
2002
On synchronous and asynchronous communication paradigms. Zbl 1042.68614
Cacciagrano, Diletta; Corradini, Flavio
6
2001
“Closed interval process algebra” versus “interval process algebra”. Zbl 0977.68061
Corradini, Flavio; Pistore, Marco
3
2001
On testing urgency through laziness over processes with durational actions. Zbl 0974.68132
Corradini, F.; Di Cola, D.
2
2001
On the semantics of durational actions. Zbl 0983.68116
Corradini, Flavio; Ferrari, GianLuigi; Pistore, Marco
1
2001
Absolute versus relative time in process algebras. Zbl 1046.68618
Corradini, Flavio
7
2000
Models of nondeterministic regular expressions. Zbl 0958.68090
Corradini, Flavio; De Nicola, Rocco; Labella, Anna
4
1999
Graded modalities and resource bisimulation. Zbl 0948.03024
Corradini, Flavio; De Nicola, Rocco; Labella, Anna
3
1999
On the relationships among four timed process algebras. Zbl 1066.68534
Corradini, Flavio; D’Ortenzio, Domenicantonio; Inverardi, Paola
3
1999
A finite axiomatization of nondeterministic regular expressions. Zbl 0945.68122
Corradini, Flavio; De Nicola, Rocco; Labella, Anna
2
1999
On performance congruences for process algebras. Zbl 0921.68031
Corradini, Flavio
6
1998
Performance preorder and competitive equivalence. Zbl 0878.68081
Corradini, Flavio; Gorrieri, Roberto; Roccetti, Marco
9
1997
Eager, busy-waiting lazy actions in timed computation? Zbl 0911.68116
Corradini, Flavio; Ferrari, GianLuigi; Pistore, Marco
3
1997
Locality based semantics for process algebras. Zbl 0877.68081
Corradini, Flavio; De Nicola, Rocco
1
1997
Performance preorder: ordering processes with respect to speed. Zbl 1193.68173
Corradini, Flavio; Gorrieri, Roberto; Roccetti, Marco
4
1995
all top 5

Cited by 124 Authors

24 Corradini, Flavio
12 Vogler, Walter
6 Di Berardini, Maria Rita
6 Merelli, Emanuela
5 Cacciagrano, Diletta Romana
5 Gorla, Daniele
5 Tesei, Luca
4 Bartocci, Ezio
4 De Nicola, Rocco
4 Lüttgen, Gerald
3 Bernardo, Marco
3 Labella, Anna
3 Palamidessi, Catuscia
3 van Glabbeek, Robert Jan
2 Aldini, Alessandro
2 Bidinger, Philippe
2 Bozhenkova, Elena N.
2 Brim, Luboš
2 Buti, Federico
2 Ciobanu, Gabriel
2 Compagnoni, Adriana B.
2 Di Cola, Dino
2 Ferrari, Gian Luigi
2 Fu, Yuxi
2 Koutny, Maciej
2 Kwiatkowska, Marta Z.
2 Lasota, Sławomir
2 Parrow, Joachim
2 Pistore, Marco
2 Šafránek, David
1 Aceto, Luca
1 Åman Pohjola, Johannes
1 Andreychenko, Aleksandr
1 Aranda, Jesús
1 Baeten, Jos C. M.
1 Baier, Christel
1 Ballardin, Francesco
1 Barbosa, Luís Soares
1 Bauer, Lujo
1 Bortolussi, Luca
1 Bravetti, Mario
1 Brezočnik, Zmago
1 Callisto De Donato, Massimo
1 Češka, Milan
1 Chen, Taolue
1 de Alfaro, Luca
1 Deng, Yuxin
1 Diciolla, Marco
1 Dixon, Clare
1 Dluhoš, P.
1 Entcheva, Emilia
1 Ésik, Zoltán
1 Fecher, Harald
1 Forejt, Vojtěch
1 Gainer, Paul
1 Garavel, Hubert
1 Genadot, Alexandre
1 Ghassemi, Fatemeh
1 Giavitto, Jean-Louis
1 Grosu, Radu
1 Hennessy, Matthew C. B.
1 Hennicker, Rolf
1 Höfner, Peter
1 Howe, Jacob M.
1 Hustadt, Ullrich
1 Ingólfsdóttir, Anna
1 Jenner, Lars
1 Jia, Limin
1 Johansen, Christian
1 Kapus, Tatjana
1 King, Andy
1 Klaudel, Hanna
1 Knapp, Alexander
1 Kofroň, Jan
1 Krüger, Thilo
1 Lawrence-Jones, Charles
1 Linker, Sven
1 Liò, Pietro
1 Loreti, Michele
1 Lu, Hao
1 Luttik, Bas
1 Ma, Minghui
1 Majster-Cederbaum, Mila E.
1 Matteucci, Ilaria
1 Mendler, Michael
1 Mennicke, Stephan
1 Meolic, Robert
1 Mereacre, Alexandru
1 Merro, Massimo
1 Nenzi, Laura
1 Nestmann, Uwe
1 Neves, Renato
1 Normann, Håkon
1 Omicini, Andrea
1 Padovani, Luca
1 Pani, Martino
1 Paoletti, Nicola
1 Phillips, Iain W.
1 Plášil, František
1 Poch, Tomáš
...and 24 more Authors

Citations by Year