Search results for: Franco Raimondi
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 4 > 449-469
Journal of Automated Reasoning > 2018 > 61 > 1-4 > 113-139
Journal of Computer and System Sciences > 2017 > 88 > C > 126-144
Discrete Applied Mathematics > 2017 > 225 > C > 136-142
Applied Network Science > 2017 > 2 > 1 > 1-30
2017 IEEE Symposium on Security and Privacy (SP) > 729 - 748
Journal of Reliable Intelligent Environments > 2017 > 3 > 2 > 117-130
Computer Communications > 2016 > 89-90 > C > 128-140
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tool Demonstrations > 450-454
Lecture Notes in Computer Science > Declarative Agent Languages and Technologies IV > Invited Papers > 29-42
Lecture Notes in Computer Science > Deontic Logic in Computer Science > Contributed Papers > 228-242