Ivana Mijajlovic

Publication Activity (10 Years)

Years Active: 2003-2005
Publications (10 Years): 0

Publications

Ivana Mijajlovic, Hongseok Yang
Data Refinement with Low-Level Pointer Operations. APLAS (2005)
Ivana Mijajlovic, Noah Torp-Smith, Peter W. O'Hearn
Refinement and Separation Contexts. FSTTCS (2004)
Anastasija Kokanovic, Dejan Damnjanovic, Miodrag Stanic, Ivana Mijajlovic
Replication Management in Distributed Databases. ICEIS (1) (2003)