×

zbMATH — the first resource for mathematics

Tiezzi, Francesco

Compute Distance To:
Author ID: tiezzi.francesco Recent zbMATH articles by "Tiezzi, Francesco"
Published as: Tiezzi, F.; Tiezzi, Francesco
External Links: MGP
Documents Indexed: 20 Publications since 2007

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 79 times in 54 Documents Cited by Year
A calculus for orchestration of web services. Zbl 1187.68070
Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco
29
2007
Causal-consistent reversibility. Zbl 1409.68117
Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
9
2014
Causal-consistent rollback in a tuple-based language. Zbl 1362.68213
Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
8
2017
Reversible session-based pi-calculus. Zbl 1337.68075
Tiezzi, Francesco; Yoshida, Nobuko
7
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
Regulating data exchange in service oriented applications. Zbl 1141.68509
Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco
5
2007
Reversing single sessions. Zbl 06610597
Tiezzi, Francesco; Yoshida, Nobuko
4
2016
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
Programming autonomic systems with multiple constraint stores. Zbl 1454.68126
Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco
2
2015
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
Causal-consistent rollback in a tuple-based language. Zbl 1362.68213
Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
8
2017
Reversing single sessions. Zbl 06610597
Tiezzi, Francesco; Yoshida, Nobuko
4
2016
Reversible session-based pi-calculus. Zbl 1337.68075
Tiezzi, Francesco; Yoshida, Nobuko
7
2015
Programming autonomic systems with multiple constraint stores. Zbl 1454.68126
Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco
2
2015
Causal-consistent reversibility. Zbl 1409.68117
Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
9
2014
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
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
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
all top 5

Cited by 111 Authors

8 Lanese, Ivan
8 Tiezzi, Francesco
6 Dezani-Ciancaglini, Mariangiola
5 Castellani, Ilaria
5 Mezzina, Claudio Antares
5 Pugliese, Rosario
5 Yoshida, Nobuko
3 De Nicola, Rocco
3 Giannini, Paola
3 Nielson, Flemming
3 Pérez, Jorge A.
3 Riis Nielson, Hanne
2 Bocchi, Laura
2 Bruni, Roberto
2 Capecchi, Sara
2 Ferrari, Gian Luigi
2 Ghilezan, Silvia
2 Giachino, Elena
2 Gnesi, Stefania
2 Latella, Diego
2 Loreti, Michele
2 Massink, Mieke
2 Neykova, Rumyana
2 Palacios, Adrian G.
2 Pantović, Jovanka
2 ter Beek, Maurice H.
2 Ulidowski, Irek
2 Vidal, Germán
2 Vieira, Hugo Torres
2 Zavattaro, Gianluigi
1 Abreu Júnior, João Carlos
1 Al-Humaimeedy, Abeer S.
1 AlTurki, Musab A.
1 Balsamo, Simonetta
1 Banti, Federico
1 Barbanera, Franco
1 Bartoletti, Massimo
1 Bhattacharyya, Anirban
1 Boreale, Michele
1 Bravetti, Mario
1 Brzeziński, Jerzy
1 Cambronero, María Emilia
1 Cavallin, Filippo
1 Chen, Zhenbang
1 Ciancia, Vincenzo
1 Cruz-Filipe, Luís
1 de’Liguoro, Ugo
1 Demangeon, Romain
1 Deniélou, Pierre-Malo
1 Diaz, Gregorio
1 Dwornikowski, Dariusz
1 Fantechi, Alessandro
1 Feng, Cheng
1 Fernández, Maribel
1 Ferreira, Carla
1 Fiadeiro, José Luiz
1 Galpin, Vashti
1 Gao, Han
1 Gibbons, Jeremy
1 Gorton, Stephen
1 Guanciale, Roberto
1 Hennicker, Rolf
1 Hillston, Jane
1 Hoey, James
1 Honda, Kohei
1 Horne, Ross
1 Hu, Raymond
1 Jakšić, Svetlana
1 Kapus-Kolar, Monika
1 Kapus, Tatjana
1 Klarl, Annabelle
1 Lapadula, Alessandro
1 Li, Ximeng
1 Liu, Zhiming
1 Lluch Lafuente, Alberto
1 Lopes, Antónia
1 Macià, Hermenegilda
1 Marin, Andrea
1 Martins, Francisco
1 Mazzanti, Franco
1 Medić, Doriana
1 Melgratti, Hernán
1 Meseguer Guaita, José
1 Michaux, Jonathan
1 Mokhov, Andrey
1 Montanari, Ugo G.
1 Montesi, Fabrizio
1 Najm, Elie
1 Nishida, Naoki
1 Pierce, Ken G.
1 Prandi, Davide
1 Priami, Corrado
1 Quaglia, Paola
1 Ravara, António
1 Reiff-Marganiec, Stephan
1 Rossi, Sabina
1 Sebastianis, Maurizio
1 Stefani, Jean-Bernard
1 Stroiński, Andrzej
1 Strollo, Daniele
...and 11 more Authors

Citations by Year