P. Degano

发表

F. Nielson, H. R. Nielson, P. Degano, 1999 .
Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2009, J. Comput. Secur..
P. Degano, C. Baldari, M. Curti, 2002 .
Pierpaolo Degano, P. Degano, Fabio Gaddu, 2000 .
Pierpaolo Degano, P. Degano, 2018, Lecture Notes in Computer Science.
C. Priami, P. Degano, 1992, ICALP.
Corrado Priami, Pierpaolo Degano, Chiara Bodei, 2007 .
Gian Luigi Ferrari, Davide Basile, Pierpaolo Degano, 2016, Log. Methods Comput. Sci..
Felicita Di Giandomenico, Gian Luigi Ferrari, Maurice H. ter Beek, 2017 .
A. Bracciali, P. Degano, G. Caravagna, 2010 .
G. Ferrari, P. Degano, Gianluca Mezzetti, 2012 .
Jean-Vincent Loddo, Corrado Priami, Pierpaolo Degano, 1996, LOMAPS.
Roberto Gorrieri, Sebastiano Vigna, Pierpaolo Degano, 1993 .
Paolo Ciancarini, Pierpaolo Degano, P. Ciancarini, 1985 .
C. Priami, P. Degano, D. Prandi, 2006 .
P. Degano, Guttman, 2014 .
P. Degano, Letterio Galletta, Lorenzo Ceragioli, 2019, PLAS@CCS.
S. Vigna, P. Degano, R. Gorrieri, 2005 .
D. Basin, P. Degano, Letterio Galletta, 2022, 2022 IEEE 35th Computer Security Foundations Symposium (CSF).
Erik Sandewall, Pierpaolo Degano, E. Sandewall, 1983, European Conference on Integrated Interactive Computing Systems.
Maurizio Martelli, Pierpaolo Degano, Marco Bellia, 1982 .
Ugo Montanari, Pierpaolo Degano, U. Montanari, 1985 .
Ugo Montanari, Pierpaolo Degano, R De Nicola, 1988 .
Ugo Montanari, Pierpaolo Degano, R De Nicola, 1988 .
Rocco De Nicola, Ugo Montanari, Pierpaolo Degano, 1992, NAPAW.
Ugo Montanari, Andrea Corradini, Pierpaolo Degano, 1983 .
Ugo Montanari, Pierpaolo Degano, R De Nicola, 1987 .
Rocco De Nicola, Ugo Montanari, Pierpaolo Degano, 1987, Formal Description of Programming Concepts.
F. Nielson, H. R. Nielson, P. Degano, 1998 .
C. Priami, P. Degano, Chiara Nottegar, 2000 .
Roberto Gorrieri, Alberto Marchetti-Spaccamela, Pierpaolo Degano, 1997 .
Roberto Gorrieri, Alberto Marchetti-Spaccamela, Pierpaolo Degano, 1999 .
Roberto Gorrieri, Alberto Marchetti-Spaccamela, Pierpaolo Degano, 1997 .
Roberto Gorrieri, Alberto Marchetti-Spaccamela, Pierpaolo Degano, 1999, CSUR.
Pierpaolo Degano, Marco Bellia, G and Levi, 1980 .
Philippe Darondeau, Pierpaolo Degano, P. Darondeau, 1989, ICALP.
Pierpaolo Degano, Marco Bellia, Giorgio Levi, 1982 .
Gian-Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2018 .
Luca Viganò, Pierpaolo Degano, L. Viganò, 2007 .
L. Viganò, P. Degano, Letterio Galletta, 2022, 2207.12326.
Joshua D. Guttman, Pierpaolo Degano, P. Degano, 2012, Lecture Notes in Computer Science.
Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2004, MEFISTO.
Flemming Nielson, Hanne Riis Nielson, Pierpaolo Degano, 2001, Inf. Comput..
Flemming Nielson, Hanne Riis Nielson, Pierpaolo Degano, 1998, CONCUR.
Gian Luigi Ferrari, Pierpaolo Degano, Gianluca Mezzetti, 2011, PaCT.
Pierpaolo Degano, Roberto Zunino, P. Degano, 2005, Theor. Comput. Sci..
Pierpaolo Degano, Roberto Zunino, P. Degano, 2004, FoSSaCS.
Stephen Gilmore, Corrado Priami, Jane Hillston, 2003, Global Computing.
Pierpaolo Degano, Leonarda Raffoni, P. Degano, 1995, Fundam. Informaticae.
Corrado Priami, Pierpaolo Degano, C. Priami, 1995, Softw. Pract. Exp..
Pierpaolo Degano, Franco Sirovich, F. Sirovich, 1985, IEEE Transactions on Pattern Analysis and Machine Intelligence.
Fabio Gadducci, Corrado Priami, Pierpaolo Degano, 2002, Theor. Comput. Sci..
Pierpaolo Degano, Roberto Zunino, P. Degano, 2006, FoSSaCS.
Corrado Priami, Pierpaolo Degano, C. Priami, 1995, GULP-PRODE.
Gian Luigi Ferrari, Davide Basile, Pierpaolo Degano, 2014, The Journal of Supercomputing.
Gian Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2012, CISIM.
Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2008, IEEE Transactions on Software Engineering.
Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2006, FMOODS.
Massimo Bartoletti, Gian-Luigi Ferrari, Pierpaolo Degano, 2006 .
Massimo Bartoletti, P. Degano, 2003 .
Gian Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2016, IEEE Transactions on Software Engineering.
Andrea Bracciali, Pierpaolo Degano, Enrico Cataldo, 2007, CMSB.
Rocco De Nicola, Ugo Montanari, Pierpaolo Degano, 1986, Mathematical Models for the Semantics of Parallelism.
Flemming Nielson, Hanne Riis Nielson, Corrado Priami, 2005, PaCT.
Flemming Nielson, Hanne Riis Nielson, Corrado Priami, 2004, QAPL.
Gian Luigi Ferrari, Pierpaolo Degano, Gianluca Mezzetti, 2017, Acta Informatica.
Gian Luigi Ferrari, Pierpaolo Degano, Gianluca Mezzetti, 2013, CIAA.
Gian Luigi Ferrari, Pierpaolo Degano, Gianluca Mezzetti, 2012, CIAA.
Gian Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2012, COORDINATION.
G. Ferrari, P. Degano, D. Basile, 2014, The Journal of Supercomputing.
Frank Piessens, Letterio Galletta, Pierpaolo Degano, 2021, ACM Trans. Program. Lang. Syst..
Roberto Barbuti, Giorgio Levi, Pierpaolo Degano, 1982, International Conference on Logic Programming.
Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2009, TOPL.
Flemming Nielson, Pierre Jouvelot, Bent Thomsen, 1996, LOMAPS.
Axel Legay, Felicita Di Giandomenico, Gian Luigi Ferrari, 2020, Sci. Comput. Program..
Felicita Di Giandomenico, Gian Luigi Ferrari, Stefania Gnesi, 2017, VaMoS.
Emilio Tuosto, Gian Luigi Ferrari, Davide Basile, 2016, FORTE.
Andrea Bracciali, Pierpaolo Degano, Enrico Cataldo, 2009, Algorithmic Bioprocesses.
Flemming Nielson, Hanne Riis Nielson, Pierpaolo Degano, 2001, PaCT.
Pierpaolo Degano, Moreno Falaschi, Linda Brodo, 2018, Natural Computing.
Gian Luigi Ferrari, Letterio Galletta, Pierpaolo Degano, 2021, J. Parallel Distributed Comput..
Flaminia L. Luccio, Riccardo Focardi, Letterio Galletta, 2021, J. Comput. Secur..
Axel Legay, Felicita Di Giandomenico, Gian Luigi Ferrari, 2021, FORTE.
Andrea Bracciali, Pierpaolo Degano, Enrico Cataldo, 2008, BMC Bioinformatics.
Corrado Priami, Pierpaolo Degano, Chiara Nottegar, 2001, IEEE Trans. Software Eng..
Pierpaolo Degano, Franco Sirovich, A. Lomanto, 1980, MFCS.
Corrado Priami, Pierpaolo Degano, C. Priami, 1995, ICALP.
Rocco De Nicola, Ugo Montanari, Pierpaolo Degano, 1990, Theor. Comput. Sci..
Corrado Priami, Pierpaolo Degano, Michele Curti, 2004, Theor. Comput. Sci..
Pierpaolo Degano, Michele Curti, Cosima Tatiana Baldari, 2003, CMSB.
Pierpaolo Degano, Roberto Marangoni, Davide Chiarugi, 2007, PLoS Comput. Biol..
Flemming Nielson, Hanne Riis Nielson, Pierpaolo Degano, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..
Roberto Gorrieri, Alberto Marchetti-Spaccamela, Pierpaolo Degano, 1997 .
Massimo Bartoletti, Gian-Luigi Ferrari, Pierpaolo Degano, 2003 .
Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2003, ICTCS.
Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2004 .
Massimo Bartoletti, Gian-Luigi Ferrari, Pierpaolo Degano, 2004 .
Andrea Bracciali, Pierpaolo Degano, A. Bracciali, 2012, Handbook of Natural Computing.
Riccardo Focardi, Letterio Galletta, Pierpaolo Degano, 2018, 2018 IEEE European Symposium on Security and Privacy (EuroS&P).
Mário S. Alvim, Catuscia Palamidessi, Pierpaolo Degano, 2011, Formal Aspects in Security and Trust.
Corrado Priami, Pierpaolo Degano, Linda Brodo, 2007, PaCT.
Corrado Priami, Pierpaolo Degano, C. Priami, 2003, CMSB.
Corrado Priami, Pierpaolo Degano, C. Priami, 1996, CSUR.
Alessandro Bianchi, Corrado Priami, Pierpaolo Degano, 1995, PaCT.
Rocco De Nicola, Ugo Montanari, Pierpaolo Degano, 1993, Theor. Comput. Sci..
Roberto Gorrieri, Sebastiano Vigna, Pierpaolo Degano, 1993, TAPSOFT.
Ugo Montanari, Pierpaolo Degano, U. Montanari, 1987, JACM.
Pierpaolo Degano, Chiara Bodei, Han Gao, 2008, AMAST.
Pierpaolo Degano, Chiara Bodei, Flemming Nielson, 2002, Future Gener. Comput. Syst..
Rocco De Nicola, Ugo Montanari, Pierpaolo Degano, 1988, REX Workshop.
Andrea Bracciali, Pierpaolo Degano, Enrico Cataldo, 2008, Theor. Comput. Sci..
Mário S. Alvim, Catuscia Palamidessi, Pierpaolo Degano, 2015, J. Comput. Secur..
P. Degano, D. Basile, G. L. Ferrari, 2016, J. Log. Algebraic Methods Program..
Letterio Galletta, Pierpaolo Degano, Matteo Busi, 2020, ITASEC.
Flemming Nielson, Hanne Riis Nielson, Pierpaolo Degano, 1999, FoSSaCS.
Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2005, FoSSaCS.
Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2011, Results of the SENSORIA Project.
Gian Luigi Ferrari, Davide Basile, Pierpaolo Degano, 2013, PaCT.
Corrado Priami, Alan Mycroft, Pierpaolo Degano, 1995, ASIAN.
Roberto Gorrieri, Pierpaolo Degano, Sergio Marchetti, 1988, European Workshop on Applications and Theory of Petri Nets.
Ugo Montanari, Pierpaolo Degano, U. Montanari, 1987, J. Comput. Syst. Sci..
Massimo Bartoletti, P. Degano, P. D. Giamberardino, 2015, Logic, Rewriting, and Concurrency.
P. Degano, M. Falaschi, D. Chiarugi, 2009 .
Corrado Priami, Pierpaolo Degano, Simone Martini, 1993, J. Syst. Softw..
Pierpaolo Degano, Stefano Mannucci, Bruno Mojana, 1988, TOPL.
Flemming Nielson, Hanne Riis Nielson, Pierpaolo Degano, 2005, J. Comput. Secur..
Massimo Bartoletti, G. Ferrari, P. Degano, 2008, IEEE Transactions on Software Engineering.
Lone Leth Thomsen, Bent Thomsen, Corrado Priami, 1996, LOMAPS.
Corrado Priami, Pierpaolo Degano, C. Priami, 1998, Comput. Lang..
José Meseguer, Ugo Montanari, Pierpaolo Degano, 1996, Acta Informatica.
J. Meseguer, U. Montanari, P. Degano, 1996, Acta Informatica.
Philippe Darondeau, Pierpaolo Degano, P. Darondeau, 1990, MFCS.
Patrizia M. Gianni, Pierpaolo Degano, P. Degano, 1989, RAIRO Theor. Informatics Appl..
Corrado Priami, Pierpaolo Degano, Paola Quaglia, 2006, QAPL.
Gian Luigi Ferrari, Massimo Bartoletti, Pierpaolo Degano, 2001, ConCoord.
Philippe Darondeau, Pierpaolo Degano, P. Darondeau, 1989, Semantics of Systems of Concurrent Processes.
Rocco De Nicola, Ugo Montanari, Pierpaolo Degano, 1988, Acta Informatica.
Rocco De Nicola, Ugo Montanari, Pierpaolo Degano, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Corrado Priami, Riccardo Focardi, Pierpaolo Degano, 2003, PaCT.
Pierpaolo Degano, Roberto Marangoni, Davide Chiarugi, 2008, SFM.
Pierpaolo Degano, Roberto Marangoni, Davide Chiarugi, 2004, CMSB.