`Travelled to:`

1 × Germany

1 × Hungary

1 × Italy

1 × Norway

1 × Spain

`Collaborated with:`

A.W.Appel J.Villard C.Gherghina X.B.Le S.Wang R.Dockins F.Z.Nardelli Qinxiang Cao Anshuman Mohan A.Sharma A.Costea W.Chin

`Talks about:`

logic (3) structur (2) concurr (2) certifi (2) reason (2) separ (2) data (2) indirect (1) disjoint (1) approxim (1)

## Person: Aquinas Hobor

### DBLP: Hobor:Aquinas

### Contributed to:

### Wrote 7 papers:

- FM-2015-SharmaWCHC #infinity #reasoning
- Certified Reasoning with Infinity (AS, SW, AC, AH, WNC), pp. 496–513.
- POPL-2013-HoborV #data type
- The ramifications of sharing in data structures (AH, JV), pp. 523–536.
- ESOP-2011-HoborG #concurrent #logic
- Barriers in Concurrent Separation Logic (AH, CG), pp. 276–296.
- POPL-2010-HoborDA #approximate #formal method
- A theory of indirection via approximation (AH, RD, AWA), pp. 171–184.
- ESOP-2008-HoborAN #concurrent #logic #semantics
- Oracle Semantics for Concurrent Separation Logic (AH, AWA, FZN), pp. 353–367.
- ESOP-2018-LeH #logic #reasoning
- Logical Reasoning for Disjoint Permissions (XBL, AH), pp. 385–414.
- OOPSLA-2019-WangCMH #c #data type #source code
- Certifying graph-manipulating C programs via localizations within data structures (SW, QC, AM, AH), p. 30.