Pregled po projektu: Logika i stvarnost (MB: MZOS-009-0091328-0941)
Pronađeno 36 radova
-
1.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) -
2.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)
-
3.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)
-
4.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)
-
5.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) -
6.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) -
7.Trobok, MajdaDefending Analyticity: Remarks on Williamson’s The Philosophy of Philosophy // Croatian journal of philosophy, XIII (2013), 37; 29-35 (međunarodna recenzija, članak, znanstveni)
-
8.Trobok, MajdaKvaziperceptivna intuicija i njena uloga u spoznaji aritmetičkih istina // Nenad Miščević: sva lica filozofije / Bojanić, Petar ; Prijić-Samaržija Snježana (ur.).
Beograd: Institut za filozofiju i društvenu teoriju Univerziteta u Beogradu, 2012. str. 173-178 -
9.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) -
10.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) -
11.Trobok, MajdaMathematics and Reality // International studies in the philosophy of science, 25 (2011), 4; 411-415 (međunarodna recenzija, članak, znanstveni)
-
12.Nenad SmokrovićLogical Consequence and Rationality // Between Logic and Reality / Trobok, M., Miscevic, N., Zarnic, B. (ur.).
Heidelberg: Springer, 2011. str. 173-192 -
13.Ban Kirigin, TajanaComputational complexity of collaborative systems with nonce creation, 2011., doktorska disertacija, Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
-
14.Trobok, MajdaDebating (Neo)logicism: Frege and the neo-Fregeans // Between Logic and Reality: Modelling Inference, Action and Understanding / Trobok, Majda ; Žarnić, Berislav ; Miščević, Nenad (ur.).
Dordrecht: Springer, 2011. str. 100-113 -
15.Between Logic and Reality: Modelling Inference, Action and Understanding / Trobok, Majda ; Žarnić, Berislav ; Miščević, Nenad (ur.). Dordrecht: Springer, 2011 (monografija)
-
16.Arbula, DinoGödelov dokaz nepotpunosti za elementarnu aritmetiku, 2010., diplomski rad, diplomski, Filozofski fakultet, Rijeka
-
17.Bilandžija, MarijaModalna logika i problem trans-svjetovnog identiteta, 2010., diplomski rad, preddiplomski, Filozofski fakultet, Rijeka
-
18.Trobok, MajdaDebating Neo-logicism // Analytic Philosophy - Logical Consequence
Dubrovnik, Hrvatska, 2010. (pozvano predavanje, neobjavljeni rad, znanstveni) -
19.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, AndreProgressing Collaborative Systems // Information Security and Related Combinatorics, Opatija, Croatia, May 31, 2010 - June 11, 2010
Opatija, Hrvatska, 2010. (predavanje, međunarodna recenzija, sažetak, znanstveni) -
20.Trobok, MajdaDefending Analyticity // Mind, World and Action
Dubrovnik, Hrvatska, 2010. (pozvano predavanje, neobjavljeni rad, znanstveni) -
21.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, AndreProgressing Collaborative Systems // Workshop on Foundations of Security and Privacy (FCS-PrivMod 2010)
Edinburgh, Ujedinjeno Kraljevstvo, 2010. (predavanje, međunarodna recenzija, pp prezentacija, znanstveni) -
22.Jadreškić, DarijaRazlozi za radnje i kognitivni internallizam, 2009., diplomski rad, Filozofski fakultet, Rijeka
-
23.Trobok, MajdaLogics and Structures // Contemporary Philosophical Issues – Logic and Reality
Rijeka, Hrvatska, 2009. (pozvano predavanje, sažetak, znanstveni) -
24.Smokrović, NenadWilliamson's Ordinarism vs. Inferentialism // "Mind, Word and Action"
Dubrovnik, Hrvatska, 2009. (pozvano predavanje, neobjavljeni rad, znanstveni) -
25.Trobok, MajdaRemarks on Williamson's "The Philosophy of Philosphy" // Mind, World and Action
Dubrovnik, Hrvatska, 2009. (pozvano predavanje, neobjavljeni rad, znanstveni)
