Pubblicazioni
2022 - Leibniz International Proceedings in Informatics, LIPIcs
Dantchev, S.; Galesi, N.; Ghani, A.; Martin, B.
2022 - ANNALS OF PURE AND APPLIED LOGIC
Galesi, N.; Itsykson, D.; Riazanov, A.; Sofronova, A.
2021 - Leibniz International Proceedings in Informatics, LIPIcs
de Rezende, S. F.; Lauria, M.; Nordstrom, J.; Sokolov, D.
2018 - Proceedings of the Annual ACM Symposium on Theory of Computing
Atserias, Albert; Lauria, Massimo; Bonacina, Ilario; Nordström, Jakob; De Rezende, Susanna F; Razborov, Alexander
2017 - INFORMATION AND COMPUTATION
Bennett, Patrick; Bonacina, Ilario; Galesi, Nicola; Huynh, Tony; Molloy, Mike; Wollan, PAUL JOSEPH
2017 - Leibniz International Proceedings in Informatics, LIPIcs
Lauria, Massimo; Nordström, Jakob
2016 - JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY
Bonacina, Ilario; Galesi, Nicola
2016 - SIAM JOURNAL ON COMPUTING
Bonacina, Ilario; Galesi, Nicola; Thapen, Neil
2016 - Leibniz International Proceedings in Informatics, LIPIcs
Filmus, Yuval; Hrubeš, Pavel; Lauria, Massimo
2015 - Leibniz International Proceedings in Informatics, LIPIcs
Galesi, Nicola; Pudlák, Pavel; Thapen, Neil
2015 - Leibniz International Proceedings in Informatics, LIPIcs
Lauria, Massimo; Nordström, Jakob