( en | de | ru )

 

Disambiguation of "Hobor, Aquinas"

Author of the publication

copydeleteadd this publication to your clipboard
A Certified Decision Procedure for Tree Shares.

, , , and . ICFEM, volume 10610 of Lecture Notes in Computer Science, page 226-242. Springer, (2017)

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.

No persons found for author name Hobor, Aquinas
add a person with the name Hobor, Aquinas
 

Other publications of authors with the same name

A Theory of Termination via Indirection., and . Modelling, Controlling and Reasoning About State, volume 10351 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)Pumping, with or Without Choice., , and . APLAS, volume 11893 of Lecture Notes in Computer Science, page 427-446. Springer, (2019)Robust Overlays Meet Blockchains - On Handling High Churn and Catastrophic Failures., , and . SSS, volume 14310 of Lecture Notes in Computer Science, page 191-206. Springer, (2023)A Concurrent Perspective on Smart Contracts., and . Financial Cryptography Workshops, volume 10323 of Lecture Notes in Computer Science, page 478-493. Springer, (2017)Functional Correctness of C Implementations of Dijkstra's, Kruskal's, and Prim's Algorithms., , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 801-826. Springer, (2021)Exploiting the laws of order in smart contracts., , , , and . ISSTA, page 363-373. ACM, (2019)A Logical Mix of Approximation and Separation., , and . APLAS, volume 6461 of Lecture Notes in Computer Science, page 439-454. Springer, (2010)Decision Procedures over Sophisticated Fractional Permissions., , and . APLAS, volume 7705 of Lecture Notes in Computer Science, page 368-385. Springer, (2012)Certified Reasoning with Infinity., , , , and . FM, volume 9109 of Lecture Notes in Computer Science, page 496-513. Springer, (2015)A functional proof pearl: inverting the Ackermann hierarchy., , and . CPP, page 129-142. ACM, (2020)