☰

Aquinas Hobor, Ph.D. - Publications

Affiliations: 
2008 Princeton University, Princeton, NJ 
Area:
Software verification, computer security, programming languages, compilers.
Tree Info Similar researchers PubMed Report error

9 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2014 Appel AW, Dockins R, Hobor A, Beringer L, Dodds J, Stewart G, Blazy S, Leroy X. Program logics for certified compilers Program Logics For Certified Compilers. 1-451. DOI: 10.1017/CBO9781107256552  0.711
2014 Le TC, Gherghina C, Hobor A, Chin WN. A resource-based logic for termination and non-termination proofs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8829: 267-283.  0.421
2012 Hobor A, Gherghina C. Barriers in concurrent separation logic: Now with tool support! Logical Methods in Computer Science. 8: 2. DOI: 10.2168/Lmcs-8(2:2)2012  0.563
2012 Dockins R, Hobor A. Time bounds for general function pointers Electronic Notes in Theoretical Computer Science. 286: 139-155. DOI: 10.1016/J.Entcs.2012.08.010  0.569
2010 Hobor A, Dockins R, Appel AW. A theory of indirection via approximation Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 171-184. DOI: 10.1145/1706299.1706322  0.483
2010 Hobor A, Dockins R, Appel AW. A logical mix of approximation and separation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6461: 439-454. DOI: 10.1007/978-3-642-17164-2_30  0.639
2009 Dockins R, Hobor A, Appel AW. A fresh look at separation algebras and share accounting Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5904: 161-177. DOI: 10.1007/978-3-642-10672-9_13  0.651
2008 Dockins R, Appel AW, Hobor A. Multimodal Separation Logic for Reasoning About Operational Semantics Electronic Notes in Theoretical Computer Science. 218: 5-20. DOI: 10.1016/J.Entcs.2008.10.002  0.528
2008 Hobor A, Appel AW, Nardelli FZ. Oracle semantics for concurrent separation logic Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4960: 353-367. DOI: 10.1007/978-3-540-78739-6_27  0.715
Show low-probability matches.