Search results
Fundamenta Informaticae > 2019 > Vol. 170, nr 1-3 > 177--205
Formal Aspects of Computing > 2019 > 31 > 5 > 541-610
Formal Aspects of Computing > 2019 > 31 > 3 > 321-351
Journal of Automated Reasoning > 2019 > 63 > 2 > 463-488
Journal of Automated Reasoning > 2019 > 63 > 3 > 695-722
Annals of Mathematics and Artificial Intelligence > 2019 > 85 > 2-4 > 89-117
Formal Aspects of Computing > 2018 > 30 > 6 > 659-684
Journal of Automated Reasoning > 2018 > 61 > 1-4 > 521-553
Journal of Logical and Algebraic Methods in Programming > 2018 > 94 > C > 1-14
Journal of Automated Reasoning > 2018 > 61 > 1-4 > 113-139
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 2 > 119-123
Journal of Automated Reasoning > 2018 > 60 > 3 > 255-256
Journal of Automated Reasoning > 2019 > 62 > 3 > 301-329
Journal of Automated Reasoning > 2019 > 62 > 1 > 69-91
2017 IEEE Symposium on Security and Privacy (SP) > 729 - 748
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 2 > 139-155
Journal of Automated Reasoning > 2017 > 59 > 4 > 389-423
Journal of Automated Reasoning > 2017 > 59 > 4 > 425-454