×

zbMATH — the first resource for mathematics

Priami, Corrado

Compute Distance To:
Author ID: priami.corrado Recent zbMATH articles by "Priami, Corrado"
Published as: Priami, Corrado; Priami, C.
External Links: MGP · Wikidata
Documents Indexed: 64 Publications since 1991, including 19 Books

Publications by Year

Citations contained in zbMATH Open

37 Publications have been cited 260 times in 164 Documents Cited by Year
Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Zbl 0997.92018
Priami, Corrado; Regev, Aviv; Shapiro, Ehud; Silverman, William
72
2001
Beta binders for biological interactions. Zbl 1088.68646
Priami, Corrado; Quaglia, Paola
52
2005
Non-interleaving semantics for mobile processes. Zbl 0914.68128
Degano, Pierpaolo; Priami, Corrado
19
1999
Modelling biochemical pathways through enhanced \(\pi\)-calculus. Zbl 1071.68074
Curti, M.; Degano, P.; Priami, C.; Baldari, C. T.
13
2004
Evolving BlenX programs to simulate the evolution of biological networks. Zbl 1160.68678
Dematté, L.; Priami, C.; Romanel, A.; Soyer, O.
10
2008
Performance evaluation of security protocols specified in LySa. Zbl 1272.68225
Bodei, Chiara; Curti, Michele; Degano, Pierpaolo; Buchholtz, Mikael; Nielson, Flemming; Nielson, Hanne Riis; Priami, Corrado
7
2005
Automatizing parametric reasoning on distributed concurrent systems. Zbl 0829.68052
Inverardi, Paola; Priami, Corrado; Yankelevich, Daniel
6
1994
Modeling static biological compartments with beta-binders. Zbl 1126.92002
Guerriero, Maria Luisa; Priami, Corrado; Romanel, Alessandro
6
2007
HRSSA - efficient hybrid stochastic simulation for spatially homogeneous biochemical reaction networks. Zbl 1349.92070
Marchetti, Luca; Priami, Corrado; Thanh, Vo Hong
5
2016
Evaluation of tools for the analysis of communicating systems. Zbl 0757.68054
Inverardi, Paola; Priami, Corrado
5
1991
Names of the \(\pi\)-calculus agents handled locally. Zbl 0956.68007
Bodei, C.; Degano, P.; Priami, C.
5
2001
Language-based performance prediction for distributed and mobile systems. Zbl 1012.68115
Priami, Corrado
5
2002
Operational patterns in beta-binders. Zbl 1117.92301
Priami, Corrado; Quaglia, Paola
5
2005
A causal semantics for CCS via rewriting logic. Zbl 1026.68075
Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado
4
2002
A quantitative study of two attacks. Zbl 1272.68049
Bodei, Chiara; Curti, Michele; Degano, Pierpaolo; Priami, Corrado
4
2005
The decidability of the structural congruence for beta-binders. Zbl 1277.68200
Priami, Corrado; Romanel, Alessandro
4
2007
Causality for mobile processes. Zbl 1412.68149
Degano, Pierpaolo; Priami, Corrado
3
1995
Causality for debugging mobile agents. Zbl 0932.68014
Degano, Pierpaolo; Priami, Corrado; Leth, Lone; Thomsen, Bent
3
1999
Enhanced operational semantics in systems biology. Zbl 1112.92302
Degano, Pierpaolo; Priami, Corrado
3
2003
Biological transactions for quantitative models. Zbl 1277.68173
Ciocchetta, Federica; Priami, Corrado
3
2007
Decidable extensions of Hennessy-Milner logic. Zbl 1225.03031
Mardare, Radu; Priami, Corrado
3
2006
Primitives for authentication in process algebras. Zbl 1050.68103
Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Priami, Corrado
2
2002
Mobile processes with a distributed environment. Zbl 1046.68613
Bodei, Chiara; Degano, Pierpaolo; Priami, Corrado
2
1996
Communicating by compatibility. Zbl 1137.68045
Prandi, Davide; Priami, Corrado; Quaglia, Paola
2
2008
Reflecting mobile ambients into the \(\pi \)-calculus. Zbl 1179.68101
Brodo, Linda; Degano, Pierpaolo; Priami, Corrado
2
2003
Process calculi in a biological context. Zbl 1169.68552
Prandi, D.; Priami, C.; Quaglia, P.
2
2005
BlenX – static and dynamic semantics. Zbl 1254.68060
Priami, Corrado; Quaglia, Paola; Romanel, Alessandro
2
2009
Model checking biological systems described using ambient calculus. Zbl 1088.68645
Mardare, Radu; Priami, Corrado; Quaglia, Paola; Vagin, Oleksandr
2
2005
Proved trees. Zbl 1425.68291
Degano, Pierpaolo; Priami, Corrado
1
1992
Efficient finite-difference method for computing sensitivities of biochemical reactions. Zbl 1407.92009
Thanh, Vo Hong; Zunino, Roberto; Priami, Corrado
1
2018
Modeling Kohn interaction maps with beta-binders: an example. Zbl 1151.92308
Ciocchetta, Federica; Priami, Corrado; Quaglia, Paola
1
2005
Transactions on Computational Systems Biology VII. Zbl 1136.92300
Priami, Corrado (ed.); Ingólfsdóttir, Anna (ed.); Mishra, Bud (ed.); Nielson, Hanne Riis (ed.)
1
2006
Performance evaluation for global computation. Zbl 1179.68016
Brodo, Linda; Degano, Pierpaolo; Gilmore, Stephen; Hillston, Jane; Priami, Corrado
1
2003
On the computational power of BlenX. Zbl 1186.68200
Romanel, Alessandro; Priami, Corrado
1
2010
Causality and replication in concurrent processes. Zbl 1254.68165
Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado
1
2003
On the decidability and complexity of the structural congruence for beta-binders. Zbl 1151.68040
Romanel, A.; Priami, C.
1
2008
HSimulator: hybrid stochastic/deterministic simulation of biochemical reaction networks. Zbl 1380.90204
Marchetti, Luca; Lombardo, Rosario; Priami, Corrado
1
2017
Efficient finite-difference method for computing sensitivities of biochemical reactions. Zbl 1407.92009
Thanh, Vo Hong; Zunino, Roberto; Priami, Corrado
1
2018
HSimulator: hybrid stochastic/deterministic simulation of biochemical reaction networks. Zbl 1380.90204
Marchetti, Luca; Lombardo, Rosario; Priami, Corrado
1
2017
HRSSA - efficient hybrid stochastic simulation for spatially homogeneous biochemical reaction networks. Zbl 1349.92070
Marchetti, Luca; Priami, Corrado; Thanh, Vo Hong
5
2016
On the computational power of BlenX. Zbl 1186.68200
Romanel, Alessandro; Priami, Corrado
1
2010
BlenX – static and dynamic semantics. Zbl 1254.68060
Priami, Corrado; Quaglia, Paola; Romanel, Alessandro
2
2009
Evolving BlenX programs to simulate the evolution of biological networks. Zbl 1160.68678
Dematté, L.; Priami, C.; Romanel, A.; Soyer, O.
10
2008
Communicating by compatibility. Zbl 1137.68045
Prandi, Davide; Priami, Corrado; Quaglia, Paola
2
2008
On the decidability and complexity of the structural congruence for beta-binders. Zbl 1151.68040
Romanel, A.; Priami, C.
1
2008
Modeling static biological compartments with beta-binders. Zbl 1126.92002
Guerriero, Maria Luisa; Priami, Corrado; Romanel, Alessandro
6
2007
The decidability of the structural congruence for beta-binders. Zbl 1277.68200
Priami, Corrado; Romanel, Alessandro
4
2007
Biological transactions for quantitative models. Zbl 1277.68173
Ciocchetta, Federica; Priami, Corrado
3
2007
Decidable extensions of Hennessy-Milner logic. Zbl 1225.03031
Mardare, Radu; Priami, Corrado
3
2006
Transactions on Computational Systems Biology VII. Zbl 1136.92300
Priami, Corrado; Ingólfsdóttir, Anna; Mishra, Bud; Nielson, Hanne Riis
1
2006
Beta binders for biological interactions. Zbl 1088.68646
Priami, Corrado; Quaglia, Paola
52
2005
Performance evaluation of security protocols specified in LySa. Zbl 1272.68225
Bodei, Chiara; Curti, Michele; Degano, Pierpaolo; Buchholtz, Mikael; Nielson, Flemming; Nielson, Hanne Riis; Priami, Corrado
7
2005
Operational patterns in beta-binders. Zbl 1117.92301
Priami, Corrado; Quaglia, Paola
5
2005
A quantitative study of two attacks. Zbl 1272.68049
Bodei, Chiara; Curti, Michele; Degano, Pierpaolo; Priami, Corrado
4
2005
Process calculi in a biological context. Zbl 1169.68552
Prandi, D.; Priami, C.; Quaglia, P.
2
2005
Model checking biological systems described using ambient calculus. Zbl 1088.68645
Mardare, Radu; Priami, Corrado; Quaglia, Paola; Vagin, Oleksandr
2
2005
Modeling Kohn interaction maps with beta-binders: an example. Zbl 1151.92308
Ciocchetta, Federica; Priami, Corrado; Quaglia, Paola
1
2005
Modelling biochemical pathways through enhanced \(\pi\)-calculus. Zbl 1071.68074
Curti, M.; Degano, P.; Priami, C.; Baldari, C. T.
13
2004
Enhanced operational semantics in systems biology. Zbl 1112.92302
Degano, Pierpaolo; Priami, Corrado
3
2003
Reflecting mobile ambients into the \(\pi \)-calculus. Zbl 1179.68101
Brodo, Linda; Degano, Pierpaolo; Priami, Corrado
2
2003
Performance evaluation for global computation. Zbl 1179.68016
Brodo, Linda; Degano, Pierpaolo; Gilmore, Stephen; Hillston, Jane; Priami, Corrado
1
2003
Causality and replication in concurrent processes. Zbl 1254.68165
Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado
1
2003
Language-based performance prediction for distributed and mobile systems. Zbl 1012.68115
Priami, Corrado
5
2002
A causal semantics for CCS via rewriting logic. Zbl 1026.68075
Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado
4
2002
Primitives for authentication in process algebras. Zbl 1050.68103
Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Priami, Corrado
2
2002
Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Zbl 0997.92018
Priami, Corrado; Regev, Aviv; Shapiro, Ehud; Silverman, William
72
2001
Names of the \(\pi\)-calculus agents handled locally. Zbl 0956.68007
Bodei, C.; Degano, P.; Priami, C.
5
2001
Non-interleaving semantics for mobile processes. Zbl 0914.68128
Degano, Pierpaolo; Priami, Corrado
19
1999
Causality for debugging mobile agents. Zbl 0932.68014
Degano, Pierpaolo; Priami, Corrado; Leth, Lone; Thomsen, Bent
3
1999
Mobile processes with a distributed environment. Zbl 1046.68613
Bodei, Chiara; Degano, Pierpaolo; Priami, Corrado
2
1996
Causality for mobile processes. Zbl 1412.68149
Degano, Pierpaolo; Priami, Corrado
3
1995
Automatizing parametric reasoning on distributed concurrent systems. Zbl 0829.68052
Inverardi, Paola; Priami, Corrado; Yankelevich, Daniel
6
1994
Proved trees. Zbl 1425.68291
Degano, Pierpaolo; Priami, Corrado
1
1992
Evaluation of tools for the analysis of communicating systems. Zbl 0757.68054
Inverardi, Paola; Priami, Corrado
5
1991
all top 5

Cited by 255 Authors

20 Priami, Corrado
15 Bodei, Chiara
9 Milazzo, Paolo
8 Hillston, Jane
7 Barbuti, Roberto
7 Brodo, Linda
7 Cardelli, Luca
7 Degano, Pierpaolo
7 Gori, Roberta
7 Maggiolo-Schettini, Andrea
6 Ciocchetta, Federica
6 Levi, Francesca
5 Bortolussi, Luca
5 Policriti, Alberto
5 Romanel, Alessandro
5 Uhrmacher, Adelinde M.
4 Calder, Muffy
4 Caravagna, Giulio
4 Chiarugi, Davide
4 Degasperi, Andrea
4 Galpin, Vashti
4 Hermith, Diana
4 John, Mathias
4 Nielson, Flemming
4 Phillips, Andrew
4 Piazza, Carla
4 Riis Nielson, Hanne
4 Troina, Angelo
4 Versari, Cristian
3 Busi, Nadia
3 Ferrari, Gian Luigi
3 Gardner, Philippa Anne
3 Inverardi, Paola
3 Kahramanoğulları, Ozan
3 Krivine, Jean
3 Quaglia, Paola
3 Yankelevich, Daniel
3 Yoshida, Nobuko
2 Anderson, David Frederick
2 Bacci, Giorgio
2 Caron, Emmanuelle
2 Danos, Vincent
2 De Nicola, Rocco
2 Falaschi, Moreno
2 Focardi, Riccardo
2 Galletta, Letterio
2 Gordon, Andrew D.
2 Hamano, Masahiro
2 Hansen, René Rydhof
2 Laneve, Cosimo
2 Lhoussaine, Cédric
2 Mardare, Radu
2 Martí-Oliet, Narciso
2 Meseguer Guaita, José
2 Mezzina, Claudio Antares
2 Miculan, Marino
2 Niehren, Joachim
2 Olarte, Carlos
2 Pardini, Giovanni
2 Paulevé, Loïc
2 Pilegaard, Henrik
2 Plotkin, Gordon D.
2 Tarasyuk, Igor’ Valer’evich
2 Thanh, Vo Hong
2 Wolf, Verena
2 Yuan, Chaojie
2 Zavattaro, Gianluigi
2 Zunino, Roberto
1 Aceto, Luca
1 Almasizadeh, Jaafar
1 Åman Pohjola, Johannes
1 Antoniotti, Marco
1 Apolloni, Bruno
1 Azgomi, Mohammad Abdollahi
1 Baldari, Cosima Tatiana
1 Ballarini, Paolo
1 Bantang, Johnrob Y.
1 Bartoletti, Massimo
1 Bassis, Simone
1 Basuki, Thomas Anung
1 Batt, Grégory
1 Bioglio, Livio
1 Bøgholm, Thomas
1 Borgström, Johannes
1 Bracciali, Andrea
1 Brebner, Gordon
1 Brim, Luboš
1 Bruni, Roberto
1 Brusò, Mayla
1 Çapar, Çağatay
1 Cappello, Igor
1 Carenini, Marco
1 Casagrande, Alberto
1 Cattani, Gian Luca
1 Cerone, Antonio
1 Chatzikokolakis, Konstantinos
1 Cheney, James
1 Chessa, Stefano
1 Cleaveland, Rance
1 Clivio, Alberto
...and 155 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.