Aquinas Hobor

Available identifiers

zbMath Open hobor.aquinasWikidataQ102112709 ScholiaQ102112709MaRDI QIDQ832309

List of research outcomes

Publication	Date of Publication	Type
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	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	2016-12-21	Paper
Time Bounds for General Function Pointers	2016-07-08	Paper
A theory of indirection via approximation	2015-06-11	Paper
The ramifications of sharing in data structures	2014-11-27	Paper
Program Logics for Certified Compilers	2014-07-28	Paper
Multimodal Separation Logic for Reasoning About Operational Semantics	2014-05-13	Paper
Barriers in concurrent separation logic: now with tool support!	2012-05-16	Paper
Barriers in Concurrent Separation Logic	2011-05-19	Paper
Oracle Semantics for Concurrent Separation Logic	2008-04-11	Paper

Research outcomes over time

This page was built for person: Aquinas Hobor