Pregled po projektu: Matematička logika i primjene (MB: MZOS-120-1203164-3074)
Pronađeno 57 radova
-
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)
