Angelo Troina

发表

Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina, 2007, APLAS.
Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina, 2009, Electron. Notes Theor. Comput. Sci..
Roberto Gorrieri, Alessandro Aldini, Angelo Troina, 2004, Global Computing.
Maurizio Drocco, Ferruccio Damiani, Angelo Troina, 2010, MeCBIC.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2005, Fundam. Informaticae.
Roberto Gorrieri, Alessandro Aldini, Angelo Troina, 2003 .
Andrea Maggiolo-Schettini, Ruggero Lanotte, Angelo Troina, 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina, 2011, DCM.
Robin Milner, Jean Krivine, Angelo Troina, 2008, MFPS.
Jean Krivine, Angelo Troina, 2010, Electron. Notes Theor. Comput. Sci..
Maurizio Drocco, Ferruccio Damiani, Angelo Troina, 2011, Trans. Comp. Sys. Biology.
Andrea Maggiolo-Schettini, Ruggero Lanotte, Angelo Troina, 2010, Theor. Comput. Sci..
Enrico Tronci, Andrea Maggiolo-Schettini, Simone Tini, 2004, Electron. Notes Theor. Comput. Sci..
Enrico Tronci, Andrea Maggiolo-Schettini, Simone Tini, 2004, ICICS.
Mariangiola Dezani-Ciancaglini, Paola Giannini, Adriana B. Compagnoni, 2012, MeCBIC.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2008, Formal Aspects of Computing.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2009, Trans. Comp. Sys. Biology.
Paolo Milazzo, Roberto Barbuti, Angelo Troina, 2005 .
Andrea Maggiolo-Schettini, Ruggero Lanotte, Angelo Troina, 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Maurizio Drocco, Ferruccio Damiani, Angelo Troina, 2012, Theor. Comput. Sci..
Roberto Gorrieri, Alessandro Aldini, Angelo Troina, 2004, Electron. Notes Theor. Comput. Sci..
Angelo Troina, G. Ciobanu, Gabriel Ciobanu, 2012, ICTCS 2012.
Massimo Torquati, Marco Aldinucci, Maurizio Drocco, 2011, Euro-Par Workshops.
Paola Giannini, Emanuela Merelli, Angelo Troina, 2015, Theoretical Computer Science.
Livio Bioglio, Ferruccio Damiani, Angelo Troina, 2011, ArXiv.
Andrea Maggiolo-Schettini, Ruggero Lanotte, Angelo Troina, 2006, Electron. Notes Theor. Comput. Sci..
Emilio Tuosto, Filippo Bonchi, Paola Spoletini, 2009, Electron. Notes Theor. Comput. Sci..
Andrea Maggiolo-Schettini, Ruggero Lanotte, Angelo Troina, 2004, Formal Aspects in Security and Trust.
Jean Goubault-Larrecq, Angelo Troina, 2007 .
Andrea Maggiolo-Schettini, Ruggero Lanotte, Angelo Troina, 2010, Acta Informatica.
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina, 2009, MeCBIC.
Roberto Bruni, Alexandra Silva, Simon Bliudze, 2011, Sci. Ann. Comput. Sci..
Marco Aldinucci, Maurizio Drocco, Ferruccio Damiani, 2010 .
Andrea Maggiolo-Schettini, Ruggero Lanotte, Angelo Troina, 2005, Electron. Notes Theor. Comput. Sci..
Andrea Maggiolo-Schettini, Ruggero Lanotte, Angelo Troina, 2010, IEEE Transactions on Software Engineering.
Paolo Milazzo, Andrea Maggiolo-Schettini, Ruggero Lanotte, 2008, Sci. Comput. Program..
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2004 .
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2007, Workshop on Membrane Computing.
Massimo Torquati, Marco Aldinucci, Maurizio Drocco, 2011, 2011 19th International Euromicro Conference on Parallel, Distributed and Network-Based Processing.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2006, Fundam. Informaticae.
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina, 2009, DCM.
Angelo Troina, Pablo Ramón, Angelo Troina, 2012, Int. Conf. on Membrane Computing.
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, 2010, Fundam. Informaticae.
Emanuela Merelli, Angelo Troina, 2013, Electron. Notes Theor. Comput. Sci..
Maurizio Drocco, Ferruccio Damiani, Angelo Troina, 2010, QAPL.
Ferruccio Damiani, Angelo Troina, Elena Grassi, 2009, COMPMOD.
Andrea Maggiolo-Schettini, Ruggero Lanotte, Angelo Troina, 2007, Formal Aspects of Computing.
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina, 2013, Int. J. Softw. Informatics.
Simone Tini, Ruggero Lanotte, Angelo Troina, 2004 .
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, 2012, Theor. Comput. Sci..
Livio Bioglio, Ferruccio Damiani, Angelo Troina, 2011 .
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2006, ICTAC.
Massimo Torquati, Marco Aldinucci, Maurizio Drocco, 2014, BioMed research international.
Jeremy Sproston, Angelo Troina, J. Sproston, 2010, FORMATS.
Andrea Maggiolo-Schettini, Ruggero Lanotte, Angelo Troina, 2003, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..
Sara Capecchi, Angelo Troina, 2010, FBTC.
Andrea Maggiolo-Schettini, Paolo Milazzo, Ruggero Lanotte, 2006, FMOODS.
Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, 2006 .