Gian Luigi Ferrari

发表

Gian Luigi Ferrari, Ugo Montanari, G. Ferrari, 1997, MFCS.

Emilio Tuosto, Gian Luigi Ferrari, Roberto Guanciale, 2010, TGC.

Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, 2006, FORTE.

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2007, FOSAD.

Emilio Tuosto, Gian Luigi Ferrari, Davide Basile, 2014, ICE.

Marco Pistore, Gian Luigi Ferrari, Flavio Corradini, 2001, Theor. Comput. Sci..

Marco Pistore, Gian Luigi Ferrari, Ugo Montanari, 2003, TSEM.

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2009, ICTAC.

Marco Pistore, Gian Luigi Ferrari, Ugo Montanari, 2002, FoSSaCS.

Gian Luigi Ferrari, Ugo Montanari, G. Ferrari, 1999, EXPRESS.

Antonio Brogi, Gian Luigi Ferrari, Stefano Forti, 2019, Future Gener. Comput. Syst..

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2009, TOPL.

Gian Luigi Ferrari, Corrado Priami, Chiara Bodei, 2015, Programming Languages with Applications to Biology and Security.

Emilio Tuosto, Gian Luigi Ferrari, Andrea Bracciali, 2008, International Journal of Information Security.

Gian Luigi Ferrari, Davide Basile, Francesco Tiezzi, 2019, From Software Engineering to Formal Methods and Tools, and Back.

Gian Luigi Ferrari, G. Ferrari, 2008, Concurrency, Graphs and Models.

Franco Turini, Gian Luigi Ferrari, Giuliano Pacini, 1990, IEEE Trans. Software Eng..

Emilio Tuosto, Gian Luigi Ferrari, Ugo Montanari, 2002, FMCO.

Gian Luigi Ferrari, Rosario Pugliese, Eugenio Moggi, 2001, Electron. Notes Theor. Comput. Sci..

Emilio Tuosto, Gian Luigi Ferrari, Roberto Guanciale, 2007, FORTE.

Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, 2000, CONCUR.

Gian Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2013, Eur. J. Law Technol..

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2005, WITS '05.

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2003, ICTCS.

Gian Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2016, Semantics, Logics, and Calculi.

Rocco De Nicola, Gian Luigi Ferrari, Lorenzo Bettini, 2000, WOA.

Gian Luigi Ferrari, G. Ferrari, 1991, TAPSOFT, Vol.1.

Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, 2008, FORTE.

Gian Luigi Ferrari, Ugo Montanari, G. Ferrari, 1998, Fundam. Informaticae.

Gian Luigi Ferrari, Carlo Montangero, Simone Semprini, 2002, Automated Software Engineering.

Roberto Bruni, Gian Luigi Ferrari, Andrea Corradini, 2011, WS-FM.

Emilio Tuosto, Rocco De Nicola, Gian Luigi Ferrari, 2003, Global Computing.

Gian Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2016, COORDINATION.

Valérie Issarny, Alois Ferscha, Gian Luigi Ferrari, 2005, European Conference on Parallel Processing.

Gian Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2016, ICE.

Gian Luigi Ferrari, Carlo Montangero, Simone Semprini, 2000, COORDINATION.

Gian Luigi Ferrari, Ugo Montanari, G. Ferrari, 1995, AMAST.

Gian Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2012, COORDINATION.

Gian Luigi Ferrari, Ugo Montanari, Andrea Corradini, 1990, Semantics of Systems of Concurrent Processes.

Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, 1997, TAPSOFT.

Felicita Di Giandomenico, Gian Luigi Ferrari, Stefania Gnesi, 2017, VaMoS.

Gian Luigi Ferrari, Chiara Bodei, Viet Dung Dinh, 2010, ICE.

Emilio Tuosto, Antonio Brogi, Gian Luigi Ferrari, 2001, Electron. Notes Theor. Comput. Sci..

Gian Luigi Ferrari, Letterio Galletta, Andrea Canciani, 2015, FOCLASA.

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2005, FoSSaCS.

Gian Luigi Ferrari, Ugo Montanari, G. Ferrari, 1991, CONCUR.

Gian Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2012, PLACES.

Rocco De Nicola, Gian Luigi Ferrari, Lorenzo Bettini, 1998, Proceedings Seventh IEEE International Workshop on Enabling Technologies: Infrastucture for Collaborative Enterprises (WET ICE '98) (Cat. No.98TB100253).

Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia, 1995, CONCUR.

Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, 1998, IEEE Trans. Software Eng..

Ivan Lanese, Emilio Tuosto, Gian Luigi Ferrari, 2005, FMCO.

Gian Luigi Ferrari, Pierpaolo Degano, Gianluca Mezzetti, 2012, CIAA.

Emilio Tuosto, Gian Luigi Ferrari, Rosario Pugliese, 2000, WOA.

Gian Luigi Ferrari, Davide Basile, Pierpaolo Degano, 2014, The Journal of Supercomputing.

Gian Luigi Ferrari, Davide Basile, Pierpaolo Degano, 2013, PaCT.

Emilio Tuosto, Björn Victor, Gian Luigi Ferrari, 2005, CALCO.

Gian Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2019, Models, Languages, and Tools for Concurrent and Distributed Programming.

Marco Pistore, Vincenzo Ciancia, Emilio Tuosto, 2008, Concurrency, Graphs and Models.

Gian Luigi Ferrari, Davide Basile, Pierpaolo Degano, 2014, TGC.

Gian Luigi Ferrari, Chiara Bodei, Viet Dung Dinh, 2017, Sci. Comput. Program..

Emilio Tuosto, Rocco De Nicola, Gian Luigi Ferrari, 2005, COORDINATION.

Vincenzo Ciancia, Gian Luigi Ferrari, 2007, Electron. Notes Theor. Comput. Sci..

Gian Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2014, SEFM.

Axel Legay, Felicita Di Giandomenico, Gian Luigi Ferrari, 2020, Sci. Comput. Program..

Marco Pistore, Gian Luigi Ferrari, Flavio Corradini, 1997, EXPRESS.

Gian Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2017, PaCT.

Gian Luigi Ferrari, 1997, Fundam. Informaticae.

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2005, 18th IEEE Computer Security Foundations Workshop (CSFW'05).

Gian Luigi Ferrari, Chiara Bodei, Viet Dung Dinh, 2011, FOCLASA.

Gian Luigi Ferrari, Alberto Lluch-Lafuente, Alberto Lluch-Lafuente, 2004, VODCA@FOSAD.

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2008, EXPRESS.

Gian Luigi Ferrari, Ugo Montanari, G. Ferrari, 2000, Inf. Comput..

Marco Pistore, Gian Luigi Ferrari, Ugo Montanari, 1997, TACAS.

Rocco De Nicola, Gian Luigi Ferrari, Francesco Tiezzi, 2018, COORDINATION.

Gian Luigi Ferrari, Rosario Pugliese, Eugenio Moggi, 2001, Electron. Notes Theor. Comput. Sci..

Gian Luigi Ferrari, Pierpaolo Degano, Gianluca Mezzetti, 2011, PaCT.

Emilio Tuosto, Gian Luigi Ferrari, Ugo Montanari, 2002, 10th Anniversary Colloquium of UNU/IIST.

Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, 2010, Electron. Notes Theor. Comput. Sci..

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2009, J. Comput. Secur..

Gian Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2014, COP'14.

Gian Luigi Ferrari, Rosario Pugliese, Eugenio Moggi, 2002, Electron. Notes Theor. Comput. Sci..

Roberto Gorrieri, Gian Luigi Ferrari, Andrea Asperti, 1989, POPL '90.

Emilio Tuosto, Gian Luigi Ferrari, Davide Basile, 2016, FORTE.

Emilio Tuosto, Gian Luigi Ferrari, Roberto Guanciale, 2008, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Rocco De Nicola, Gian Luigi Ferrari, Betti Venneri, 2000, Theor. Comput. Sci..

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2005, ICTCS.

Emilio Tuosto, Rocco De Nicola, Gian Luigi Ferrari, 2003, Verification: Theory and Practice.

Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, 2006, ICSOC.

Emilio Tuosto, Gian Luigi Ferrari, Ugo Montanari, 2004, VVEIS.

Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia, 1994, MFCS.

Davide Sangiorgi, Gian Luigi Ferrari, Davide Basile, 2017 .

Emilio Tuosto, Gian Luigi Ferrari, 2001, SAC.

Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, 1997, COORDINATION.

Emilio Tuosto, Gian Luigi Ferrari, Ugo Montanari, 2005, Theor. Comput. Sci..

Rocco De Nicola, Gian Luigi Ferrari, G. Ferrari, 1990, FSTTCS.

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2008, IEEE Transactions on Software Engineering.

Gian Luigi Ferrari, Pierpaolo Degano, Gianluca Mezzetti, 2013, CIAA.

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2001, Electron. Notes Theor. Comput. Sci..

Roberto Gorrieri, Gian Luigi Ferrari, Ugo Montanari, 1991, TAPSOFT, Vol.2.

Gian Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2017, Log. Methods Comput. Sci..

Gian Luigi Ferrari, Ugo Montanari, G. Ferrari, 1990, CAAP.

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2011, Results of the SENSORIA Project.

Gian Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2016, IEEE Transactions on Software Engineering.

Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, 2010, Sci. Comput. Program..

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2004, MEFISTO.

Gian Luigi Ferrari, Ugo Montanari, Miranda Mowbray, 1997, Mathematical Structures in Computer Science.

Gian Luigi Ferrari, Chiara Bodei, 2009, WS-FM.

Gian Luigi Ferrari, Michael Baldamus, Jesper Bengtson, 2004, Electron. Notes Theor. Comput. Sci..

Emilio Tuosto, Gian Luigi Ferrari, Ugo Montanari, 2005, FoSSaCS.

Emilio Tuosto, Gian Luigi Ferrari, Andrea Bracciali, 2005, WISP@ICATPN.

Gian Luigi Ferrari, Pierpaolo Degano, Gianluca Mezzetti, 2017, Acta Informatica.

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2007, FoSSaCS.

Emilio Tuosto, Antonio Brogi, Gian Luigi Ferrari, 2002, PDPTA.

Gian Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2012, CISIM.

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2004, International Journal of Information Security.

Gian Luigi Ferrari, Rosario Pugliese, Eugenio Moggi, 2004, Mathematical Structures in Computer Science.

Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia, 1996, Theor. Comput. Sci..

Gian Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2016, PLACES.

Roberto Bruni, Emilio Tuosto, Gian Luigi Ferrari, 2005, EPEW/WS-FM.

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2008, TGC.

Jie Wu, Jiannong Cao, Sajal K. Das, 2004, Euro-Par.

Gian Luigi Ferrari, Davide Basile, Pierpaolo Degano, 2016, Log. Methods Comput. Sci..

Rocco De Nicola, Gian Luigi Ferrari, Michele Loreti, 2011, FMCO.

Vincenzo Ciancia, Emilio Tuosto, Gian Luigi Ferrari, 2011, Results of the SENSORIA Project.

Marco Pistore, Gian Luigi Ferrari, Ugo Montanari, 1998, CAV.

Emilio Tuosto, Gian Luigi Ferrari, Roberto Guanciale, 2008, WS-FM.

Emilio Tuosto, Gian Luigi Ferrari, Ugo Montanari, 2001, ICTCS.

Gian Luigi Ferrari, Rosario Pugliese, Eugenio Moggi, 2001, SAIG.

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2006, FMOODS.

Axel Legay, Felicita Di Giandomenico, Gian Luigi Ferrari, 2021, FORTE.

Gian Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2021, J. Parallel Distributed Comput..

Antonio Brogi, Gian Luigi Ferrari, Stefano Forti, 2021, Computing.

Felicita Di Giandomenico, Gian Luigi Ferrari, Maurice H. ter Beek, 2017 .

Gian Luigi Ferrari, G. Ferrari, 1990 .

Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2004 .