1. ScholarBank@NUS

Aquinas Hobor

rp05405

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Aquinas Hobor
(not current staff)
Variants
Hobor, A.
 
Main Affiliation
 
Faculty
 
Email
dcsah@nus.edu.sg
 

Publications

Refined By:
Type:  Conference Paper
Department:  DEAN'S OFFICE (YALE-NUS COLLEGE)

Results 1-11 of 11 (Search time: 0.005 seconds).

Issue DateTitleAuthor(s)
12009A fresh look at separation algebras and share accountingDockins, R.; Hobor, A. ; Appel, A.W.
22010A logical mix of approximation and separationHobor, A. ; Dockins, R.; Appel, A.W.
32010A theory of indirection via approximationHobor, A. ; Dockins, R.; Appel, A.W.
42010A theory of indirection via approximationHobor, A. ; Dockinsy, R.; Appel, A.W.
52011Barriers in concurrent separation logicHobor, A. ; Gherghina, C.
62012Decision procedures over sophisticated fractional permissionsBach, L.X.; Gherghina, C.; Hobor, A. 
71-Jan-2021Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s AlgorithmsMohan, Anshuman ; Leow, Wei Xiang ; Hobor, Aquinas 
82018Logical reasoning for disjoint permissionsLe X.-B. ; Hobor A. 
99-Aug-2023Smart Learning to Find Dumb ContractsTamer Abdelaziz; Aquinas Hobor 
102013The ramifications of sharing in data structuresHobor, A. ; Villard, J.
1124-Sep-2012Time bounds for general function pointersDockins, R.; Hobor, A.