Replication Management in Distributed Databases. - Anastasija Kokanovic; Dejan Damnjanovic; Miodrag Stanic; Ivana Mijajlovic (ICEIS (1), 2003)

Refinement and Separation Contexts. - Ivana Mijajlovic; Noah Torp-Smith; Peter W. O'Hearn (FSTTCS, 2004)

Data Refinement with Low-Level Pointer Operations. - Ivana Mijajlovic; Hongseok Yang (APLAS, 2005)