Pubblicazioni
Autori:
Guillaume Geoffroy, Paolo Pistone
Pubblicato in:
Proceedings of CSL 2021, 29th EACSL Annual Conference on Computer Science Logic, Numero 183, 2021, Pagina/e 23:1-23:18, ISBN 9783959771757
Editore:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.csl.2021.23
Autori:
Paolo Pistone
Pubblicato in:
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Pagina/e 1-14, ISBN 978-1-6654-4895-6
Editore:
IEEE
DOI:
10.1109/lics52264.2021.9470696
Autori:
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
Pubblicato in:
Proceedings of CONCUR 2020, 31st International Conference on Concurrency Theory, Numero 171, 2020, Pagina/e 34:1-34:20, ISBN 9783959771603
Editore:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.concur.2020.34
Autori:
Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone
Pubblicato in:
Proceedings of FSCD 2022, 7th International Conference on Formal Structures for Computation and Deduction, Numero 228, 2022, Pagina/e 4:1-4:18, ISBN 9783959772334
Editore:
Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.fscd.2022.4
Autori:
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
Pubblicato in:
Proceedings of CSL 2024, 32nd EACSL Annual Conference on Computer Science Logic,, Numero 288, 2024, Pagina/e 10:1-10:19, ISSN 1868-8969
Editore:
"Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI:
10.4230/lipics.csl.2024.10
Autori:
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
Pubblicato in:
2022 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2022, Pagina/e 45:1--45:13, ISBN 9781450393515
Editore:
ACM
DOI:
10.1145/3531130.3533361
Autori:
Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu
Pubblicato in:
Proceedings of ICALP 2019, 46th International Colloquium on Automata, Languages, and Programming, Numero 132, 2019, Pagina/e 111:1-111:14, ISBN 9783959771092
Editore:
Schloss Dagstuhl, Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.icalp.2019.111
Autori:
Davide Barbarossa
Pubblicato in:
2022 27th annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2022, Pagina/e 27:1--27:12, ISBN 9781450393515
Editore:
ACM
DOI:
10.1145/3531130.3532469
Autori:
Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem
Pubblicato in:
Proceedings of MFCS 2021,46th International Symposium on Mathematical Foundations of Computer Science, Numero 202, 2021, Pagina/e 35:1-35:12, ISBN 9783959772013
Editore:
Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.mfcs.2021.35
Autori:
Francesco Gavazzo, Claudia Faggian
Pubblicato in:
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Pagina/e 1-14, ISBN 978-1-6654-4895-6
Editore:
IEEE
DOI:
10.1109/lics52264.2021.9470633
Autori:
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
Pubblicato in:
Proceedings of FSCD 2023, 8th International Conference on Formal Structures for Computation and Deduction, Numero 260, 2023, Pagina/e 20:1-20:19, ISBN 9783959772778
Editore:
Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.fscd.2023.20
Autori:
Ugo Dal Lago, Francesco Gavazzo
Pubblicato in:
Proceedings of FSCD 2021, 6th International Conference on Formal Structures for Computation and Deduction, Numero 195, 2021, Pagina/e 23:1-23:19, ISBN 9783959771917
Editore:
Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.fscd.2021.23
Autori:
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Pubblicato in:
22nd International Symposium on Principles and Practice of Declarative Programming, 2020, Pagina/e 1-15, ISBN 9781450388214
Editore:
ACM
DOI:
10.1145/3414080.3414108
Autori:
Ugo Dal Lago, Thomas Leventis
Pubblicato in:
Proceedings of FSCD 2019, 4th International Conference on Formal Structures for Computation and Deduction, Numero 131, 2019, Pagina/e 13:1-13:16, ISBN 9783959771078
Editore:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.fscd.2019.13
Autori:
Ugo Dal Lago, Maurizio Murgia
Pubblicato in:
Proceedings of CONCUR 2023, 34th International Conference on Concurrency Theory, Numero 279, 2023, Pagina/e 38:1-38:17, ISSN 1868-8969
Editore:
"Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI:
10.4230/lipics.concur.2023.3
Autori:
Francesco Dagnino, Francesco Gavazzo
Pubblicato in:
Proceedings of FSCD 2022, 7th International Conference on Formal Structures for Computation and Deduction, Numero 228, 2022, Pagina/e 3:1--3:21, ISBN 9783959772334
Editore:
Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.fscd.2022.3
Autori:
Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
Pubblicato in:
Proceedings of FoSSaCS 2020, 23rd International Conference on Foundations of Software Science and Computation Structures, Numero 12077, 2020, Pagina/e 136-156, ISBN 9783030452308
Editore:
Springer
Autori:
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Pubblicato in:
2022 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2022, Pagina/e 47:1-47:13, ISBN 9781450393515
Editore:
ACM
DOI:
10.1145/3531130.3533362
Autori:
Ugo Dal Lago, Giulia Giusti
Pubblicato in:
Proceedings of CONCUR 2023, 33rd International Conference on Concurrency Theory, Numero 243, 2022, Pagina/e 37:1-37:18, ISBN 9783959772464
Editore:
"Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI:
10.4230/lipics.concur.2022.37
Autori:
Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago
Pubblicato in:
Proceedings of ICALP 2020, 47th International Colloquium on Automata, Languages, and Programming, Numero 168, 2020, Pagina/e 108:1-108:16, ISBN 9783959771382
Editore:
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.icalp.2020.108
Autori:
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
Pubblicato in:
Proceedings of CSL 2023, 31st EACSL Annual Conference on Computer Science Logic, Numero 252, 2023, Pagina/e 17:1-17:17, ISBN 9783959772648
Editore:
Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.csl.2023.17
Autori:
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
Pubblicato in:
Proceedings of CIE 2021, 17th Conference on Computability in Europe, Numero 12813, 2021, Pagina/e 12-24
Editore:
Springer
DOI:
10.1007/978-3-030-80049-9\_2
Autori:
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
Pubblicato in:
Proceedings of ESOP 2020, 29th European Symposium on Programming, Numero 12075, 2020, Pagina/e 56-83, ISBN 9783030449131
Editore:
Springer
Autori:
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Pubblicato in:
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Pagina/e 1-13, ISBN 978-1-6654-4895-6
Editore:
IEEE
DOI:
10.1109/lics52264.2021.9470726
Autori:
Ugo Dal Lago, Francesco Gavazzo
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 6/POPL, 2022, Pagina/e 1-30, ISSN 2475-1421
Editore:
ACM
DOI:
10.1145/3498692
Autori:
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 6/ICFP, 2022, Pagina/e 799--825, ISSN 2475-1421
Editore:
ACM Press
DOI:
10.1145/3547650
Autori:
Ugo Dal Lago, Francesco Gavazzo
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 6/POPL, 2022, Pagina/e 1-28, ISSN 2475-1421
Editore:
ACM
DOI:
10.1145/3498680
Autori:
Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 5/POPL, 2021, Pagina/e 1-32, ISSN 2475-1421
Editore:
ACM
DOI:
10.1145/3434313
Autori:
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 5/POPL, 2021, Pagina/e 1-33, ISSN 2475-1421
Editore:
ACM
DOI:
10.1145/3434332
Autori:
Ugo Dal Lago, Alexis Ghyselen
Pubblicato in:
Proceedings of the ACM for Programming Languages, Numero 8/POPL, 2024, ISSN 2475-1421
Editore:
ACM
DOI:
10.1145/3632929
Autori:
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 6/ICFP, 2022, Pagina/e 826--854, ISSN 2475-1421
Editore:
ACM Press
DOI:
10.1145/3547651
Autori:
Naoki Kobayashi, Ugo Dal Lago, Charles Grellois
Pubblicato in:
Logical Methods in Computer Science, Numero 16(2), 2019, ISSN 1860-5974
Editore:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-16(4:2)2020
Autori:
Martin Avanzini, Ugo Dal Lago, Akihisa Yamada
Pubblicato in:
Science of Computer Programming, Numero 185, 2020, Pagina/e 102338, ISSN 0167-6423
Editore:
Elsevier BV
DOI:
10.1016/j.scico.2019.102338
Autori:
Martin Avanzini, Gilles Barthe, Ugo Dal Lago
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 5/ICFP, 2021, Pagina/e 1-30, ISSN 2475-1421
Editore:
ACM
DOI:
10.1145/3473592
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile