Roberto Barbuti

发表

Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, 2008, Electron. Notes Theor. Comput. Sci..
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, 2013, SEFM Workshops.
Paolo Milazzo, Roberto Barbuti, Giovanni A. Cignoni, 2010, ArXiv.
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, 2009 .
Paolo Milazzo, Roberto Barbuti, Giulio Caravagna, 2010, MeCBIC.
Roberto Barbuti, Maurizio Martelli, 1988, PLILP.
Paolo Milazzo, Roberto Barbuti, Francesca Levi, 2016, Theor. Comput. Sci..
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, 2009, Electron. Notes Theor. Comput. Sci..
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, 2010, AMCA-POP.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2005, Fundam. Informaticae.
Roberto Barbuti, Luca Tesei, R. Barbuti, 2004, Acta Informatica.
Roberto Barbuti, Gheorghe Paun, Giuditta Franco, 2010, Natural Computing.
Paolo Milazzo, Roberto Barbuti, Giulio Caravagna, 2011, Trans. Comp. Sys. Biology.
Roberto Barbuti, Paolo Mancarella, Antonella Santone, 1998, Sci. Comput. Program..
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2014, Computing with New Resources.
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, 2011, Int. J. Found. Comput. Sci..
Paolo Milazzo, Roberto Barbuti, Simone Tini, 2008 .
Roberto Barbuti, Antonella Santone, Gigliola Vaglini, 1999, Inf. Process. Lett..
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, 2011, ArXiv.
Roberto Barbuti, Roberto Giacobazzi, Mauro Gaspari, 1993, GULP.
Roberto Barbuti, Alberto Martelli, 1983, IFIP Congress.
Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, 2005 .
Roberto Barbuti, Alberto Martelli, 1980, Symposium on Programming.
Roberto Barbuti, Stefano Cataudella, 2005, Fundam. Informaticae.
Roberto Barbuti, Alberto Martelli, Pierpaolo Degano, 1983 .
Roberto Barbuti, Luca Tesei, Stefano Cataudella, 2004, Fundam. Informaticae.
Roberto Barbuti, Antonella Santone, Nicoletta De Francesco, 1995, ICLP.
Paolo Milazzo, Roberto Barbuti, Giulio Caravagna, 2008, Theor. Comput. Sci..
Michael J. Maher, Roberto Barbuti, Roberto Giacobazzi, 1995, Inf. Comput..
Roberto Barbuti, Paolo Mancarella, P. Mancarella, 1996, ESOP.
Roberto Barbuti, Maurizio Martelli, 1990, Int. J. Found. Comput. Sci..
Roberto Barbuti, Nicoletta De Francesco, Cinzia Bernardeschi, 2002, SAC '02.
Paolo Milazzo, Roberto Barbuti, Pasquale Bove, 2015, Theor. Comput. Sci..
Michael J. Maher, Roberto Barbuti, Roberto Giacobazzi, 1992, Inf. Comput..
Roberto Barbuti, Roberto Giacobazzi, R. Giacobazzi, 1992, Sci. Comput. Program..
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2008, Formal Aspects of Computing.
Paolo Milazzo, Roberto Barbuti, Francesca Levi, 2012, Theor. Comput. Sci..
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2009, Trans. Comp. Sys. Biology.
Roberto Barbuti, Nicoletta De Francesco, Cinzia Bernardeschi, 2004, Comput. J..
Roberto Barbuti, Antonella Santone, Gigliola Vaglini, 1999, Softw. Pract. Exp..
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2012 .
Roberto Barbuti, Maria Simi, Maurizio Martelli, 2019 .
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2008, Fundam. Informaticae.
Paolo Milazzo, Roberto Barbuti, Giulio Caravagna, 2008, SFM.
Paolo Milazzo, Roberto Barbuti, Angelo Troina, 2005 .
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2014, Theor. Comput. Sci..
Roberto Barbuti, 2009, Theor. Comput. Sci..
Paolo Milazzo, Roberto Barbuti, Francesca Levi, 2011, Fundam. Informaticae.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2011, Theor. Comput. Sci..
Franco Turini, Roberto Barbuti, Paolo Mancarella, 1990, J. Log. Program..
Roberto Barbuti, Maurizio Martelli, C. Aquilano, 2006, Journal of Automated Reasoning.
Roberto Barbuti, Antonella Santone, Gigliola Vaglini, 1997, FORTE.
Paolo Milazzo, Roberto Barbuti, Francesca Levi, 2017, Acta Informatica.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2010, J. Log. Algebraic Methods Program..
Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi, 1993, TOPL.
Roberto Barbuti, Antonella Santone, Nicoletta De Francesco, 1997, Acta Informatica.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2007, ISBRA.
Roberto Barbuti, Pierpaolo Degano, Marco Bellia, 1987 .
Roberto Barbuti, Antonella Santone, Gigliola Vaglini, 2000, Formal Methods Syst. Des..
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2014, Theor. Comput. Sci..
Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi, 1992, POPL '92.
Paolo Milazzo, Roberto Barbuti, Giovanni Pardini, 2010 .
Paolo Milazzo, Roberto Barbuti, Pasquale Bove, 2016, Int. Conf. on Membrane Computing.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2010, Int. Conf. on Membrane Computing.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2009, Fundam. Informaticae.
Roberto Barbuti, Antonella Santone, Nicoletta De Francesco, 2002, Fundam. Informaticae.
Roberto Barbuti, Antonella Santone, Gigliola Vaglini, 2005, Formal Methods Syst. Des..
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2009, Fundam. Informaticae.
Franco Turini, Roberto Barbuti, C. D'Ascanio, 1986, AIMSA.
Franco Turini, Roberto Barbuti, Paolo Mancarella, 1987, TAPSOFT, Vol.2.
Roberto Barbuti, Nicoletta De Francesco, Luca Tesei, 2001, Fundam. Informaticae.
Roberto Barbuti, Luca Tesei, 2003, Fundam. Informaticae.
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, 2009, FBTC@ICALP.
Roberto Barbuti, Giorgio Levi, Maurizio Martelli, 1984, SLP.
Roberto Barbuti, Antonella Santone, Gigliola Vaglini, 1999 .
Roberto Barbuti, Nicoletta De Francesco, Luca Tesei, 2010, Comput. J..
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2010, Fundam. Informaticae.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2010, Natural Computing.
Paolo Milazzo, Roberto Barbuti, Francesca Levi, 2015, CS&P.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2004 .
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2007, Workshop on Membrane Computing.
Roberto Barbuti, Stefano Cataudella, 2004, SAC '04.
Roberto Barbuti, Paolo Milazzo, Anna Bernasconi, 2020, Soft Computing.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2009, Ershov Memorial Conference.
Paolo Milazzo, Roberto Barbuti, Aureliano Rama, 2011 .
Roberto Barbuti, Antonella Santone, Gigliola Vaglini, 1999, World Congress on Formal Methods.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2006, Fundam. Informaticae.
Roberto Barbuti, R. Barbuti, 2007 .
Roberto Barbuti, Giorgio Levi, Pierpaolo Degano, 1982, International Conference on Logic Programming.
Paolo Milazzo, Roberto Barbuti, Anna Bernasconi, 2018, TPNC.
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, 2010, Fundam. Informaticae.
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, 2009, MeCBIC.
Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi, 1992, POPL '92.
Roberto Barbuti, Nicoletta De Francesco, Luca Tesei, 2002, SEKE '02.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2013, CiE.
Paolo Milazzo, Roberto Barbuti, Giulio Caravagna, 2012, Theor. Comput. Sci..
Paolo Milazzo, Roberto Barbuti, Pasquale Bove, 2018, CS&P.
Roberto Barbuti, Maurizio Martelli, 1986, ICLP.
Paolo Milazzo, Roberto Barbuti, Roberta Gori, 2018, Theor. Comput. Sci..
Roberto Barbuti, Nicoletta De Francesco, Cinzia Bernardeschi, 2002, Inf. Process. Lett..
Roberto Barbuti, Alberto Martelli, A. Martelli, 1983, Sci. Comput. Program..
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2006, ICTAC.
Paolo Milazzo, Roberto Barbuti, Francesca Levi, 2012, Theor. Comput. Sci..
Roberto Barbuti, Giulio Caravagna, Alberto d'Onofrio, 2012, BMC Bioinformatics.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2012, SEFM Satellite Events.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2008, Theor. Comput. Sci..
Paolo Milazzo, Roberto Barbuti, Roberta Gori, 2017, Int. Conf. on Membrane Computing.
Roberto Barbuti, Antonella Santone, Gigliola Vaglini, 1999, J. Comput. Syst. Sci..
Paolo Milazzo, Roberto Barbuti, Giulio Caravagna, 2009, COMPMOD.
Roberto Barbuti, Giorgio Levi, Maurizio Martelli, 1986, Logic Programming: Functions, Relations, and Equations.
Roberto Barbuti, Paolo Milazzo, Roberta Gori, 2020, Theor. Comput. Sci..
Paolo Milazzo, Roberto Barbuti, Giulio Caravagna, 2009, Int. J. Comput. Commun. Control.
Stefano Chessa, Alessio Micheli, Roberto Barbuti, 2016, PloS one.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2009 .
Roberto Barbuti, Pasquale Bove, Francesca Levi, 2021, Fundam. Informaticae.
Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, 2006 .
Roberto Barbuti, Pasquale Bove, Paolo Milazzo, 2014, BMC Evolutionary Biology.
Roberto Barbuti, Giulio Caravagna, Alberto d'Onofrio, 2010, Journal of theoretical biology.
Alexander K. Petrenko, Bernhard K. Aichernig, Tomasz Janowski, 2008 .