Author of the publication

Decidability and Complexity of Tree Share Formulas.

, , and . FSTTCS, volume 65 of LIPIcs, page 19:1-19:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Certified Decision Procedure for Tree Shares., , , and . ICFEM, volume 10610 of Lecture Notes in Computer Science, page 226-242. Springer, (2017)Complexity Analysis of Tree Share Structure., , and . APLAS, volume 11275 of Lecture Notes in Computer Science, page 89-108. Springer, (2018)Complexity Analysis of Tree Share Structure., , and . CoRR, (2020)Logical Reasoning for Disjoint Permissions., and . ESOP, volume 10801 of Lecture Notes in Computer Science, page 385-414. Springer, (2018)Decidability and Complexity of Tree Share Formulas., , and . FSTTCS, volume 65 of LIPIcs, page 19:1-19:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Decision Procedures over Sophisticated Fractional Permissions., , and . APLAS, volume 7705 of Lecture Notes in Computer Science, page 368-385. Springer, (2012)Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications., , , and . ICECCS, page 43-52. IEEE, (2020)Monadic Decomposability of Regular Relations., , , , and . ICALP, volume 132 of LIPIcs, page 103:1-103:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic., , , and . Proc. ACM Program. Lang., 6 (POPL): 1-27 (2022)Multi-Granularity Detector for Vulnerability Fixes., , , , , , , , , and 2 other author(s). CoRR, (2023)