crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Naslovna
 O projektu
 FAQ
 Kontakt
4 gif
Pregledavanje radova
Jednostavno pretraživanje
Napredno pretraživanje
Skupni podaci
Upis novih radova
Upute
Ispravci prijavljenih radova
Ostale bibliografije
Slični projekti
 Bibliografske baze podataka

Tajana Ban-Kirigin
(229313)

 
 
 
Verzija za printanje   
 
  Poglavlja u knjizi
 

1. Max Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov.
Bounded memory Dolev-Yao adversaries in collaborative systems // Formal Aspects of Security and Trust Lecture Notes in Computer Science, 2011, Volume 6561/2011 / Degao, Pierpaolo ; Etalle, Sandro ; Guttman, Joshua (ur.).
Berlin : Springer, 2011. Str. 18-33. prilozen text rada
Vrh
 
  Udžbenici i skripta
 

1. Mirko Polonijo; Dean Crnkovic; Tajana Ban Kirigin; Mea Bombardelli; Zrinka Franusic; Rene Susanj.
Euklidski prostori .
Zagreb : PMF, 2008. prilozen text rada
Vrh
 
  Izvorni znanstveni i pregledni radovi u CC časopisima
 

1. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perović, Ranko.
A rewriting framework and logic for activities subject to regulations. // Mathematical structures in computer science. 27 (2015) , 3; 332-375 (članak, znanstveni). URL link to workURL link to work

2. 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). prilozen text radaURL link to workURL link to work

3. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre.
Bounded Memory Protocols. // Computer languages systems & structures. 40 (2014) , 3/4; 137-154 (članak, znanstveni). prilozen text radaURL link to workURL link to work
Vrh
 
  Znanstveni radovi u drugim časopisima
 

1. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn.
Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols. // Journal of Computer Security. 25 (2017) ; 585-630 (članak, znanstveni). URL link to work

2. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre.
Progressing Collaborative Systems. // Advances in Computer Science : an International Journal. 3 (2014) , 3; 78-86 (članak, znanstveni). prilozen text radaURL link to work
Vrh
 
  Znanstveni radovi u zbornicima skupova s međunar.rec.
 

1. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn.
Can we mitigate the attacks on Distance- Bounding Protocols by using challenge-response rounds repeatedly ? // .
(predavanje,međunarodna recenzija,objavljeni rad,znanstveni). URL link to work

2. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn.
Timed Multiset Rewriting and the Verification of Time- Sensitive Distributed Systems // Lecture Notes in Computer Science, Volume 9884 / Fränzle, Martin ; Markey, Nicolas (ur.).
Cham : Springer International Publishing, 2016. 228-244 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni). URL link to work

3. Ban Kirigin, Tajana; Meštrović, Ana; Martinčić- Ipšić, Sanda.
Towards a Formal Model of Language Networks // Information and Software Technologies / Dregvaite, Giedre and Damasevicius, Robertas (ur.).
Springer International Publishing, 2015. 469-479 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni). URL link to work

4. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn.
Discrete vs. Dense Times in the Analysis of Cyber- Physical Security Protocols // LNCS, Volume 9036 / Focardi, Riccardo ; Myers, Andrew (ur.).
Springer-Verlag, 2015. 259-279 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni). prilozen text rada

5. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre.
Bounded Memory Protocols and Progressing Collaborative Systems // Lecture Notes in Computer Science, Volume 8134 / Crampton, Jason ; Jajodia, Sushil ; Mayes, Keith (ur.).
Springer-Verlag, 2013. 309-326 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni). prilozen text rada

6. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko.
A Rewriting Framework for Activities Subject to Regulations // 23rd International Conference on Rewriting Techniques and Applications (RTA'12) : proceedings / Ashish Tiwari (ur.).
Dagstuhl - Leibniz : Zentrum fuer Informatik, 2012. 305-322 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni). prilozen text radaURL link to work

7. 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.).
ACM, 2012. 773-778 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni). prilozen text rada

8. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre.
Bounded memory Dolev-Yao adversaries in collaborative systems // Lecture Notes in Computer Science, Volume 6561 / Degano, Pierpaolo ; Etalle, Sandro and Guttman, Joshua D. (ur.).
Springer-Verlag, 2011. 18-33 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni). prilozen text radaURL link to work
Vrh
 
  Sažeci u zbornicima skupova
 

1. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn.
Dense Time Multiset Rewriting Model in the Verification of Time-Sensitive Distributed Systems // Book of Abstracts.
2017. 25-26 (predavanje,međunarodna recenzija,sažetak,znanstveni).

2. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn.
Timed Multiset Rewriting and the Verification of Time- Sensitive Distributed Systems // Book of Abstracts.
2016. 30-31 (predavanje,međunarodna recenzija,sažetak,znanstveni).

3. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn.
Can we mitigate the attacks on Distance-Bounding Protocols by using challenge- response rounds repeatedly ? // Book of Abstracts.
2016. 32-33 (predavanje,međunarodna recenzija,sažetak,znanstveni).

4. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn.
Discrete vs. Dense Times in the Analysis of Cyber- Physical Security Protocols // Book of Abstracts.
2015. 31-31 (predavanje,međunarodna recenzija,sažetak). prilozen text radaURL link to work

5. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn.
Time-Bounding Needham-Schroeder Public Key Exchange Protocol // Logic and Applications 2014, Book of Abstracts.
2014. 15-16 (predavanje,međunarodna recenzija,sažetak,znanstveni). prilozen text radaURL link to work

6. 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). prilozen text radaURL link to work

7. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre.
Progressing Collaborative Systems // .
(predavanje,međunarodna recenzija,sažetak,znanstveni). prilozen text rada
Vrh
 
  Neobjavljena sudjelovanja na skupovima
 

1. Perak, Benedikt; Ban Kirigin, Tajana.
Formalizing an Ontological Model of Lexical Concepts and Constructions for Emotion Domain // 8th International Conference on Information Technologies and Information Society (ITIS2016).
2016. (predavanje,međunarodna recenzija,neobjavljeni rad,znanstveni). URL link to work

2. 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). prilozen text rada

3. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre.
Bounded Memory Protocols and Progressing Collaborative Systems // .
(predavanje,međunarodna recenzija,neobjavljeni rad,znanstveni).

4. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre.
Collaborative Systems with Nonce Updates // .
(predavanje,međunarodna recenzija,neobjavljeni rad).

5. Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre.
Progressing Collaborative Systems // .
2010. (predavanje,međunarodna recenzija,ppt prezentacija,znanstveni). prilozen text rada
Vrh
 
  Disertacije
 

1. Ban Kirigin, Tajana.
Computational complexity of collaborative systems with nonce creation / doktorska disertacija.
Zagreb : Prirodoslovno-matematički fakultet, Matematički odjel, 21.2. 2011., 139 str. Voditelj: Scedrov, Andre.prilozen text rada
Vrh
 
  Magistarski radovi
 

1. Ban Kirigin, Tajana.
Logika višeg reda i sustav Isabelle / magistarski rad.
Zagreb : Prirodoslovno-matematički fakultet, Matematički odjel, 09.07. 2004., 81 str. Voditelj: Rosenzweig, Dean.prilozen text rada
Vrh
 
upomoc
foot_4