Hrvatska znanstvena bibliografija (CROSBI)


Nedjelja 5. Svibanj 2024

 
 
Uredničke knjige (1)
Poglavlja u knjizi (3)

Izvorni znanstveni i pregledni radovi u CC časopisima (2)
Znanstveni radovi u drugim časopisima (3)

Znanstveni radovi u zbornicima skupova s međunar.rec. (2)
Sažeci u zbornicima skupova (4)

Neobjavljena sudjelovanja na skupovima (10)
Diplomski radovi (4)
 
 
  Uredničke knjige
 

1. Between Logic and Reality: Modelling Inference, Action and Understanding / Trobok, Majda; Žarnić, Berislav; Miščević, Nenad (ur.).
Dordrecht : Springer, 2011 (monografija).
 
  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
 

1. Trobok, Majda.
Defending Analyticity: Remarks on Williamson’s The Philosophy of Philosophy. // Croatian journal of philosophy. XIII (2013) , 37; 29-35 (članak, znanstveni).

2. Trobok, Majda.
The Structuralist Account of Logic. // Croatian Journal of Philosophy. 8 (2008) , 23; 257-265 (članak, znanstveni).

3. Smokrović, Nenad.
Bishop and Trout on Reasoning. // Croatian journal of philosophy. 20 (2007) , 2; 287-294 (pregledni rad, znanstveni).
 
  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.