Search results for: Rocco De Nicola
Concurrency and Computation: Practice and Experience > 35 > 16 > n/a - n/a
Concurrency and Computation: Practice and Experience > 33 > 14 > n/a - n/a
Concurrency and Computation: Practice and Experience > 30 > 8 > n/a - n/a
Performability Engineering Series > Quantitative Assessments of Distributed Systems > Verification > 27 - 55
Acta Informatica > 2015 > 52 > 1 > 61-106
Theoretical Computer Science > 2014 > 546 > Complete > 63-92
Information and Computation > 2013 > 225 > Complete > 29-82
Science of Computer Programming > 2010 > 75 > 6 > 376-397
Electronic Notes in Theoretical Computer Science > 2009 > 229 > 4 > 11-26
Theoretical Computer Science > 2008 > 398 > 1-3 > 217-242
Information and Computation > 2007 > 205 > 10 > 1491-1525
Theoretical Computer Science > 2007 > 382 > 1 > 42-70
Electronic Notes in Theoretical Computer Science > 2007 > 181 > Complete > 63-79
Electronic Notes in Theoretical Computer Science > 2007 > 169 > Complete > 133-146
Science of Computer Programming > 2007 > 64 > 2 > 187-204