Pregled po CROSBI profilu: Tajana Ban Kirigin (CROSBI Profil: 17055, MBZ: 229313)

51.

Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre

Timed 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)

Pristup cjelovitom tekstu rada imft.ftn.uns.ac.rs imft.ftn.uns.ac.rs

52.

Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perović, Ranko

A Rewriting Framework for Activities Subject to Regulations // 23rd International Conference on Rewriting Techniques and Applications (RTA'12) : proceedings / Ashish Tiwari (ur.).
Wadern : Leibniz: Zentrum fuer Informatik, 2012. str. 305-322 doi:10.4230/LIPIcs.RTA.2012.305 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

Pristup cjelovitom tekstu rada doi drops.dagstuhl.de

53.

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.).
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)

Pristup cjelovitom tekstu rada doi dl.acm.org

54.

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.).
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)

Pristup cjelovitom tekstu rada doi link.springer.com

55.

Ban Kirigin, Tajana

Computational complexity of collaborative systems with nonce creation, 2011., doktorska disertacija, Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb

Pristup cjelovitom tekstu rada

56.

Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre

Progressing 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)

Pristup cjelovitom tekstu rada

57.

Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre

Progressing Collaborative Systems // Workshop on Foundations of Security and Privacy (FCS-PrivMod 2010)
Edinburgh, Ujedinjeno Kraljevstvo, 2010. (predavanje, međunarodna recenzija, pp prezentacija, znanstveni)

Pristup cjelovitom tekstu rada

58.

Polonijo, Mirko; Crnković, Dean; Ban Kirigin, Tajana; Bombardelli, Mea; Franušić, Zrinka; Sušanj, Rene

Euklidski prostori
Zagreb: Prirodoslovno-matematički fakultet Sveučilišta u Zagrebu, 2008

Pristup cjelovitom tekstu rada

59.

Ban Kirigin, Tajana

Logika višeg reda i sustav Isabelle, 2004., magistarski rad, Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb

Pristup cjelovitom tekstu rada