Simone Tini

发表

Andrea Maggiolo-Schettini, Simone Tini, A. Maggiolo-Schettini, 1999, Fundam. Informaticae.
Simone Tini, Ruggero Lanotte, 2005, FoSSaCS.
Simone Tini, Michele Loreti, Valentina Castiglioni, 2020, ISoLA.
Andrea Maggiolo-Schettini, Simone Tini, A. Maggiolo-Schettini, 2000, AMAST.
Andrea Maggiolo-Schettini, Simone Tini, 2004, Fundam. Informaticae.
Paolo Milazzo, Roberto Barbuti, Giulio Caravagna, 2010, MeCBIC.
Simone Tini, Ruggero Lanotte, Valentina Castiglioni, 2019, The Art of Modelling Computational Systems.
Simone Tini, Alessandro Gianola, Nicoletta Sabadini, 2020, Fundam. Informaticae.
Andrea Maggiolo-Schettini, Simone Tini, Ruggero Lanotte, 2001, Electron. Notes Theor. Comput. Sci..
Simone Tini, Daniel Gebler, Valentina Castiglioni, 2016, CONCUR.
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..
Simone Tini, S. Tini, 2007, SOS@CONCUR.
Paolo Milazzo, Roberto Barbuti, Simone Tini, 2008 .
Simone Tini, Ruggero Lanotte, Valentina Castiglioni, 2014, CS&P.
Simone Tini, Ruggero Lanotte, R. Lanotte, 2019, IFM.
Enrico Tronci, Andrea Maggiolo-Schettini, Simone Tini, 2004, Electron. Notes Theor. Comput. Sci..
Enrico Tronci, Andrea Maggiolo-Schettini, Simone Tini, 2004, ICICS.
Simone Tini, Jorge A. Pérez, 2020 .
Enrico Tronci, Andrea Maggiolo-Schettini, Simone Tini, 2002, TOSCA.
Simone Tini, S. Tini, 2001, Theor. Comput. Sci..
Simone Tini, S. Tini, 2004, J. Log. Algebraic Methods Program..
Simone Tini, Daniel Gebler, Valentina Castiglioni, 2016, QAPL.
Simone Tini, Valentina Castiglioni, Valentina Castiglioni, 2019, Inf. Comput..
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2008, Fundam. Informaticae.
Kim G. Larsen, Simone Tini, Daniel Gebler, 2016, Log. Methods Comput. Sci..
Andrea Maggiolo-Schettini, Simone Tini, Ruggero Lanotte, 2003, Theor. Comput. Sci..
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2014, Theor. Comput. Sci..
Kim G. Larsen, Simone Tini, Daniel Gebler, 2015, FoSSaCS.
Andrea Maggiolo-Schettini, Simone Tini, Ruggero Lanotte, 2001, Fundam. Informaticae.
Simone Tini, Ruggero Lanotte, Massimo Merro, 2017, Log. Methods Comput. Sci..
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2010, J. Log. Algebraic Methods Program..
Andrea Maggiolo-Schettini, Simone Tini, Ruggero Lanotte, 2004, Inf. Process. Lett..
Simone Tini, Ruggero Lanotte, Valentina Castiglioni, 2013, CS&P.
Andrea Maggiolo-Schettini, Simone Tini, A. Maggiolo-Schettini, 1998, COTIC.
Simone Tini, Kim Guldstrand Larsen, Daniel Gebler, 2014 .
Simone Tini, Daniel Gebler, Valentina Castiglioni, 2017, Log. Methods Comput. Sci..
Simone Tini, Ruggero Lanotte, Massimo Merro, 2017, MFCS.
Andrea Maggiolo-Schettini, Simone Tini, Adriano Peron, 2003, Theor. Comput. Sci..
Andrea Maggiolo-Schettini, Simone Tini, Ruggero Lanotte, 2004, TECS.
Andrea Maggiolo-Schettini, Simone Tini, A. Maggiolo-Schettini, 1998, MFCS Workshop on Concurrency.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2010, Int. Conf. on Membrane Computing.
Andrea Maggiolo-Schettini, Simone Tini, Ruggero Lanotte, 2003, Fundam. Informaticae.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2009, Fundam. Informaticae.
Simone Tini, Ruggero Lanotte, R. Lanotte, 2009, TOCL.
Simone Tini, Alessandro Gianola, Nicoletta Sabadini, 2020, ICTCS.
Simone Tini, S. Tini, 2008, AMAST.
Simone Tini, Valentina Castiglioni, Valentina Castiglioni, 2017, QAPL@ETAPS.
Simone Tini, Ruggero Lanotte, Massimo Merro, 2017, Inf. Comput..
Simone Tini, S. Tini, 2001, J. Comput. Syst. Sci..
Simone Tini, Ruggero Lanotte, Adriano Peron, 2000 .
Simone Tini, Daniel Gebler, S. Tini, 2018, J. Comput. Syst. Sci..
Simone Tini, Valentina Castiglioni, Valentina Castiglioni, 2020, Theor. Comput. Sci..
Andrea Maggiolo-Schettini, Simone Tini, Ruggero Lanotte, 2001, FCT.
Simone Tini, A. Maggiolo Schettini, 1998 .
Simone Tini, Ruggero Lanotte, Valentina Castiglioni, 2014, Fundam. Informaticae.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2013, CiE.
Simone Tini, Kirstin Peters, 2019, Acta Informatica.
Simone Tini, S. Tini, 2003, ESOP.
Simone Tini, Ruggero Lanotte, Angelo Troina, 2004 .
Paolo Milazzo, Roberto Barbuti, Giulio Caravagna, 2012, Theor. Comput. Sci..
Simone Tini, Ruggero Lanotte, 2007, Inf. Comput..
Simone Tini, Ruggero Lanotte, R. Lanotte, 2005, Inf. Comput..
Simone Tini, S. Tini, 2010, Theor. Comput. Sci..
Simone Tini, Valentina Castiglioni, 2020, Inf. Process. Lett..
Simone Tini, S. Tini, 2004, Formal Aspects of Computing.
Enrico Tronci, Andrea Maggiolo-Schettini, Simone Tini, 2004, International Journal of Information Security.
Andrea Maggiolo-Schettini, Simone Tini, 1999, ECOOP Workshops.
Simone Tini, Michele Loreti, Valentina Castiglioni, 2020, Theor. Comput. Sci..
Andrea Maggiolo-Schettini, Simone Tini, 2002, Inf. Process. Lett..
Simone Tini, Daniel Gebler, S. Tini, 2013, EXPRESS/SOS.
Simone Tini, Ruggero Lanotte, Massimo Merro, 2017, FORTE.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2008, Theor. Comput. Sci..
Enrico Tronci, Simone Tini, Roberto Gorrieri, 2004 .
Andrea Maggiolo-Schettini, Simone Tini, Adriano Peron, 1996, CONCUR.
Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2009 .
Simone Tini, Michele Loreti, Valentina Castiglioni, 2021, ArXiv.
Simone Tini, Alessandra Cherubini, Nicoletta Sabadini, 2021, Theor. Comput. Sci..
Simone Tini, Ruggero Lanotte, Massimo Merro, 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Simone Tini, Michele Loreti, Valentina Castiglioni, 2021, FORTE.