Browse by Journal
![]() | See full list of headings |
B
Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713
(2018)
CoSMed: a confidentiality-verified social media platform.
Journal of Automated Reasoning, 61
(1-4)
.
pp. 113-119.
ISSN 0168-7433
[Article]
(doi:10.1007/s10817-017-9443-3)
Blanchette, Jasmin Christian, Popescu, Andrei and Traytel, Dmitriy (2017) Soundness and completeness proofs by coinductive methods. Journal of Automated Reasoning, 58 (1) . pp. 149-179. ISSN 0168-7433 [Article] (doi:10.1007/s10817-016-9391-3)
Blanchette, Jasmin Christian, Popescu, Andrei and Traytel, Dmitriy (2017) Soundness and completeness proofs by coinductive methods. Journal of Automated Reasoning, 58 (1) . pp. 149-179. ISSN 0168-7433 [Article] (doi:10.1007/s10817-016-9391-3)
P
Popescu, Andrei, Lammich, Peter and Hou, Ping (2021) CoCon: A conference management system with formally verified document confidentiality. Journal of Automated Reasoning, 65 (2) . pp. 321-356. ISSN 0168-7433 [Article] (doi:10.1007/s10817-020-09566-9)