Search results for: Chiara Bodei
The Journal of Supercomputing > 2019 > 75 > 12 > 7750-7764
Science of Computer Programming > 2017 > 133 > P1 > 20-50
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Calculi for Service-Oriented Computing > 214-231
Lecture Notes in Computer Science > Static Analysis > Concurrency > 168-183
Lecture Notes in Computer Science > Static Analysis > 202-216
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 120-134
Theoretical Computer Science > 2015 > 587 > Complete > 73-103
Computational Biology and Chemistry > 2015 > 56 > Complete > 98-108
Electronic Notes in Theoretical Computer Science > 2013 > 299 > Complete > 15-31
Electronic Notes in Theoretical Computer Science > 2012 > 284 > Complete > 3-22