Aquinas Hobor

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Robust overlays meet blockchains: on handling high churn and catastrophic failures Theoretical Computer Science	2025-08-01	Paper
Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms	2022-03-25	Paper
Reasoning over permissions regions in concurrent separation logic	2021-02-09	Paper
Certified reasoning with infinity FM 2015: Formal Methods	2019-12-19	Paper
Logical reasoning for disjoint permissions	2019-09-13	Paper
Decidability and complexity of tree share formulas	2018-04-19	Paper
Verifying concurrent graph algorithms Programming Languages and Systems	2016-12-21	Paper
Time bounds for general function pointers Electronic Notes in Theoretical Computer Science	2016-07-08	Paper
A theory of indirection via approximation Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-06-11	Paper
The ramifications of sharing in data structures Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-11-27	Paper
Program logics for certified compilers	2014-07-28	Paper
Multimodal Separation Logic for Reasoning About Operational Semantics Electronic Notes in Theoretical Computer Science	2014-05-13	Paper
Barriers in concurrent separation logic: now with tool support! Logical Methods in Computer Science	2012-05-16	Paper
Barriers in Concurrent Separation Logic Programming Languages and Systems	2011-05-19	Paper
Oracle Semantics for Concurrent Separation Logic Programming Languages and Systems	2008-04-11	Paper

Research outcomes over time

This page was built for person: Aquinas Hobor