Petak 3. Svibanj 2024
|
|
|
|
Autorske knjige
|
|
|
|
|
Udžbenici i skripta
|
|
1. Vuković, Mladen.
Izračunljivost .
Zagreb : PMF-Matematički odjel, 2009.
|
2. Bruckler, Franka, Miriam; Čačić, Vedran; Doko, Marko; Vuković, Mladen.
Zbirka zadataka iz teorije skupova .
Zagreb : PMF-Matematički odjel, 2008.
|
3. Šikić, Zvonimir.
Diferencijalni i integralni račun / Klanac, Zlatko (ur.).
Zagreb : Profil, 2008.
|
4. Dujella, Andrej; Maretić, Marcel.
Kriptografija / Gračan, Sandra (ur.).
Zagreb : Element, 2007.
|
5. Šikić, Zvonimir.
Diferencijalne jednadžbe / Zlatko Klanac (ur.).
Zagreb : Profil, 2007.
|
6. Vuković, Mladen.
Matematička logika 1 .
Zagreb : PMF-Matematički odjel, 2007.
|
|
|
|
|
Izvorni znanstveni i pregledni radovi u CC časopisima
|
|
1. Marinković, Bojan; Ciancaglini, Vincenzo; Ognjanović, Zoran; Glavan, Paola; Liquori, Luigi; Maksimović, Petar.
Analyzing the exhaustiveness of the Synapse protocol. // Peer-to-Peer Networking and Applications. 8 (2015) , 5; 793-806 (članak, znanstveni).
|
2. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre.
Bounded memory Dolev-Yao adversaries in collaborative systems. // Information and computation, Special issue on Security and Rewriting Techniques. 238 (2014) ; 233-261 (članak, znanstveni).
|
3. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre.
Bounded Memory Protocols. // Computer languages systems & structures. 40 (2014) , 3/4; 137-154 (članak, znanstveni).
|
|
|
|
|
Znanstveni radovi u drugim časopisima
|
|
1. Šikić, Zvonimir.
What is probability and why does it matter. // European journal of analytic philosophy. 10 (2014) , 1; 21-43 (članak, znanstveni).
|
2. Vuković, Mladen.
A note on ultraproducts of Veltman models. // Glasnik matematički. 46(66) (2011) ; 7-10 (članak, znanstveni).
|
3. Domagoj, Vrgoč, Mladen, Vuković.
Bisimulations and bismulation quotients of generalized Veltman models. // Logic journal of the igpl. 18 (2010) , 6; 870-880 (članak, znanstveni).
|
4. Vuković, Mladen.
Bisimulations between generalized Veltman models and Veltman models. // Mathematical logic quarterly. 54 (2008) , 4; 359-364 (članak, znanstveni).
|
|
|
|
|
Ostali radovi u drugim časopisima
|
|
1. Hatzivelkos Aleksandar.
Analiza isplativosti spajanja općina. // Poučak : časopis za metodiku i nastavu matematike. 15 (2014) , 57; 61-68 (kratko priopćenje, stručni).
|
2. Hatzivelkos, Aleksandar.
Izračun grijanja. // Poučak : časopis za metodiku i nastavu matematike. 53 (2013) ; 14-26 (članak, stručni).
|
3. Hatzivelkos, Aleksandar.
Uvod u identifikabilnost. // Poučak : časopis za metodiku i nastavu matematike. 14 (2013) , 55; 18-30 (kratko priopćenje, stručni).
|
4. Hatzivelkos, Aleksandar.
Što je teorija uzročnosti. // Poučak : časopis za metodiku i nastavu matematike. 50 (2012) ; 12-24 (članak, stručni).
|
5. Šikić, Zvonimir.
Tangenta. // Poučak : časopis za metodiku i nastavu matematike. 52 (2012) ; 1-10 (članak, stručni).
|
6. Šikić, Zvonimir.
Isto, a možda i nije. // Poučak : časopis za metodiku i nastavu matematike. 51 (2012) ; 1-10 (članak, stručni).
|
7. Šikić, Zvonimir.
Goedelovi teoremi. // Poučak : časopis za metodiku i nastavu matematike. 49 (2012) ; 1-10 (pregledni rad, stručni).
|
8. Šikić, Zvonimir.
O matematičkoj neumitnosti tržišnih zakona. // Poučak : časopis za metodiku i nastavu matematike. 50 (2012) ; 70-80 (članak, stručni).
|
9. Hatzivelkos, Aleksandar.
Parametri optimalne reprezentabilnosti D'Hondtove metode. // Poučak : časopis za metodiku i nastavu matematike. 48 (2011) ; 4-19 (članak, stručni).
|
10. Maretić, Marcel.
Što je kriptografija?. // Matematičko fizički list. 237 (2009) ; 19-22 (pregledni rad, stručni).
|
11. zvonimir šikić.
činjenice, rutine, pojmoivi i problem. // poučak. 37 (2009) , 2; 4-12 (članak, stručni).
|
|
|
|
|
Znanstveni radovi u zbornicima skupova s međunar.rec.
|
|
1. Šikić, Zvonimir.
A Note on Probability, Frequency and Countable Additivity // Filozofija u dijalogu sa znanostima / Boršić, Luka ; Skuhala Karasman, Ivana (ur.).
Zagreb : Institut za filozofiju, 2013. 1-2 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
2. Nigam, Vivek; Ban Kirigin, Tajana; Scedrov, Andre; Talcott, Carolyn; Kanovich, Max; Perovic, Ranko.
Towards an Automated Assistant for Clinical Investigations // ACM Digital Library / Luo, Gang ; Liu, Jiming ; Yang, Christopher C. (ur.).
The Association for Computing Machinery (ACM), 2012. 773-778 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
3. Šikić, Zvonimir.
Generalized Pythagorean Comma // Introduction of CroArtScia2011 / Meštrić Vesna ; Nikolić, Sonja (ur.).
Zagreb : Muzej suvremene umjetnosti, 2011. 1-2 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
4. Botinčan, Matko; Glavan, Paola; Runje, Davor.
Verication of Causality Requirements in Java Memory Model is Undecidable // Proceedings of the Eighth International Conference on Parallel Processing and Applied Mathematics (PPAM 2009).
Berlin : Springer, 2010. (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
5. Botinčan, Matko; Glavan, Paola; Runje, Davor.
Distributed Algorithms: A Case Study of the Java Memory Model // Proceedings of the ASM'07 - The 14th International ASM Workshop / Andreas Prinz (ur.).
Grimstad : Agder University College, Faculty of Engineering and Science, ICT Department, 2007. (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
|
|
|
|
Drugi radovi u zbornicima skupova s recenzijom
|
|
1. Šikić, Zvonimir.
Kako usporediti razdiobe // 5. kongres nastavnika matematike / Ivan Ivanšić (ur.).
Zagreb : Hrvatsko matematičko društvo, 2012. 551-554 (predavanje,domaća recenzija,objavljeni rad,stručni).
|
2. Šikić, Zvonimir.
Fisherovo testiranje hipoteza i Laplaceovo računanje vjerojatnosti // 5. kongres nastavnika matematike / Ivan Ivanšić (ur.).
Zagreb : Hrvatsko matematičko društvo, 2012. 554-562 (predavanje,domaća recenzija,objavljeni rad,stručni).
|
|
|
|
|
Sažeci u zbornicima skupova
|
|
1. Maretić, Marcel.
Multiple Conclusion Deductions in Classical Logic // Logic and Applications 2013.
(predavanje,međunarodna recenzija,sažetak,znanstveni).
|
2. Šikić, Zvonimir.
Goedel's Theorem and Man Machine Equivalence // Logic and Applications 2013.
(predavanje,međunarodna recenzija,sažetak,znanstveni).
|
3. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre.
Timed Collaborative Systems with Real Time // Logic and Applications 2013, Book of Abstracts.
2013. 9-11 (predavanje,međunarodna recenzija,sažetak,znanstveni).
|
4. Maretić, Marcel.
Algoritamska ekvivalencija multiplarnih dedukcija i Bethovih tabloa // Sustavi dokazivanja.
(predavanje,međunarodna recenzija,sažetak,znanstveni).
|
5. Maretić, Marcel.
Kauzalno modeliranje // Matematika i IKT / Divjak, Blaženka ; Erjavec, Zlatko (ur.).
Varaždin : Fakultet organizacije i informatike Sveučilišta u Zagrebu, 2012. 51-53 (predavanje,domaća recenzija,sažetak,stručni).
|
|
|
|
|
Neobjavljena sudjelovanja na skupovima
|
|
|
|
|
Disertacije
|
|
1. Maretić, Marcel.
Algoritamska ekvivalencija multiplarnih prirodnih dedukcija i Bethovih tabloa / doktorska disertacija.
Zagreb : Prirodoslovno-matematički fakultet, 16.12. 2013.,
131 str. Voditelj: Šikić, Zvonimir.
|
2. Glavan Paola.
Formalization of the Java Memory Model / doktorska disertacija.
Zagreb : PMF, 08.06. 2009.,
100 str. Voditelj: Yuri Gurevich, Zvonimir Šikić.
|
3. Slani, Neva.
Secure open networks / Sigurnost otvorenih mreža / doktorska disertacija.
Zagreb : Prirodoslovno-matematički fakultet, Matematički odjel, 18.02. 2009.,
150 str. Voditelj: Šikić, Zvonimir ; Martins, Francisco.
|
|
|
|
|
|
|