×

zbMATH — the first resource for mathematics

Ferrari, Gian Luigi

Compute Distance To:
Author ID: ferrari.gian-luigi Recent zbMATH articles by "Ferrari, Gian Luigi"
Published as: Ferrari, G. L.; Ferrari, G.-L.; Ferrari, Gian Luigi; Ferrari, Gian-Luigi; Ferrari, GianLuigi; Ferrari, Gianluigi
External Links: ORCID · dblp
Documents Indexed: 62 Publications since 1990, including 3 Books

Publications by Year

Citations contained in zbMATH Open

43 Publications have been cited 151 times in 122 Documents Cited by Year
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
Minimizing transition systems for name passing calculi: A co-algebraic formulation. Zbl 1077.68716
Ferrari, Gianluigi; Montanari, Ugo; Pistore, Marco
12
2002
Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types. Zbl 1070.68102
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio
11
2005
Types for access control. Zbl 0954.68025
Nicola, R.; Ferrari, G.-L.; Pugliese, R.; Venneri, B.
9
2000
Towards the unification of models for concurrency. Zbl 0758.68027
Ferrari, Gian Luigi; Montanari, Ugo
9
1990
Tile formats for located and mobile systems. Zbl 1046.68619
Ferrari, GianLuigi; Montanari, Ugo
8
2000
Synchronised hyperedge replacement as a model for service oriented computing. Zbl 1196.68025
Ferrari, Gian Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, Emilio
6
2006
An extended expansion theorem. Zbl 0967.68513
Ferrari, Gian Luigi; Gorrieri, Roberto; Montanari, Ugo
6
1991
Types and effects for resource usage analysis. Zbl 1195.68027
Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto
5
2007
A LTS semantics of ambients via graph synchronization with mobility. Zbl 1042.68615
Ferrari, GianLuigi; Montanari, Ugo; Tuosto, Emilio
5
2001
A \(\pi\)-calculus with explicit substitutions. Zbl 0874.68197
Ferrari, Gian-Luigi; Montanari, Ugo; Quaglia, Paola
5
1996
Tracing where IoT data are collected and aggregated. Zbl 06790142
Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
4
2017
Model checking usage policies. Zbl 1361.68133
Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto
4
2015
Structured transition systems with parametric observations: Observational congruences and minimal realizations. Zbl 0878.68084
Ferrari, Gianluigi; Montanari, Ugo; Mowbray, Miranda
4
1997
Observational logics and concurrency models. Zbl 0732.03024
De Nicola, Rocco; Ferrari, Gian Luigi
4
1990
Coordination via types in an event-based framework. Zbl 1215.68148
Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, Emilio
3
2007
Modelling fusion calculus using HD-automata. Zbl 1151.68527
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio; Victor, Björn; Yemane, Kidane
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
New bounds for the Marcum \(Q\)-function. Zbl 1062.94003
Corazza, Giovanni E.; Ferrari, Gianluigi
3
2002
Eager, busy-waiting lazy actions in timed computation? Zbl 0911.68116
Corradini, Flavio; Ferrari, GianLuigi; Pistore, Marco
3
1997
Automata for specifying and orchestrating service contracts. Zbl 1398.68296
Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi
2
2016
Automata for analysing service contracts. Zbl 1444.68110
Basile, Davide; Degano, Pierpaolo; Ferrari, Gian Luigi
2
2014
Nominal automata for resource usage control. Zbl 1297.68121
Degano, Pierpaolo; Ferrari, Gian-Luigi; Mezzetti, Gianluca
2
2012
\(\nu \)-types for effects and freshness analysis. Zbl 1250.68085
Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto
2
2009
Event-based service coordination. Zbl 1143.68375
Ferrari, Gian-Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, Emilio
2
2008
Model checking for nominal calculi. Zbl 1119.68115
Ferrari, Gian Luigi; Montanari, Ugo; Tuosto, Emilio
2
2005
A tile-based coordination view of asynchronous \(\pi\)-calculus. Zbl 0941.68089
Ferrari, GianLuigi; Montanari, Ugo
2
1997
Tiles for concurrent and located calculi? Zbl 0911.68056
Ferrari, GianLuigi; Montanari, Ugo
2
1997
On causality observed incrementally, finally. Zbl 0967.68519
Ferrari, Gian Luigi; Montanari, Ugo; Mowbray, Miranda
2
1991
Relating two automata-based models of orchestration and choreography. Zbl 1352.68125
Basile, D.; Degano, P.; Ferrari, G. L.; Tuosto, E.
1
2016
Enforcing security mechanisms in the IP-based Internet of things: an algorithmic overview. Zbl 07042158
Cirani, Simone; Ferrari, Gianluigi; Veltri, Luca
1
2013
Event based choreography. Zbl 1209.68032
Ciancia, Vincenzo; Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele
1
2010
Hard life with weak binders. Zbl 1291.68278
Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto
1
2009
Secure service orchestration. Zbl 1195.68015
Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto
1
2007
A coordination-based methodology for security protocol verification. Zbl 1272.68048
Baldi, Giacomo; Bracciali, Andrea; Ferrari, Gianluigi; Tuosto, Emilio
1
2005
Checking risky events is enough for local policies. Zbl 1171.68406
Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi
1
2005
History-based access control with local policies. Zbl 1118.68404
Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi
1
2005
MetaKlaim: a type safe multi-stage language for global computing. Zbl 1085.68013
Ferrari, Gianluigi; Moggi, Eugenio; Pugliese, Rosario
1
2004
Mark, a reasoning kit for mobility. Zbl 1034.68600
Ferrari, Gianluigi; Montangero, C.; Semini, L.; Semprini, S.
1
2002
On the semantics of durational actions. Zbl 0983.68116
Corradini, Flavio; Ferrari, GianLuigi; Pistore, Marco
1
2001
Programming access control: The KLAIM experience. Zbl 0999.68557
De Nicola, Rocco; Ferrari, GianLuigi; Pugliese, Rosario
1
2000
Parameterized structured operational semantics. Zbl 0904.68132
Ferrari, Gian Luigi; Montanari, Ugo
1
1998
Atomicity and concurrency control in process calculi. Zbl 0870.68067
Ferrari, Gian-Luigi
1
1997
Tracing where IoT data are collected and aggregated. Zbl 06790142
Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
4
2017
Automata for specifying and orchestrating service contracts. Zbl 1398.68296
Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi
2
2016
Relating two automata-based models of orchestration and choreography. Zbl 1352.68125
Basile, D.; Degano, P.; Ferrari, G. L.; Tuosto, E.
1
2016
Model checking usage policies. Zbl 1361.68133
Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto
4
2015
Automata for analysing service contracts. Zbl 1444.68110
Basile, Davide; Degano, Pierpaolo; Ferrari, Gian Luigi
2
2014
Enforcing security mechanisms in the IP-based Internet of things: an algorithmic overview. Zbl 07042158
Cirani, Simone; Ferrari, Gianluigi; Veltri, Luca
1
2013
Nominal automata for resource usage control. Zbl 1297.68121
Degano, Pierpaolo; Ferrari, Gian-Luigi; Mezzetti, Gianluca
2
2012
Event based choreography. Zbl 1209.68032
Ciancia, Vincenzo; Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele
1
2010
\(\nu \)-types for effects and freshness analysis. Zbl 1250.68085
Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto
2
2009
Hard life with weak binders. Zbl 1291.68278
Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto
1
2009
Event-based service coordination. Zbl 1143.68375
Ferrari, Gian-Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, Emilio
2
2008
Types and effects for resource usage analysis. Zbl 1195.68027
Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto
5
2007
Coordination via types in an event-based framework. Zbl 1215.68148
Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, Emilio
3
2007
Secure service orchestration. Zbl 1195.68015
Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto
1
2007
Synchronised hyperedge replacement as a model for service oriented computing. Zbl 1196.68025
Ferrari, Gian Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, Emilio
6
2006
Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types. Zbl 1070.68102
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio
11
2005
Modelling fusion calculus using HD-automata. Zbl 1151.68527
Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio; Victor, Björn; Yemane, Kidane
3
2005
Model checking for nominal calculi. Zbl 1119.68115
Ferrari, Gian Luigi; Montanari, Ugo; Tuosto, Emilio
2
2005
A coordination-based methodology for security protocol verification. Zbl 1272.68048
Baldi, Giacomo; Bracciali, Andrea; Ferrari, Gianluigi; Tuosto, Emilio
1
2005
Checking risky events is enough for local policies. Zbl 1171.68406
Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi
1
2005
History-based access control with local policies. Zbl 1118.68404
Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi
1
2005
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
A formal basis for reasoning on programmable QoS. Zbl 1274.68022
De Nicola, Rocco; Ferrari, Gianluigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, Emilio
3
2003
Minimizing transition systems for name passing calculi: A co-algebraic formulation. Zbl 1077.68716
Ferrari, Gianluigi; Montanari, Ugo; Pistore, Marco
12
2002
New bounds for the Marcum \(Q\)-function. Zbl 1062.94003
Corazza, Giovanni E.; Ferrari, Gianluigi
3
2002
Mark, a reasoning kit for mobility. Zbl 1034.68600
Ferrari, Gianluigi; Montangero, C.; Semini, L.; Semprini, S.
1
2002
A LTS semantics of ambients via graph synchronization with mobility. Zbl 1042.68615
Ferrari, GianLuigi; Montanari, Ugo; Tuosto, Emilio
5
2001
On the semantics of durational actions. Zbl 0983.68116
Corradini, Flavio; Ferrari, GianLuigi; Pistore, Marco
1
2001
Types for access control. Zbl 0954.68025
Nicola, R.; Ferrari, G.-L.; Pugliese, R.; Venneri, B.
9
2000
Tile formats for located and mobile systems. Zbl 1046.68619
Ferrari, GianLuigi; Montanari, Ugo
8
2000
Programming access control: The KLAIM experience. Zbl 0999.68557
De Nicola, Rocco; Ferrari, GianLuigi; Pugliese, Rosario
1
2000
Parameterized structured operational semantics. Zbl 0904.68132
Ferrari, Gian Luigi; Montanari, Ugo
1
1998
Structured transition systems with parametric observations: Observational congruences and minimal realizations. Zbl 0878.68084
Ferrari, Gianluigi; Montanari, Ugo; Mowbray, Miranda
4
1997
Eager, busy-waiting lazy actions in timed computation? Zbl 0911.68116
Corradini, Flavio; Ferrari, GianLuigi; Pistore, Marco
3
1997
A tile-based coordination view of asynchronous \(\pi\)-calculus. Zbl 0941.68089
Ferrari, GianLuigi; Montanari, Ugo
2
1997
Tiles for concurrent and located calculi? Zbl 0911.68056
Ferrari, GianLuigi; Montanari, Ugo
2
1997
Atomicity and concurrency control in process calculi. Zbl 0870.68067
Ferrari, Gian-Luigi
1
1997
A \(\pi\)-calculus with explicit substitutions. Zbl 0874.68197
Ferrari, Gian-Luigi; Montanari, Ugo; Quaglia, Paola
5
1996
An extended expansion theorem. Zbl 0967.68513
Ferrari, Gian Luigi; Gorrieri, Roberto; Montanari, Ugo
6
1991
On causality observed incrementally, finally. Zbl 0967.68519
Ferrari, Gian Luigi; Montanari, Ugo; Mowbray, Miranda
2
1991
Towards the unification of models for concurrency. Zbl 0758.68027
Ferrari, Gian Luigi; Montanari, Ugo
9
1990
Observational logics and concurrency models. Zbl 0732.03024
De Nicola, Rocco; Ferrari, Gian Luigi
4
1990
all top 5

Cited by 184 Authors

27 Montanari, Ugo G.
12 Bruni, Roberto
10 Ferrari, Gian Luigi
9 De Nicola, Rocco
9 Gadducci, Fabio
6 Degano, Pierpaolo
6 Nielson, Flemming
5 Corradini, Andrea
5 Pugliese, Rosario
5 Riis Nielson, Hanne
4 Bodei, Chiara
4 Ciancia, Vincenzo
4 Corradini, Flavio
4 Lanese, Ivan
4 Lluch Lafuente, Alberto
4 Sammartino, Matteo
3 Baricz, Árpád
3 Bracciali, Andrea
3 Dezani-Ciancaglini, Mariangiola
3 Galletta, Letterio
3 Gorla, Daniele
3 Kurz, Alexander
3 Loreti, Michele
3 Priami, Corrado
3 Tuosto, Emilio
2 Baldan, Paolo
2 Barbanera, Franco
2 Bartoletti, Massimo
2 Basile, Davide
2 Boreale, Michele
2 Bugliesi, Michele
2 Castagna, Giuseppe
2 Cho, Kenta
2 Gorrieri, Roberto
2 Guzmán, Michell
2 Hasuo, Ichiro
2 Kataoka, Toshiki
2 Leal, Raul Andres
2 Merro, Massimo
2 Meseguer Guaita, José
2 Mezzetti, Gianluca
2 Monreale, Giacoma Valentina
2 Nanz, Sebastian
2 Perchy, Salim
2 Quaglia, Paola
2 Rueda, Camilo
2 Santini, Francesco
2 Sassone, Vladimiro
2 Staton, Sam
2 Tiezzi, Francesco
2 Valencia, Frank D.
2 Varacca, Daniele
2 Worytkiewicz, Krzysztof
2 Yankelevich, Daniel
2 Zunino, Roberto
1 Abioye, Olumide
1 AlTurki, Musab A.
1 Arbab, Farhad
1 Arrighi, Pablo
1 Astesiano, Egidio
1 Ballardin, Francesco
1 Baranov, Eduard
1 Belkhir, Walid
1 Bettini, Lorenzo
1 Bigi, Giancarlo
1 Bisht, Nitin
1 Bistarelli, Stefano
1 Biswas, B. B.
1 Bliudze, Simon
1 Bonchi, Filippo
1 Bono, Viviana
1 Bundgaard, Mikkel
1 Carbone, Marco
1 Chechik, Marsha
1 Chessa, Stefano
1 Chevalier, Yannick
1 Cimoli, Tiziana
1 Ciobanu, Gabriel
1 Clarke, Dave
1 Colazzo, Dario
1 Crafa, Silvia
1 Di Cola, Dino
1 Di Gianantonio, Pietro
1 Du, Yuyue
1 Dulebenets, Maxim A.
1 Fiore, Marcelo P.
1 Galpin, Vashti
1 Ghezzi, Carlo
1 Ghilezan, Silvia
1 Giachino, Elena
1 Giovini, Alessandro
1 Godskesen, Jens Chr.
1 Guanciale, Roberto
1 Gumm, Heinz-Peter
1 Hankin, Chris L.
1 Hansen, René Rydhof
1 Heckel, Reiko
1 Hildebrandt, Thomas T.
1 Hirschkoff, Daniel
1 Hölzl, Matthias M.
...and 84 more Authors

Citations by Year