Search results for: Alessandra Pierro
Soft Computing > 2018 > 22 > 18 > 6247-6260
Lecture Notes in Computer Science > Program Analysis and Compilation, Theory and Practice > Technical Papers > 160-174
Lecture Notes in Computer Science > Process Algebra and Probabilistic Methods: Performance Modeling and Verification > Short Abstracts > 211-212
Lecture Notes in Computer Science > Information and Communications Security > Side Channel Analysis > 81-96
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Abstract Interpretation > 147-164
Lecture Notes in Computer Science > Static Analysis > 310-325
Lecture Notes in Computer Science > Formal Methods for Quantitative Aspects of Programming Languages > 1-42
Lecture Notes in Computer Science > CONCUR 2003 - Concurrency Theory > Probabilistic Models > 508-522
Lecture Notes in Computer Science > Formal Methods for Components and Objects > Quantitative Analysis > 388-407
Lecture Notes in Computer Science > Coordination Models and Languages > Contributed Papers > 119-134
Lecture Notes in Computer Science
International Journal of Information Security > 2008 > 7 > 3 > 219-242