Teaching experience: Logic and formal methods with Coq

by Henz, M., Hobor, A.
Published 2013

Barriers in concurrent separation logic

by Hobor, A., Gherghina, C.
Published 2013

The ramifications of sharing in data structures

by Hobor, A., Villard, J.
Published 2013

Teaching experience: Logic and formal methods with Coq

by Henz, M, Hobor, A
Published 2021

Barriers in concurrent separation logic: Now with tool support!

by Hobor, A., Gherghina, C.
Published 2013

Time bounds for general function pointers

by Dockins, R., Hobor, A.
Published 2014

Proceedings for FTfJP 2012: The 14th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2012 and PLDI 2012, Papers Presented at the Workshop: Foreword

by Chin, W.-N., Hobor, A.
Published 2013

Logical reasoning for disjoint permissions

by Le X.-B., Hobor A.
Published 2020

A logical mix of approximation and separation

by Hobor, A., Dockins, R., Appel, A.W.
Published 2013

A theory of indirection via approximation

by Hobor, A., Dockinsy, R., Appel, A.W.
Published 2013

Decision procedures over sophisticated fractional permissions

by Bach, L.X., Gherghina, C., Hobor, A.
Published 2013

A fresh look at separation algebras and share accounting

by Dockins, R., Hobor, A., Appel, A.W.
Published 2013

A theory of indirection via approximation

by Hobor, A., Dockins, R., Appel, A.W.
Published 2013