Pronađeno 57 radova, za izraz:
"PROJEKT: (Matematička logika i primjene (MZOS-120-1203164-3074))"
DODAJ/IZMIJENI OPERATORE PRETRAŽIVANJA
-
1.Marinković, Bojan; Glavan, Paola; Ognjanović, ZoranProving properties of the Chord protocol using the ASM formalism // Theoretical computer science 756, 756 (2019), 64-93 doi:10.1016/j.tcs.2018.10.025 (međunarodna recenzija, članak, znanstveni)
-
2.Marinković, Bojan; Ciancaglini, Vincenzo; Ognjanović, Zoran; Glavan, Paola; Liquori, Luigi; Maksimović, PetarAnalyzing the exhaustiveness of the Synapse protocol // Peer-to-Peer Networking and Applications, 8 (2015), 5; 793-806 (međunarodna recenzija, članak, znanstveni)
-
3.Kovač, Vjekoslav; Čačić, VedranOn the share of closed IL formulas which are also in GL // Archive for mathematical logic, 54 (2015), 7; 741-767 doi:10.1007/s00153-015-0438-7 (međunarodna recenzija, članak, znanstveni)
-
4.Hatzivelkos AleksandarAnaliza isplativosti spajanja općina // Poučak : časopis za metodiku i nastavu matematike, 15 (2014), 57; 61-68 (podatak o recenziji nije dostupan, kratko priopcenje, stručni)
-
5.Čačić, Vedran; Vuković, MladenInterpretability logic IL does not have finite subtree property // Rad Hrvatske akademije znanosti i umjetnosti. Razred za matematičke, fizičke i kemijske znanosti. Matematičke znanosti, 18=519 (2014), 1-5 (podatak o recenziji nije dostupan, članak, znanstveni)
-
6.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, CarolynTowards Timed Models for Cyber-Physical Security Protocols // Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography
Beč, Austrija, 2014. (predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni) -
7.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, AndreProgressing Collaborative Systems // Advances in Computer Science : an International Journal, 3 (2014), 3; 78-86 (međunarodna recenzija, članak, znanstveni)
-
8.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, AndreBounded Memory Protocols // Computer languages systems & structures, 40 (2014), 3/4; 137-154 doi:10.1016/j.cl.2014.05.003 (međunarodna recenzija, članak, znanstveni)
-
9.Perkov, Tin; Vuković, MladenA bisimulation characterization for interpretability logic // Logic journal of the igpl, 22 (2014), 6; 872-879 doi:10.1093/jigpal/jzu015 (međunarodna recenzija, članak, znanstveni)
-
10.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, AndreBounded memory Dolev-Yao adversaries in collaborative systems // Information and computation, Special issue on Security and Rewriting Techniques, 238 (2014), 233-261 doi:10.1016/j.ic.2014.07.011 (međunarodna recenzija, članak, znanstveni)
-
11.Šikić, ZvonimirWhat is probability and why does it matter // European journal of analytic philosophy, 10 (2014), 1; 21-43 (podatak o recenziji nije dostupan, članak, znanstveni)
-
12.Hatzivelkos, AleksandarUvod u identifikabilnost // Poučak : časopis za metodiku i nastavu matematike, 14 (2013), 55; 18-30 (podatak o recenziji nije dostupan, kratko priopcenje, stručni)
-
13.Hatzivelkos, AleksandarIzračun grijanja // Poučak : časopis za metodiku i nastavu matematike, 53 (2013), 14-26 (podatak o recenziji nije dostupan, članak, stručni)
-
14.Šikić, ZvonimirGoedel's Theorem and Man Machine Equivalence // Logic and Applications 2013
Dubrovnik, Hrvatska, 2013. (predavanje, međunarodna recenzija, sažetak, znanstveni) -
15.Šikić, ZvonimirA Note on Probability, Frequency and Countable Additivity // Filozofija u dijalogu sa znanostima / Boršić, Luka ; Skuhala Karasman, Ivana (ur.).
Zagreb: Institut za filozofiju, 2013. str. 1-2 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
16.Šikić, Zvonimir; Ščekić, ZoranMatematika i muzika. Zagreb: Profil, 2013 (ostalo)
-
17.Maretić, MarcelAlgoritamska ekvivalencija multiplarnih prirodnih dedukcija i Bethovih tabloa, 2013., doktorska disertacija, Prirodoslovno-matematički fakultet, Zagreb
-
18.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, AndreBounded Memory Protocols and Progressing Collaborative Systems // Lecture Notes in Computer Science, Volume 8134 / Crampton, Jason ; Jajodia, Sushil ; Mayes, Keith (ur.).
Egham, Ujedinjeno Kraljevstvo: Springer, 2013. str. 309-326 doi:10.1007/978-3-642-40203-6_18 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
19.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, AndreTimed Collaborative Systems with Real Time // Logic and Applications 2013, Book of Abstracts
Dubrovnik, Hrvatska, 2013. str. 9-11 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
20.Maretić, MarcelMultiple Conclusion Deductions in Classical Logic // Logic and Applications 2013
Dubrovnik, Hrvatska, 2013. (predavanje, međunarodna recenzija, sažetak, znanstveni) -
21.Hatzivelkos, AleksandarŠto je teorija uzročnosti // Poučak : časopis za metodiku i nastavu matematike, 50 (2012), 12-24 (podatak o recenziji nije dostupan, članak, stručni)
-
22.Maretić, MarcelKauzalno modeliranje // Matematika i IKT / Divjak, Blaženka ; Erjavec, Zlatko (ur.).
Varaždin: Fakultet organizacije i informatike Sveučilišta u Zagrebu, 2012. str. 51-53 (predavanje, domaća recenzija, sažetak, stručni) -
23.Šikić, ZvonimirO matematičkoj neumitnosti tržišnih zakona // Poučak : časopis za metodiku i nastavu matematike, 50 (2012), 70-80 (podatak o recenziji nije dostupan, članak, stručni)
-
24.Šikić, ZvonimirGoedelovi teoremi // Poučak : časopis za metodiku i nastavu matematike, 49 (2012), 1-10 (podatak o recenziji nije dostupan, pregledni rad, stručni)
-
25.Šikić, ZvonimirIsto, a možda i nije // Poučak : časopis za metodiku i nastavu matematike, 51 (2012), 1-10 (podatak o recenziji nije dostupan, članak, stručni)
-
26.Šikić, ZvonimirTangenta // Poučak : časopis za metodiku i nastavu matematike, 52 (2012), 1-10 (podatak o recenziji nije dostupan, članak, stručni)
-
27.Šikić, ZvonimirFisherovo testiranje hipoteza i Laplaceovo računanje vjerojatnosti // 5. kongres nastavnika matematike / Ivan Ivanšić (ur.).
Zagreb: Hrvatsko matematičko društvo, 2012. str. 554-562 (predavanje, domaća recenzija, cjeloviti rad (in extenso), stručni) -
28.Šikić, ZvonimirKako usporediti razdiobe // 5. kongres nastavnika matematike / Ivan Ivanšić (ur.).
Zagreb: Hrvatsko matematičko društvo, 2012. str. 551-554 (predavanje, domaća recenzija, cjeloviti rad (in extenso), stručni) -
29.Maretić, MarcelAlgoritamska ekvivalencija multiplarnih dedukcija i Bethovih tabloa // Sustavi dokazivanja
Dubrovnik, Hrvatska, 2012. (predavanje, međunarodna recenzija, sažetak, znanstveni) -
30.Perkov, Tin; Vuković, MladenSome characterization and preservation theorems in modal logic // Annals of pure and applied logic, 163 (2012), 12; 1928-1939 doi:10.1016/j.apal.2012.07.001 (međunarodna recenzija, članak, znanstveni)
-
31.Čačić, Vedran; Vuković, MladenA note on normal form for closed fragment of system IL // Mathematical communications, 17 (2012), 1; 195-204 (podatak o recenziji nije dostupan, članak, znanstveni)
-
32.Nigam, Vivek; Ban Kirigin, Tajana; Scedrov, Andre; Talcott, Carolyn; Kanovich, Max; Perovic, RankoTowards an Automated Assistant for Clinical Investigations // ACM Digital Library / Luo, Gang ; Liu, Jiming ; Yang, Christopher C. (ur.).
Miami (FL), Sjedinjene Američke Države: ACM, 2012. str. 773-778 doi:10.1145/2110363.2110456 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
33.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, AndreBounded memory Dolev-Yao adversaries in collaborative systems // Lecture Notes in Computer Science, Volume 6561 / Degano, Pierpaolo ; Etalle, Sandro and Guttman, Joshua D. (ur.).
Pisa, Italija: Springer, 2011. str. 18-33 doi:10.1007/978-3-642-19751-2_2 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
34.Hatzivelkos, AleksandarParametri optimalne reprezentabilnosti D'Hondtove metode // Poučak : časopis za metodiku i nastavu matematike, 48 (2011), 4-19 (podatak o recenziji nije dostupan, članak, stručni)
-
35.Šikić, ZvonimirGeneralized Pythagorean Comma // Introduction of CroArtScia2011 / Meštrić Vesna ; Nikolić, Sonja (ur.).
Zagreb: Muzej suvremene umjetnosti, 2011. str. 1-2 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
36.Čačić, Vedran; Vrgoč, DomagojA Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic // Studia Logica, 101 (2011), 1; 31-44 doi:10.1007/s11225-011-9366-7 (međunarodna recenzija, članak, znanstveni)
-
37.Čačić, VedranNormalne forme i svojstvo konačnih modela za logiku interpretabilnosti, 2011., doktorska disertacija, Prirodoslovno-matematički fakultet, Zagreb
-
38.Ban Kirigin, TajanaComputational complexity of collaborative systems with nonce creation, 2011., doktorska disertacija, Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
-
39.Vuković, MladenA note on ultraproducts of Veltman models // Glasnik matematički, 46(66) (2011), 7-10 (međunarodna recenzija, članak, znanstveni)
-
40.Domagoj, Vrgoč; Mladen VukovićBisimulation quotients of Veltman models // Reports on Mathematical Logic, 46 (2011), 59-73 doi:10.4467/20842589RM.11.004.0282 (međunarodna recenzija, članak, znanstveni)
-
41.Čačić, VedranTowards the normal form theorem for Interpretability logic // Logic Colloquium
Pariz, Francuska, 2010. str. 1-1 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
42.Botinčan, Matko; Glavan, Paola; Runje, DavorVerication 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, cjeloviti rad (in extenso), znanstveni) -
43.Domagoj, Vrgoč, Mladen, VukovićBisimulations and bismulation quotients of generalized Veltman models // Logic journal of the igpl, 18 (2010), 6; 870-880 (međunarodna recenzija, članak, znanstveni)
-
44.Maretić, MarcelŠto je kriptografija? // Matematičko fizički list, 237 (2009), 19-22 (podatak o recenziji nije dostupan, pregledni rad, stručni)
-
45.Vuković, MladenIzračunljivost
Zagreb: PMF-Matematički odjel, 2009 -
46.Glavan PaolaFormalization of the Java Memory Model, 2009., doktorska disertacija, PMF, Zagreb
-
47.Slani, NevaSecure open networks / Sigurnost otvorenih mreža, 2009., doktorska disertacija, Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
-
48.zvonimir šikićčinjenice, rutine, pojmoivi i problem // poučak, 37 (2009), 2; 4-12 (podatak o recenziji nije dostupan, članak, stručni)
-
49.Čačić, Vedran; Pudlák, Pavel; Restall, Greg; Urquhart, Alasdair; Visser, AlbertDecorated linear order types and the theory of concatenation // Proceedings of Logic Colloquium 2007
Wrocław, Poljska, 2008. str. 1-13 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
50.Bruckler, Franka, Miriam; Čačić, Vedran; Doko, Marko; Vuković, MladenZbirka zadataka iz teorije skupova
Zagreb: PMF-Matematički odjel, 2008 -
51.Šikić, ZvonimirDiferencijalni i integralni račun / Klanac, Zlatko (ur.).
Zagreb: Profil, 2008 -
52.Vuković, MladenBisimulations between generalized Veltman models and Veltman models // Mathematical logic quarterly, 54 (2008), 4; 359-364 (međunarodna recenzija, članak, znanstveni)
-
53.Čačić, VedranNezavisnost i relativna konzistentnost aksioma izbora i hipoteze kontinuuma, 2007., magistarski rad, Prirodoslovno-matematički fakultet, Zagreb
-
54.Vuković, MladenMatematička logika 1
Zagreb: PMF-Matematički odjel, 2007 -
55.Šikić, ZvonimirDiferencijalne jednadžbe / Zlatko Klanac (ur.).
Zagreb: Profil, 2007 -
56.Botinčan, Matko; Glavan, Paola; Runje, DavorDistributed 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, cjeloviti rad (in extenso), znanstveni) -
57.Dujella, Andrej; Maretić, MarcelKriptografija / Gračan, Sandra (ur.).
Zagreb: Element, 2007
