Search results for: Paolo Milazzo
Fundamenta Informaticae > 2021 > Vol. 179, nr 2 > 205--225
Innovations in Systems and Software Engineering > 2019 > 15 > 3-4 > 169-190
Fundamenta Informaticae > 2019 > Vol. 165, nr 3-4 > 303--319
Journal of Logical and Algebraic Methods in Programming > 2018 > 100 > C > 215-229
Acta Informatica > 2018 > 55 > 3 > 227-267
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 108-122
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Concurrency > 93-107
Lecture Notes in Computer Science > Formal Methods for Computational Systems Biology > BISCA Talks > 387-423
Theoretical Computer Science > 2016 > 623 > C > 114-145
Journal of Theoretical Biology > 2016 > 389 > Complete > 263-273
Theoretical Computer Science > 2015 > 608 > P1 > 36-56
Theoretical Computer Science > 2015 > 587 > Complete > 104-124