Ivana Mijajlovic

According to our database, Ivana Mijajlovic authored at least 3 papers between 2003 and 2005.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2005

Data Refinement with Low-Level Pointer Operations.

Ivana Mijajlovic, Hongseok Yang

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

Refinement and Separation Contexts.

Ivana Mijajlovic, Noah Torp-Smith, Peter W. O'Hearn

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

2003

Replication Management in Distributed Databases.

Anastasija Kokanovic, Dejan Damnjanovic, Miodrag Stanic, Ivana Mijajlovic

Proceedings of the ICEIS 2003, 2003