Ivana Mijajlovic

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

Coauthor Index

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]

Colors in the list of coauthors