Giulio Guerrieri

发表

Claudia Faggian, Giulio Guerrieri, Giulio Guerrieri, 2021, FoSSaCS.
Simona Ronchi Della Rocca, Luca Paolini, Giulio Guerrieri, 2016, Log. Methods Comput. Sci..
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco, 2016, FSCD.
Beniamino Accattoli, Giulio Guerrieri, Beniamino Accattoli, 2016, ArXiv.
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco, 2016, ArXiv.
Beniamino Accattoli, Giulio Guerrieri, Beniamino Accattoli, 2018, APLAS.
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco, 2016 .
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle, 2019, ESOP.
Beniamino Accattoli, Giulio Guerrieri, Beniamino Accattoli, 2016, APLAS.
Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri, 2019, APLAS.
Claudio Sacerdoti Coen, Beniamino Accattoli, Giulio Guerrieri, 2019, PPDP.
Beniamino Accattoli, Giulio Guerrieri, Beniamino Accattoli, 2019, Sci. Comput. Program..
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco, 2020, ArXiv.
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco, 2019, WoLLIC.
Alberto Naibo, Giulio Guerrieri, Giulio Guerrieri, 2018, Stud Logica.
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco, 2019, CSL.
Beniamino Accattoli, Giulio Guerrieri, 2017, FSEN.
Willem Heijltjes, Giulio Guerrieri, Joseph Paulus, 2021, CSL.
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle, 2019, ArXiv.
Beniamino Accattoli, Giulio Guerrieri, Beniamino Accattoli, 2018, ArXiv.
Beniamino Accattoli, Giulio Guerrieri, Beniamino Accattoli, 2017, ArXiv.
Alberto Carraro, Giulio Guerrieri, Giulio Guerrieri, 2014, FoSSaCS.
Giulio Manzonetto, Giulio Guerrieri, Giulio Guerrieri, 2019, Linearity-TLLA@FLoC.
Ugo Dal Lago, Willem Heijltjes, Giulio Guerrieri, 2020, FoSSaCS.
Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri, 2020, CSL.
Thomas Ehrhard, Giulio Guerrieri, Giulio Guerrieri, 2016, PPDP.
Simona Ronchi Della Rocca, Luca Paolini, Giulio Guerrieri, 2015, TLCA.
Alberto Naibo, Giulio Guerrieri, 2020 .
Giulio Guerrieri, Giulio Guerrieri, 2015, WPTE@RDP.
Giulio Guerrieri, Federico Olimpieri, Giulio Guerrieri, 2021, CSL.
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle, 2021, ArXiv.
Matteo Acclavio, Giulio Guerrieri, Matteo Acclavio, 2021, Linearity&TLLA@IJCAR-FSCD.
Ugo de'Liguoro, Claudia Faggian, Giulio Guerrieri, 2021, ArXiv.