Items where Author is "Glavan, Paola"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Glavan, Paola and Marinković, Bojan and Ognjanović, Zoran and Umek, Anton (2016) Correctness of the Chord Protocol. = Correctness of the Chord Protocol. In: Information and Knowledge in the Internet of Things - IIKI 2016, 20-21.10.2016., Beijing, Kina.

Marinković, Bojan and Ciancaglini, Vincenzo and Ognjanović, Zoran and Glavan, Paola and Liquori, Luigi and Maksimović, Petar (2014) Analyzing the exhaustiveness of the Synapse protocol. = Analyzing the exhaustiveness of the Synapse protocol. Peer-to-Peer Networking and Applications. ISSN 1936-6442. Vrsta rada: ["eprint_fieldopt_article_type_article" not defined]. Kvartili JCR: Q4 (2013). Točan broj autora: 6. (In Press)

Mićić Hot, Jadranka and Jakšetić, Julije and Antunac-Majcen, Morana and Glavan, Paola and Gregorek, Petar (2010) Nastava matematike na prvoj godini Fakulteta strojarstva i brodogradnje Sveučilišta u Zagrebu. = Teaching mathematics in the first year of Faculty of Mechanical Engineering and Naval Architecture University of Zagreb. Poučak : časopis za metodiku i nastavu matematike, 11 (21). pp. 61-74. ISSN 1332-3008. Vrsta rada: ["eprint_fieldopt_article_type_article" not defined]. . Točan broj autora: 5.

Botinčan, Matko and Glavan, Paola and Runje, Davor (2010) Verification of causality requirements in Java memory model is undecidable. = Verification of causality requirements in Java memory model is undecidable. In: 8th International Conference on Parallel Processing and Applied Mathematics, PPAM 2009, 13.-16.09.2009., Wroclaw; Poland.

This list was generated on Thu Oct 21 12:32:35 2021 CEST.