Search results
Journal of Automated Reasoning > 2019 > 62 > 4 > 505-530
Journal of Automated Reasoning > 2018 > 61 > 1-4 > 333-365
Journal of Automated Reasoning > 2017 > 58 > 1 > 149-179
Electronic Notes in Theoretical Computer Science > 2016 > 323 > C > 197-214
Lecture Notes in Computer Science > FM 2011: Formal Methods > Program Compilation and Transformation > 184-199
Journal of Automated Reasoning > 2016 > 56 > 1 > 1-47
Journal of Automated Reasoning > 2016 > 57 > 3 > 219-244
Journal of Automated Reasoning > 2016 > 56 > 2 > 155-200
IEEE Security & Privacy > 2015 > 13 > 5 > 86 - 89
Electronic Notes in Theoretical Computer Science > 2015 > 312 > Complete > 51-67
Journal of Automated Reasoning > 2015 > 55 > 3 > 285-294
Journal of Automated Reasoning > 2015 > 55 > 4 > 307-372
Indagationes Mathematicae > 2013 > 24 > 4 > 1034-1049
Indagationes Mathematicae > 2013 > 24 > 4 > 1105-1120
Journal of Applied Logic > 2013 > 11 > 1 > 91-102
Journal of Automated Reasoning > 2013 > 50 > 2 > 123-133