Search results for: Roberta Gori
Fundamenta Informaticae > 2021 > Vol. 179, nr 2 > 205--225
Fundamenta Informaticae > 2019 > Vol. 165, nr 3-4 > 303--319
Formal Aspects of Computing > 2018 > 30 > 6 > 685-711
Acta Informatica > 2018 > 55 > 3 > 227-267
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Analysis of Logic Programs > 579-594
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Abstract Interpretation > 132-145
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Types and Verification > 225-239
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Session 7 > 238-257
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Program analysis > 362-380
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Analysis of Logic Programs > 595-609
Theoretical Computer Science > 2016 > 623 > C > 114-145
Theoretical Computer Science > 2015 > 587 > Complete > 73-103
Electronic Notes in Theoretical Computer Science > 2013 > 299 > Complete > 15-31
Theoretical Computer Science > 2013 > 471 > Complete > 27-73