Edit Profile Ferrari, Gian Luigi Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 3 single-authored 18 Degano, Pierpaolo 17 Montanari, Ugo G. 14 Tuosto, Emilio 8 Bartoletti, Massimo 7 Pugliese, Rosario 6 De Nicola, Rocco 5 Bodei, Chiara 5 Zunino, Roberto 4 Basile, Davide 4 Pistore, Marco 3 Ciancia, Vincenzo 3 Galletta, Letterio 3 Guanciale, Roberto 3 Mezzetti, Gianluca 3 Moggi, Eugenio 3 Strollo, Daniele 2 Corradini, Flavio 2 Mowbray, Miranda 2 Priami, Corrado 2 Venneri, Betti 1 Baldamus, Michael 1 Baldi, Giacomo 1 Bengtson, Jesper 1 Bettini, Lorenzo 1 Bono, Viviana 1 Bracciali, Andrea 1 Chugg, Keith M. 1 Cirani, Simone 1 Colavolpe, Giulio 1 Corazza, Giovanni Emanuele 1 Gorla, Daniele 1 Gorrieri, Roberto 1 Hirsch, Dan 1 Lanese, Ivan 1 Loreti, Michele 1 Meredith, Greg 1 Montangero, Carlo 1 Nicola, R. D. 1 Quaglia, Paola 1 Raggi, Roberto 1 Raheli, Riccardo 1 Semini, Laura 1 Semprini, Simone 1 Tiezzi, Francesco 1 Veltri, Luca 1 Victor, Björn 1 Yemane, Kidane all top 5 Serials 4 Theoretical Computer Science 3 MSCS. Mathematical Structures in Computer Science 2 IEEE Transactions on Information Theory 2 Annales Societatis Mathematicae Polonae. Series IV 2 Lecture Notes in Computer Science 2 Logical Methods in Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Acta Informatica 1 IEEE Transactions on Communications 1 Science of Computer Programming 1 Information and Computation 1 1 Algorithms 1 Signals and Communication Technology all top 5 Fields 58 Computer science (68-XX) 7 Information and communication theory, circuits (94-XX) 5 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 2 Operations research, mathematical programming (90-XX) 1 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 Category theory; homological algebra (18-XX) 1 Special functions (33-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 43 Publications have been cited 150 times in 121 Documents Cited by ▼ Year ▼ The Klaim project: Theory and practice. Zbl 1179.68027Bettini, 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.68716Ferrari, Gianluigi; Montanari, Ugo; Pistore, Marco 12 2002 Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types. Zbl 1070.68102Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio 11 2005 Types for access control. Zbl 0954.68025Nicola, R.; Ferrari, G.-L.; Pugliese, R.; Venneri, B. 9 2000 Towards the unification of models for concurrency. Zbl 0758.68027Ferrari, Gian Luigi; Montanari, Ugo 9 1990 Tile formats for located and mobile systems. Zbl 1046.68619Ferrari, GianLuigi; Montanari, Ugo 8 2000 An extended expansion theorem. Zbl 0967.68513Ferrari, Gian Luigi; Gorrieri, Roberto; Montanari, Ugo 6 1991 Types and effects for resource usage analysis. Zbl 1195.68027Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto 5 2007 Synchronised hyperedge replacement as a model for service oriented computing. Zbl 1196.68025Ferrari, Gian Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, Emilio 5 2006 A LTS semantics of ambients via graph synchronization with mobility. Zbl 1042.68615Ferrari, GianLuigi; Montanari, Ugo; Tuosto, Emilio 5 2001 A \(\pi\)-calculus with explicit substitutions. Zbl 0874.68197Ferrari, Gian-Luigi; Montanari, Ugo; Quaglia, Paola 5 1996 Tracing where IoT data are collected and aggregated. Zbl 06790142Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio 4 2017 Model checking usage policies. Zbl 1361.68133Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto 4 2015 Structured transition systems with parametric observations: Observational congruences and minimal realizations. Zbl 0878.68084Ferrari, Gianluigi; Montanari, Ugo; Mowbray, Miranda 4 1997 Observational logics and concurrency models. Zbl 0732.03024De Nicola, Rocco; Ferrari, Gian Luigi 4 1990 Coordination via types in an event-based framework. Zbl 1215.68148Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, Emilio 3 2007 Modelling fusion calculus using HD-automata. Zbl 1151.68527Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio; Victor, Björn; Yemane, Kidane 3 2005 A formal basis for reasoning on programmable QoS. Zbl 1274.68022De Nicola, Rocco; Ferrari, Gianluigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, Emilio 3 2003 New bounds for the Marcum \(Q\)-function. Zbl 1062.94003Corazza, Giovanni E.; Ferrari, Gianluigi 3 2002 Eager, busy-waiting lazy actions in timed computation? Zbl 0911.68116Corradini, Flavio; Ferrari, GianLuigi; Pistore, Marco 3 1997 Automata for specifying and orchestrating service contracts. Zbl 1398.68296Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi 2 2016 Automata for analysing service contracts. Zbl 1444.68110Basile, Davide; Degano, Pierpaolo; Ferrari, Gian Luigi 2 2014 Nominal automata for resource usage control. Zbl 1297.68121Degano, Pierpaolo; Ferrari, Gian-Luigi; Mezzetti, Gianluca 2 2012 \(\nu \)-types for effects and freshness analysis. Zbl 1250.68085Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto 2 2009 Event-based service coordination. Zbl 1143.68375Ferrari, Gian-Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, Emilio 2 2008 Model checking for nominal calculi. Zbl 1119.68115Ferrari, Gian Luigi; Montanari, Ugo; Tuosto, Emilio 2 2005 A tile-based coordination view of asynchronous \(\pi\)-calculus. Zbl 0941.68089Ferrari, GianLuigi; Montanari, Ugo 2 1997 Tiles for concurrent and located calculi? Zbl 0911.68056Ferrari, GianLuigi; Montanari, Ugo 2 1997 On causality observed incrementally, finally. Zbl 0967.68519Ferrari, Gian Luigi; Montanari, Ugo; Mowbray, Miranda 2 1991 Relating two automata-based models of orchestration and choreography. Zbl 1352.68125Basile, D.; Degano, P.; Ferrari, G. L.; Tuosto, E. 1 2016 Enforcing security mechanisms in the IP-based Internet of things: an algorithmic overview. Zbl 07042158Cirani, Simone; Ferrari, Gianluigi; Veltri, Luca 1 2013 Event based choreography. Zbl 1209.68032Ciancia, Vincenzo; Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele 1 2010 Hard life with weak binders. Zbl 1291.68278Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto 1 2009 Secure service orchestration. Zbl 1195.68015Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto 1 2007 A coordination-based methodology for security protocol verification. Zbl 1272.68048Baldi, Giacomo; Bracciali, Andrea; Ferrari, Gianluigi; Tuosto, Emilio 1 2005 Checking risky events is enough for local policies. Zbl 1171.68406Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi 1 2005 History-based access control with local policies. Zbl 1118.68404Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi 1 2005 MetaKlaim: a type safe multi-stage language for global computing. Zbl 1085.68013Ferrari, Gianluigi; Moggi, Eugenio; Pugliese, Rosario 1 2004 Mark, a reasoning kit for mobility. Zbl 1034.68600Ferrari, Gianluigi; Montangero, C.; Semini, L.; Semprini, S. 1 2002 On the semantics of durational actions. Zbl 0983.68116Corradini, Flavio; Ferrari, GianLuigi; Pistore, Marco 1 2001 Programming access control: The KLAIM experience. Zbl 0999.68557De Nicola, Rocco; Ferrari, GianLuigi; Pugliese, Rosario 1 2000 Parameterized structured operational semantics. Zbl 0904.68132Ferrari, Gian Luigi; Montanari, Ugo 1 1998 Atomicity and concurrency control in process calculi. Zbl 0870.68067Ferrari, Gian-Luigi 1 1997 Tracing where IoT data are collected and aggregated. Zbl 06790142Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio 4 2017 Automata for specifying and orchestrating service contracts. Zbl 1398.68296Basile, Davide; Degano, Pierpaolo; Ferrari, Gian-Luigi 2 2016 Relating two automata-based models of orchestration and choreography. Zbl 1352.68125Basile, D.; Degano, P.; Ferrari, G. L.; Tuosto, E. 1 2016 Model checking usage policies. Zbl 1361.68133Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto 4 2015 Automata for analysing service contracts. Zbl 1444.68110Basile, Davide; Degano, Pierpaolo; Ferrari, Gian Luigi 2 2014 Enforcing security mechanisms in the IP-based Internet of things: an algorithmic overview. Zbl 07042158Cirani, Simone; Ferrari, Gianluigi; Veltri, Luca 1 2013 Nominal automata for resource usage control. Zbl 1297.68121Degano, Pierpaolo; Ferrari, Gian-Luigi; Mezzetti, Gianluca 2 2012 Event based choreography. Zbl 1209.68032Ciancia, Vincenzo; Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele 1 2010 \(\nu \)-types for effects and freshness analysis. Zbl 1250.68085Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto 2 2009 Hard life with weak binders. Zbl 1291.68278Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto 1 2009 Event-based service coordination. Zbl 1143.68375Ferrari, Gian-Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, Emilio 2 2008 Types and effects for resource usage analysis. Zbl 1195.68027Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto 5 2007 Coordination via types in an event-based framework. Zbl 1215.68148Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, Emilio 3 2007 Secure service orchestration. Zbl 1195.68015Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto 1 2007 Synchronised hyperedge replacement as a model for service oriented computing. Zbl 1196.68025Ferrari, Gian Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, Emilio 5 2006 Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types. Zbl 1070.68102Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio 11 2005 Modelling fusion calculus using HD-automata. Zbl 1151.68527Ferrari, Gianluigi; Montanari, Ugo; Tuosto, Emilio; Victor, Björn; Yemane, Kidane 3 2005 Model checking for nominal calculi. Zbl 1119.68115Ferrari, Gian Luigi; Montanari, Ugo; Tuosto, Emilio 2 2005 A coordination-based methodology for security protocol verification. Zbl 1272.68048Baldi, Giacomo; Bracciali, Andrea; Ferrari, Gianluigi; Tuosto, Emilio 1 2005 Checking risky events is enough for local policies. Zbl 1171.68406Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi 1 2005 History-based access control with local policies. Zbl 1118.68404Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi 1 2005 MetaKlaim: a type safe multi-stage language for global computing. Zbl 1085.68013Ferrari, Gianluigi; Moggi, Eugenio; Pugliese, Rosario 1 2004 The Klaim project: Theory and practice. Zbl 1179.68027Bettini, 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.68022De 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.68716Ferrari, Gianluigi; Montanari, Ugo; Pistore, Marco 12 2002 New bounds for the Marcum \(Q\)-function. Zbl 1062.94003Corazza, Giovanni E.; Ferrari, Gianluigi 3 2002 Mark, a reasoning kit for mobility. Zbl 1034.68600Ferrari, Gianluigi; Montangero, C.; Semini, L.; Semprini, S. 1 2002 A LTS semantics of ambients via graph synchronization with mobility. Zbl 1042.68615Ferrari, GianLuigi; Montanari, Ugo; Tuosto, Emilio 5 2001 On the semantics of durational actions. Zbl 0983.68116Corradini, Flavio; Ferrari, GianLuigi; Pistore, Marco 1 2001 Types for access control. Zbl 0954.68025Nicola, R.; Ferrari, G.-L.; Pugliese, R.; Venneri, B. 9 2000 Tile formats for located and mobile systems. Zbl 1046.68619Ferrari, GianLuigi; Montanari, Ugo 8 2000 Programming access control: The KLAIM experience. Zbl 0999.68557De Nicola, Rocco; Ferrari, GianLuigi; Pugliese, Rosario 1 2000 Parameterized structured operational semantics. Zbl 0904.68132Ferrari, Gian Luigi; Montanari, Ugo 1 1998 Structured transition systems with parametric observations: Observational congruences and minimal realizations. Zbl 0878.68084Ferrari, Gianluigi; Montanari, Ugo; Mowbray, Miranda 4 1997 Eager, busy-waiting lazy actions in timed computation? Zbl 0911.68116Corradini, Flavio; Ferrari, GianLuigi; Pistore, Marco 3 1997 A tile-based coordination view of asynchronous \(\pi\)-calculus. Zbl 0941.68089Ferrari, GianLuigi; Montanari, Ugo 2 1997 Tiles for concurrent and located calculi? Zbl 0911.68056Ferrari, GianLuigi; Montanari, Ugo 2 1997 Atomicity and concurrency control in process calculi. Zbl 0870.68067Ferrari, Gian-Luigi 1 1997 A \(\pi\)-calculus with explicit substitutions. Zbl 0874.68197Ferrari, Gian-Luigi; Montanari, Ugo; Quaglia, Paola 5 1996 An extended expansion theorem. Zbl 0967.68513Ferrari, Gian Luigi; Gorrieri, Roberto; Montanari, Ugo 6 1991 On causality observed incrementally, finally. Zbl 0967.68519Ferrari, Gian Luigi; Montanari, Ugo; Mowbray, Miranda 2 1991 Towards the unification of models for concurrency. Zbl 0758.68027Ferrari, Gian Luigi; Montanari, Ugo 9 1990 Observational logics and concurrency models. Zbl 0732.03024De Nicola, Rocco; Ferrari, Gian Luigi 4 1990 all cited Publications top 5 cited Publications all top 5 Cited by 180 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 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. 1 Honsell, Furio ...and 80 more Authors all top 5 Cited in 19 Serials 37 Theoretical Computer Science 9 Information and Computation 7 Journal of Logical and Algebraic Methods in Programming 4 MSCS. Mathematical Structures in Computer Science 3 Acta Informatica 3 Science of Computer Programming 3 Formal Aspects of Computing 3 The Journal of Logic and Algebraic Programming 2 Higher-Order and Symbolic Computation 1 Information Processing Letters 1 Journal of Mathematical Analysis and Applications 1 Applied Mathematics and Computation 1 Information Sciences 1 Journal of Computational and Applied Mathematics 1 Journal of Symbolic Computation 1 Soft Computing 1 Computer Languages, Systems & Structures 1 Logical Methods in Computer Science 1 Algorithms all top 5 Cited in 13 Fields 115 Computer science (68-XX) 15 Mathematical logic and foundations (03-XX) 9 Category theory; homological algebra (18-XX) 4 Information and communication theory, circuits (94-XX) 3 Special functions (33-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Real functions (26-XX) 1 Quantum theory (81-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year