|
|
|
|
Uredničke knjige
|
|
|
|
|
Poglavlja u knjizi
|
|
1. Trobok, Majda.
Kvaziperceptivna 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.
|
2. Nenad Smokrović.
Logical Consequence and Rationality // Between Logic and Reality / Trobok, M., Miscevic, N., Zarnic, B. (ur.).
Heidelberg : Springer, 2011.
Str. 173-192.
|
3. Trobok, Majda.
Debating (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.
|
|
|
|
|
|
Izvorni znanstveni i pregledni radovi u CC časopisima
|
|
1. 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).
|
2. 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
|
|
|
|
|
Znanstveni radovi u zbornicima skupova s međunar.rec.
|
|
1. 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).
|
2. Trobok, Majda.
The Reduction of Logic to Structures // Reduction and Elimination in Philosophy and the Sciences - Papers of the 31st International Wittgenstein Symposium / Hieke, Alexander ; Leitgeb, Hannes (ur.).
Kirchberg am Wechsel : Austrian Ludwig Wittgenstein Society (ALWS), 2008. 356-358 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
|
|
|
|
|
Sažeci u zbornicima skupova
|
|
1. 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).
|
2. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre.
Progressing Collaborative Systems // .
(predavanje,međunarodna recenzija,sažetak,znanstveni).
|
3. Trobok, Majda.
Logics and Structures // .
(pozvano predavanje,sažetak,znanstveni).
|
4. Smokrović Nenad.
Tale About Rationality and Reasons // .
(predavanje,sažetak,znanstveni).
|
|
|
|
|
|
Neobjavljena sudjelovanja na skupovima
|
|
1. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn.
Towards Timed Models for Cyber-Physical Security Protocols // .
(predavanje,međunarodna recenzija,neobjavljeni rad,znanstveni).
|
2. Trobok, Majda.
Defending Analyticity // .
(pozvano predavanje,neobjavljeni rad,znanstveni).
|
3. Trobok, Majda.
Debating Neo-logicism // .
(pozvano predavanje,neobjavljeni rad,znanstveni).
|
4. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre.
Progressing Collaborative Systems // .
2010. (predavanje,međunarodna recenzija,ppt prezentacija,znanstveni).
|
5. Trobok, Majda.
Remarks on Williamson's "The Philosophy of Philosphy" // .
(pozvano predavanje,neobjavljeni rad,znanstveni).
|
6. Nenad Smokrović.
Rationality and Reasons // .
(predavanje,neobjavljeni rad).
|
7. Trobok, Majda.
Mathematics, Logics, Structures // .
(pozvano predavanje,neobjavljeni rad,znanstveni).
|
8. Trobok, Majda.
The Structuralist Theory of Logic // .
(pozvano predavanje,neobjavljeni rad,znanstveni).
|
9. Trobok, Majda.
Are There Any Sets out There? // .
(predavanje,međunarodna recenzija,neobjavljeni rad,znanstveni).
|
10. Trobok, Majda.
Hume's Principle and Sortal Concepts // .
(pozvano predavanje,neobjavljeni rad,znanstveni).
|
|
|
|
|
|
Diplomski radovi
|
|
1. Arbula, Dino.
Gödelov dokaz nepotpunosti za elementarnu aritmetiku / završni rad - diplomski/integralni studij.
Rijeka : Filozofski fakultet, 24.11. 2010.,
34 str. Voditelj: Trobok, Majda.
|
2. Bilandžija, Marija.
Modalna logika i problem trans-svjetovnog identiteta / završni rad - preddiplomski studij.
Rijeka : Filozofski fakultet, 01.10. 2010.,
26 str. Voditelj: Trobok, Majda.
|
3. Jadreškić, Darija.
Razlozi za radnje i kognitivni internallizam / diplomski rad.
Rijeka : Filozofski fakultet, 11.11. 2009.,
56 str. Voditelj: Smokrović, Nenad.
|
4. Gregorić, Ana.
Filozofski okvir Euklidovih "Elemenata" / diplomski rad.
Rijeka : Filozofski fakultet, 14.09. 2007.,
67 str. Voditelj: Trobok, Majda.
|
|
|
|
|
|
|