Search results
Studia Logica > 2019 > 107 > 1 > 145-165
Formal Methods in System Design > 2018 > 53 > 2 > 286-312
Journal of Cryptographic Engineering > 2017 > 7 > 1 > 75-85
IET Information Security > 2016 > 10 > 2 > 69 - 79
Journal of Automated Reasoning > 2015 > 54 > 1 > 1-29
Annals of Mathematics and Artificial Intelligence > 2015 > 74 > 3-4 > 309-332
IEEE Security & Privacy > 2014 > 12 > 1 > 65 - 68
Minds and Machines > 2014 > 24 > 4 > 439-476
Journal of Automated Reasoning > 2013 > 50 > 2 > 123-133
Information and Computation > 2012 > 216 > Complete > 14-23
Formal Methods in System Design > 2012 > 40 > 2 > 170-205
Formal Methods in System Design > 2012 > 41 > 2 > 178-210
Journal of Automated Reasoning > 2012 > 49 > 3 > 363-408
Journal of Automated Reasoning > 2011 > 47 > 3 > 229-250
Electronic Notes in Theoretical Computer Science > 2009 > 238 > 4 > 41-56