Gabriele Puppis

发表

Michael Benedikt, Gabriele Puppis, Huy Vu, 2015, Inf. Comput..
Tiziano Villa, Gabriele Puppis, Angelo Montanari, 2015, Inf. Comput..
Gabriele Puppis, Angelo Montanari, Adriano Peron, 2006, J. Appl. Non Class. Logics.
Gabriele Puppis, Angelo Montanari, Pietro Sala, 2015, Log. Methods Comput. Sci..
Gabriele Puppis, Cristian Riveros, Pierre Bourhis, 2015, Theory of Computing Systems.
Michael Benedikt, Gabriele Puppis, Clemens Ley, 2010, CSL.
Anca Muscholl, Gabriele Puppis, 2019, STACS.
Gabriele Puppis, Angelo Montanari, Pietro Sala, 2009, CSL.
Gabriele Puppis, Angelo Montanari, Pietro Sala, 2010, ICALP.
Anca Muscholl, Gabriele Puppis, Olivier Gauwin, 2016, ICALP.
Anca Muscholl, Gabriele Puppis, Sougata Bose, 2021, ArXiv.
Thomas Colcombet, Gabriele Puppis, Clemens Ley, 2015, Log. Methods Comput. Sci..
Gabriele Puppis, Cristian Riveros, Filip Mazowiecki, 2020, ArXiv.
Michael Benedikt, Gabriele Puppis, Balder ten Cate, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Michael Benedikt, Gabriele Puppis, Cristian Riveros, 2011, ICALP.
Thomas Colcombet, Gabriele Puppis, Olivier Carton, 2017, The Journal of Symbolic Logic.
Gabriele Puppis, Cristian Riveros, Pierre Bourhis, 2013, ICDT '13.
Anca Muscholl, Gabriele Puppis, Olivier Gauwin, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Gabriele Puppis, 2010 .
Anca Muscholl, Gabriele Puppis, Sylvain Salvati, 2017, STACS.
Ugo Dal Lago, Gabriele Puppis, Angelo Montanari, 2007, 14th International Symposium on Temporal Representation and Reasoning (TIME'07).
Michael Benedikt, Gabriele Puppis, Cristian Riveros, 2013, J. Comput. Syst. Sci..
Anca Muscholl, Gabriele Puppis, Shankara Narayanan Krishna, 2019, MFCS.
Gabriele Puppis, Angelo Montanari, A. Montanari, 2004, FSTTCS.
Michael Benedikt, Gabriele Puppis, Huy Vu, 2010, PODS.
Anca Muscholl, Gabriele Puppis, Amaldev Manuel, 2013, CSR.
Gabriele Puppis, Angelo Montanari, A. Montanari, 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Gabriele Puppis, Cristian Riveros, Slawomir Staworko, 2016, ICDT '12.
Michael Benedikt, Gabriele Puppis, Clemens Ley, 2010, AMW.
Thomas Colcombet, Gabriele Puppis, Clemens Ley, 2011, MFCS.
Michael Benedikt, Gabriele Puppis, Cristian Riveros, 2014, Theor. Comput. Sci..
Thomas Colcombet, Gabriele Puppis, Olivier Carton, 2011, ICALP.
Gabriele Puppis, Angelo Montanari, 2004, Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004..
Ugo Dal Lago, Gabriele Puppis, Angelo Montanari, 2003, ICTCS.
Anca Muscholl, Gabriele Puppis, Amaldev Manuel, 2014, Theory of Computing Systems.
Ugo Dal Lago, Gabriele Puppis, Angelo Montanari, 2007, Theor. Comput. Sci..
Michael Benedikt, Gabriele Puppis, Cristian Riveros, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Anca Muscholl, Gabriele Puppis, Vincent Penelle, 2018, FSTTCS.
Davide Bresolin, Gabriele Puppis, Angelo Montanari, 2009, Acta Informatica.
Michael Benedikt, Gabriele Puppis, Balder ten Cate, 2015, ArXiv.
Anca Muscholl, Gabriele Puppis, Olivier Gauwin, 2015, FSTTCS.
Guido Sciavicco, Gabriele Puppis, Angelo Montanari, 2010, STACS.
Anca Muscholl, Gabriele Puppis, Olivier Gauwin, 2017, Log. Methods Comput. Sci..
Gabriele Puppis, Diego Figueira, María Emilia Descotte, 2018, ICALP.
Davide Bresolin, Gabriele Puppis, Angelo Montanari, 2004, JELIA.
Michal Pilipczuk, Gabriele Puppis, Cristian Riveros, 2022, Algorithmica.
Michael Benedikt, Gabriele Puppis, Balder ten Cate, 2015, ACM Trans. Comput. Log..
Michael Benedikt, Gabriele Puppis, Clemens Ley, 2010 .
Gabriele Puppis, Angelo Montanari, Pietro Sala, 2014, MFCS 2014.
Anca Muscholl, Gabriele Puppis, Olivier Gauwin, 2015 .