![]() | ![]() |
2005 | ||
---|---|---|
3 | EE | Ivana Mijajlovic, Hongseok Yang: Data Refinement with Low-Level Pointer Operations. APLAS 2005: 19-36 |
2004 | ||
2 | EE | Ivana Mijajlovic, Noah Torp-Smith, Peter W. O'Hearn: Refinement and Separation Contexts. FSTTCS 2004: 421-433 |
2003 | ||
1 | Anastasija Kokanovic, Dejan Damnjanovic, Miodrag Stanic, Ivana Mijajlovic: Replication Management in Distributed Databases. ICEIS (1) 2003: 491-494 |
1 | Dejan Damnjanovic | [1] |
2 | Anastasija Kokanovic | [1] |
3 | Peter W. O'Hearn | [2] |
4 | Miodrag Stanic | [1] |
5 | Noah Torp-Smith | [2] |
6 | Hongseok Yang | [3] |