Search results for: Ivano Salvo
Acta Informatica > 2019 > 56 > 5 > 405-431
Algorithmica > 2019 > 81 > 4 > 1535-1560
Information Processing Letters > 2018 > 131 > C > 44-50
IEEE Transactions on Automatic Control > 2017 > 62 > 10 > 5357 - 5364
Information Processing Letters > 2017 > 122 > C > 8-16
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Regular Papers > 531-546
Lecture Notes in Computer Science > Computer Aided Verification > Session 4. Counter and Hybrid Systems Verification > 180-195
Electronic Notes in Theoretical Computer Science > 2003 > 78 > Complete > 1-34
Electronic Notes in Theoretical Computer Science > 2002 > 62 > Complete > 83-101
Information and Computation > 2001 > 171 > 2 > 137-155
Electronic Notes in Theoretical Computer Science > 2001 > 50 > 2 > 159-177