Search results for: Pierpaolo Degano
The Journal of Supercomputing > 2019 > 75 > 12 > 7750-7764
Natural Computing > 2018 > 17 > 2 > 345-373
IEEE Transactions on Software Engineering > 2016 > 42 > 6 > 505 - 529
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2009 > Full Research Papers > 80-95
Lecture Notes in Computer Science > Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security > 41-58
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Security > 413-427
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 514-528
Lecture Notes in Computer Science > Global Computing. Programming Environments, Languages, Security, and Analysis of Systems > 25-56
Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 438-466
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 32-47
Lecture Notes in Computer Science > Static Analysis > Concurrency > 168-183