Vesna Pavlovic

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Saso Tomazic, Vesna Pavlovic, Jasna Milovanovic, Jaka Sodnik, Anton Kos, Sara Stancin, Veljko M. Milutinovic
Fast file existence checking in archiving systems. ACM Trans. Storage 7 (1) (2011)
Sana Stojanovic, Vesna Pavlovic, Predrag Janicic
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs. Automated Deduction in Geometry (2010)