Aquinas Hobor

Available identifiers

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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Aquinas Hobor