Browse by Journal

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors/Editors | Item Type | No Grouping
Jump to: B | P
Number of items: 4.

B

Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco ORCID logoORCID: 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)

This list was generated on Mon Aug 8 07:49:42 2022 BST.