Search results for: Gabriele Costa
Marine Ecology > 41 > 6 > n/a - n/a
Rendiconti Lincei. Scienze Fisiche e Naturali > 2018 > 29 > 3 > 599-604
Future Generation Computer Systems > 2018 > 80 > C > 519-536
Palaeogeography, Palaeoclimatology, Palaeoecology > 2017 > 487 > C > 355-363
Critical Care > 2017 > 21 > 1 > 1-10
Pervasive and Mobile Computing > 2016 > 30 > C > 113-131
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 > Formal Methods for Eternal Networked Software Systems > Dependability Assurance > 393-416
International Journal of Information Security > 2015 > 14 > 2 > 123-140
Computers and Mathematics with Applications > 2012 > 63 > 2 > 518-524
Journal of Systems Architecture > 2011 > 57 > 3 > 231-239
Computers & Security > 2010 > 29 > 1 > 74-87