×

zbMATH — the first resource for mathematics

Pugliese, Rosario

Compute Distance To:
Author ID: pugliese.rosario Recent zbMATH articles by "Pugliese, Rosario"
Published as: Pugliese, R.; Pugliese, Rosario
External Links: MGP · ORCID · dblp
Documents Indexed: 40 Publications since 1997, including 1 Book

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 174 times in 122 Documents Cited by Year
A calculus for orchestration of web services. Zbl 1187.68070
Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco
29
2007
Proof techniques for cryptographic processes. Zbl 1017.68050
Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario
20
2002
The Klaim project: Theory and practice. Zbl 1179.68027
Bettini, Lorenzo; Bono, Viviana; De Nicola, Rocco; Ferrari, Gianluigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, Emilio; Venneri, Betti
12
2003
Basic observables for processes. Zbl 0928.68013
Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario
12
1999
Trace and testing equivalence on asynchronous processes. Zbl 1009.68079
Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario
11
2002
On the expressive power of Klaim-based calculi. Zbl 1092.68070
de Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
9
2006
Types for access control. Zbl 0954.68025
Nicola, R.; Ferrari, G.-L.; Pugliese, R.; Venneri, B.
9
2000
Klava: a Java package for distributed and mobile applications. Zbl 1009.68933
Bettini, Lorenzo; De Nicola, Rocco; Pugliese, Rosario
7
2002
Basic observables for a calculus for global computing. Zbl 1119.68124
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
6
2007
Programming and verifying component ensembles. Zbl 1416.68051
De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco
5
2014
From flow logic to static type systems for coordination languages. Zbl 1192.68126
de Nicola, Rocco; Gorla, Daniele; Hansen, René Rydhof; Nielson, Flemming; Nielson, Hanne Riis; Probst, Christian W.; Pugliese, Rosario
5
2010
Regulating data exchange in service oriented applications. Zbl 1141.68509
Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco
5
2007
A WSDL-based type system for asynchronous WS-BPEL processes. Zbl 1217.68061
Lapadula, A.; Pugliese, R.; Tiezzi, F.
4
2011
COWS: A timed service-oriented calculus. Zbl 1147.68846
Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco
4
2007
Basic observables for a calculus for global computing. Zbl 1085.68098
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
4
2005
Dynamic and local typing for mobile ambients. Zbl 1094.68060
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Pugliese, Rosario
4
2004
Resource access and mobility control with dynamic privileges acquisition. Zbl 1039.68542
Gorla, Daniele; Pugliese, Rosario
4
2003
Dynamic management of capabilities in a network aware coordination language. Zbl 1183.68041
Gorla, Daniele; Pugliese, Rosario
3
2009
A mobility calculus with local and dependent types. Zbl 1171.68566
Coppo, Mario; Cozzi, Federico; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Pugliese, Rosario
3
2005
A formal basis for reasoning on programmable QoS. Zbl 1274.68022
De Nicola, Rocco; Ferrari, Gianluigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, Emilio
3
2003
Programming autonomic systems with multiple constraint stores. Zbl 1454.68126
Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco
2
2015
Global computing in a dynamic network of tuple spaces. Zbl 1178.68160
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
2
2007
Confining data and processes in global computing applications. Zbl 1137.68333
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
2
2006
Linda-based applicative and imperative process algebras. Zbl 0944.68064
Nicola, R. D.; Pugliese, R.
2
2000
An accessible verification environment for UML models of services. Zbl 1215.68065
Banti, Federico; Pugliese, Rosario; Tiezzi, Francesco
1
2011
On observing dynamic prioritised actions in SOC. Zbl 1248.68099
Pugliese, Rosario; Tiezzi, Francesco; Yoshida, Nobuko
1
2009
On the expressive power of Klaim-based calculi. Zbl 1272.68298
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
1
2005
MetaKlaim: a type safe multi-stage language for global computing. Zbl 1085.68013
Ferrari, Gianluigi; Moggi, Eugenio; Pugliese, Rosario
1
2004
Divergence in testing and readiness semantics. Zbl 0989.68084
Boreale, M.; Nicola, R. D.; Pugliese, R.
1
2001
Programming access control: The KLAIM experience. Zbl 0999.68557
De Nicola, Rocco; Ferrari, GianLuigi; Pugliese, Rosario
1
2000
Towards verified lazy implementation of concurrent value-passing languages (abstract). Zbl 0966.68032
Ingólfsdóttir, Anna; Pugliese, Rosario
1
1999
Programming autonomic systems with multiple constraint stores. Zbl 1454.68126
Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco
2
2015
Programming and verifying component ensembles. Zbl 1416.68051
De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco
5
2014
A WSDL-based type system for asynchronous WS-BPEL processes. Zbl 1217.68061
Lapadula, A.; Pugliese, R.; Tiezzi, F.
4
2011
An accessible verification environment for UML models of services. Zbl 1215.68065
Banti, Federico; Pugliese, Rosario; Tiezzi, Francesco
1
2011
From flow logic to static type systems for coordination languages. Zbl 1192.68126
de Nicola, Rocco; Gorla, Daniele; Hansen, René Rydhof; Nielson, Flemming; Nielson, Hanne Riis; Probst, Christian W.; Pugliese, Rosario
5
2010
Dynamic management of capabilities in a network aware coordination language. Zbl 1183.68041
Gorla, Daniele; Pugliese, Rosario
3
2009
On observing dynamic prioritised actions in SOC. Zbl 1248.68099
Pugliese, Rosario; Tiezzi, Francesco; Yoshida, Nobuko
1
2009
A calculus for orchestration of web services. Zbl 1187.68070
Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco
29
2007
Basic observables for a calculus for global computing. Zbl 1119.68124
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
6
2007
Regulating data exchange in service oriented applications. Zbl 1141.68509
Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco
5
2007
COWS: A timed service-oriented calculus. Zbl 1147.68846
Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco
4
2007
Global computing in a dynamic network of tuple spaces. Zbl 1178.68160
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
2
2007
On the expressive power of Klaim-based calculi. Zbl 1092.68070
de Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
9
2006
Confining data and processes in global computing applications. Zbl 1137.68333
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
2
2006
Basic observables for a calculus for global computing. Zbl 1085.68098
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
4
2005
A mobility calculus with local and dependent types. Zbl 1171.68566
Coppo, Mario; Cozzi, Federico; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Pugliese, Rosario
3
2005
On the expressive power of Klaim-based calculi. Zbl 1272.68298
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
1
2005
Dynamic and local typing for mobile ambients. Zbl 1094.68060
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio; Pugliese, Rosario
4
2004
MetaKlaim: a type safe multi-stage language for global computing. Zbl 1085.68013
Ferrari, Gianluigi; Moggi, Eugenio; Pugliese, Rosario
1
2004
The Klaim project: Theory and practice. Zbl 1179.68027
Bettini, Lorenzo; Bono, Viviana; De Nicola, Rocco; Ferrari, Gianluigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, Emilio; Venneri, Betti
12
2003
Resource access and mobility control with dynamic privileges acquisition. Zbl 1039.68542
Gorla, Daniele; Pugliese, Rosario
4
2003
A formal basis for reasoning on programmable QoS. Zbl 1274.68022
De Nicola, Rocco; Ferrari, Gianluigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, Emilio
3
2003
Proof techniques for cryptographic processes. Zbl 1017.68050
Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario
20
2002
Trace and testing equivalence on asynchronous processes. Zbl 1009.68079
Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario
11
2002
Klava: a Java package for distributed and mobile applications. Zbl 1009.68933
Bettini, Lorenzo; De Nicola, Rocco; Pugliese, Rosario
7
2002
Divergence in testing and readiness semantics. Zbl 0989.68084
Boreale, M.; Nicola, R. D.; Pugliese, R.
1
2001
Types for access control. Zbl 0954.68025
Nicola, R.; Ferrari, G.-L.; Pugliese, R.; Venneri, B.
9
2000
Linda-based applicative and imperative process algebras. Zbl 0944.68064
Nicola, R. D.; Pugliese, R.
2
2000
Programming access control: The KLAIM experience. Zbl 0999.68557
De Nicola, Rocco; Ferrari, GianLuigi; Pugliese, Rosario
1
2000
Basic observables for processes. Zbl 0928.68013
Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario
12
1999
Towards verified lazy implementation of concurrent value-passing languages (abstract). Zbl 0966.68032
Ingólfsdóttir, Anna; Pugliese, Rosario
1
1999
all top 5

Cited by 216 Authors

11 Pugliese, Rosario
10 De Nicola, Rocco
10 Nielson, Flemming
9 Riis Nielson, Hanne
8 Gorla, Daniele
6 Montanari, Ugo G.
6 Tiezzi, Francesco
4 Dezani-Ciancaglini, Mariangiola
4 Lanese, Ivan
4 Loreti, Michele
4 Pantović, Jovanka
4 Vieira, Hugo Torres
3 Boreale, Michele
3 Borgström, Johannes
3 Bruni, Roberto
3 Ghilezan, Silvia
3 Hennessy, Matthew C. B.
3 Hüttel, Hans
3 Latella, Diego
3 Massink, Mieke
3 Sammartino, Matteo
3 Stahl, Christian
3 Vogler, Walter
3 Yoshida, Nobuko
2 Abadi, Martín
2 Amadio, Roberto M.
2 Bertolotti, Ivan Cibrario
2 Bocchi, Laura
2 Bodei, Chiara
2 Bugliesi, Michele
2 Capecchi, Sara
2 Castellani, Ilaria
2 Cortier, Véronique
2 Delaune, Stéphanie
2 Diaz, Gregorio
2 Durante, Luca
2 El-Zawawy, Mohamed A.
2 Ferrari, Gian Luigi
2 Fournet, Cédric
2 Gadducci, Fabio
2 Giachino, Elena
2 Gnesi, Stefania
2 Lluch Lafuente, Alberto
2 Nanz, Sebastian
2 Neykova, Rumyana
2 Pérez, Jorge A.
2 Ravara, António
2 Sangiorgi, Davide
2 Santini, Francesco
2 Sisto, Riccardo
2 ter Beek, Maurice H.
2 Valenzano, Adriano
2 Varacca, Daniele
2 Wirsing, Martin
2 Zavattaro, Gianluigi
1 Abbasi, Rosa
1 Abreu Júnior, João Carlos
1 Aceto, Luca
1 Al-Humaimeedy, Abeer S.
1 Alrahman, Yehia Abd
1 AlTurki, Musab A.
1 Arbab, Farhad
1 Baldan, Paolo
1 Banti, Federico
1 Barbanera, Franco
1 Bartoletti, Massimo
1 Berardi, Stefano
1 Bettini, Lorenzo
1 Bhattacharyya, Anirban
1 Bistarelli, Stefano
1 Blanchet, Bruno
1 Bonchi, Filippo
1 Bono, Viviana
1 Bravetti, Mario
1 Brodo, Linda
1 Brzeziński, Jerzy
1 Cacciagrano, Diletta Romana
1 Caires, Luís
1 Cambronero, María Emilia
1 Castagna, Giuseppe
1 Chen, Jianwen
1 Chen, Zhenbang
1 Cheval, Vincent
1 Chevalier, Yannick
1 Ciancia, Vincenzo
1 Ciobanu, Gabriel
1 Clarke, Dave
1 Colazzo, Dario
1 Corradini, Flavio
1 Crafa, Silvia
1 Cruz-Filipe, Luís
1 Dawson, Jeremy E.
1 Degano, Pierpaolo
1 de’Liguoro, Ugo
1 Demangeon, Romain
1 Deniélou, Pierre-Malo
1 Dwornikowski, Dariusz
1 Eriksson, Lars-Henrik
1 Fantechi, Alessandro
1 Feng, Cheng
...and 116 more Authors

Citations by Year