Pregled po CROSBI profilu: Tajana Ban Kirigin (CROSBI Profil: 17055, MBZ: 229313)
Pronađeno 59 radova
Prikaz po CROSBI kategorijama
-
1.Logic, Language, and Security / Nigam, Vivek ; Ban Kirigin, Tajana ; Talcott, Carolyn ; Guttman, Joshua ; Kuznetsov, Stepan ; Loo, Boon Thau ; Okada, Mitsuhiro (ur.). Cham: Springer, 2020 (zbornik) doi:10.1007/978-3-030-62077-6
-
1.Euklidski prostori
Zagreb: Prirodoslovno-matematički fakultet Sveučilišta u Zagrebu, 2008 -
1.Graph-Based Taxonomic Semantic Class Labeling // Future Internet, 14 (2022), 12; 383, 22 doi:10.3390/fi14120383 (međunarodna recenzija, članak, znanstveni)
-
2.On the Security and Complexity of Periodic Systems // SN Computer Science, 3 (2022), 356, 22 doi:10.1007/s42979-022-01223-9 (međunarodna recenzija, članak, znanstveni)
-
3.Semi-Local Integration Measure of Node Importance // Mathematics, 10 (2022), 3; 1-16 doi:10.3390/math10030405 (međunarodna recenzija, članak, znanstveni)
-
4.Construction Grammar Conceptual Network: Coordination-based graph method for semantic association analysis // Natural Language Engineering, first view (2022), 1-31 doi:10.1017/S1351324922000274 (međunarodna recenzija, članak, znanstveni)
-
5.Lexical Sense Labeling and Sentiment Potential Analysis using Corpus-Based Dependency Graph // Mathematics, 9 (2021), 12; 1449, 22 doi:10.3390/math9121449 (međunarodna recenzija, članak, znanstveni)
-
6.Resource and Timing Aspects of Security Protocols // Journal of Computer Security, 29 (2021), 3; 299-340 doi:10.3233/JCS-200012 (međunarodna recenzija, članak, znanstveni)
-
7.Corpus-Based Syntactic-Semantic Graph Analysis: Semantic Domains of the Concept Feeling // Rasprave Instituta za hrvatski jezik i jezikoslovlje, 46 (2020), 2; 957-996 doi:10.31724/rihjj.46.2.27 (međunarodna recenzija, prethodno priopćenje, znanstveni)
-
8.Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols // Journal of Computer Security, 25 (2017), 6; 585-630 doi:10.3233/JCS-0560 (međunarodna recenzija, članak, znanstveni)
-
9.A rewriting framework and logic for activities subject to regulations // Mathematical structures in computer science, 27 (2015), 3; 332-375 doi:10.1017/S096012951500016X (međunarodna recenzija, članak, znanstveni)
-
10.Progressing Collaborative Systems // Advances in Computer Science : an International Journal, 3 (2014), 3; 78-86 (međunarodna recenzija, članak, znanstveni)
-
11.Bounded 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)
-
12.Bounded 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)
-
1.On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems // Theoretical Aspects of Computing – ICTAC 2022. Lecture Notes in Computer Science, vol 13572 / Seidl, Helmut ; Liu, Zhiming ; Pasareanu, Corina S. (ur.).
Cham: Springer, 2022. str. 96-113 doi:10.1007/978-3-031-17715-6_8 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
2.On the Complexity of Verification of Time-Sensitive Distributed Systems // Protocols, Strands, and Logic. Lecture Notes in Computer Science, vol 13066 / Dougherty, Daniel ; Meseguer, José ; Mödersheim, Sebastian Alexander ; Rowe, Paul (ur.).
Haifa, Izrael: Springer, 2021. str. 251-275 doi:10.1007/978-3-030-91631-2_14 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
3.Dependency-based Labeling of Associative Lexical Communities // Proceedings of the Central European Conference on Information and Intelligent Systems / Vrček, Neven ; Pergler, Elisabeth ; Grd, Petra (ur.).
Varaždin: Faculty of Organization and Informatics, 2021. str. 34-42 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
4.On Security Analysis of Periodic Systems: Expressiveness and Complexity // ICISSP 2021 Proceedings of the 7th International Conference on Information Systems Security and Privacy / Mori, Paolo ; Lenzini, Gabriele ; Furnell, Steven (ur.).
Beč, Austrija: SCITEPRESS, 2021. str. 43-54 doi:10.5220/0010195100430054 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
5.There's No Time, The Problem of Conceptualising Time // Logic, Language, and Security, Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, LNCS, vol.12300 / Nigam, Vivek ; Ban Kirigin, Tajana ; Talcott, Carolyn ; Guttman, Joshua ; Kuznetsov, Stepan ; Thau Loo, Boon ; Okada, Mitsuhiro (ur.).
Cham: Springer, 2020. str. 61-68 doi:10.1007/978-3-030-62077-6_5 (ostalo, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
6.Resource-Bounded Intruders in Denial of Service Attacks // 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) / Delaune, S. ; Jia, L. (ur.).
Hoboken (NJ), Sjedinjene Američke Države: Institute of Electrical and Electronics Engineers (IEEE), 2019. str. 382-396 doi:10.1109/CSF.2019.00033 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
7.A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols // Foundations of Security, Protocols, and Equational Reasoning. Lecture Notes in Computer Science, vol 11565 / Guttman, Joshua D. ; Landwehr, Carl E. ; Meseguer, José ; Pavlovic, Dusko (ur.).
Fredericksburg (VA), Sjedinjene Američke Države: Springer, 2019. str. 192-213 doi:10.1007/978-3-030-19052-1_13 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
8.Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols // Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy, CPS-SPC '18
New York (NY): ACM Digital Library, 2018. str. 60-71 doi:10.1145/3264888.3264895 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
9.Timed Multiset Rewriting and the Verification of Time- Sensitive Distributed Systems // Formal Modeling and Analysis of Timed Systems. FORMATS 2016. Lecture Notes in Computer Science, vol 9884. / Fränzle, Martin ; Markey, Nicolas (ur.).
Cham: Springer, 2016. str. 228-244 doi:10.1007/978-3-319-44878-7_14 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
10.Towards a Formal Model of Language Networks // Information and Software Technologies / Dregvaite, Giedre and Damasevicius, Robertas (ur.).
Druskininkai, Litva: Springer, 2015. str. 469-479 doi:10.1007/978-3-319-24770-0_40 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
11.Discrete vs. Dense Times in the Analysis of Cyber- Physical Security Protocols // LNCS, Volume 9036 / Focardi, Riccardo ; Myers, Andrew (ur.).
London, Ujedinjeno Kraljevstvo: Springer, 2015. str. 259-279 doi:10.1007/978-3-662-46666-7_14 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
12.Bounded 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) -
13.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) -
14.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) -
15.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) -
1.Syntactic Dependency Networks: Cognitive Aspects of Hierarhical Multi-Layer Structures // Book of Abstracts LAP 2022
Dubrovnik, 2022. str. 60-61 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
2.Semi-Local Integration Centrality for Complex Networks // Book of Abstracts LAP 2022
Dubrovnik, 2022. str. 58-59 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
3.Properties of Time-Sensitive Distributed Systems: Verification and Complexity // Book of Abstracts LAP 2022
Dubrovnik, 2022. str. 27-28 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
4.Implementing Sentiment Dictionary into Vader Sentiment Analyis for Croatian // Book of Abstracts LAP 2021
Dubrovnik, Hrvatska, 2021. str. 69-71 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
5.Building a Sentiment Dictionary for Croatian // Book of Abstracts LAP 2021
Dubrovnik, Hrvatska, 2021. str. 67-68 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
6.Sentiment Potential Analysis // Book of Abstracts LAP 2021
Dubrovnik, Hrvatska, 2021. str. 64-66 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
7.Periodic Systems: Safety, Security, and Complexity // Book of Abstracts LAP 2021
Dubrovnik, Hrvatska, 2021. str. 7-8 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
8.Modelling Resource and Timing Aspects of Security Protocols // Book of Abstracts LAP 2020
Dubrovnik, Hrvatska, 2020. str. 4-6 (ostalo, međunarodna recenzija, sažetak, znanstveni) -
9.A Multiset Rewriting Model for the Specification and Verification of Resource and Timing Aspects of Security Protocols // Book of Abstracts LAP 2019
Dubrovnik, Hrvatska, 2019. str. 8-10 (ostalo, međunarodna recenzija, sažetak, znanstveni) -
10.Corpus-based approach to the extraction of the emotional concepts and their ontological relations using the natural language logic operators // Book of Abstracts
Dubrovnik, Hrvatska, 2018. str. 57-58 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
11.Statistical Model Checking in the Analysis of Distance- bounding Protocols // Book of Abstracts
Dubrovnik, Hrvatska, 2018. str. 24-26 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
12.Dense Time Multiset Rewriting Model in the Verification of Time-Sensitive Distributed Systems // Book of Abstracts
Dubrovnik, Hrvatska, 2017. str. 25-26 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
13.Can we mitigate the attacks on Distance-Bounding Protocols by using challenge- response rounds repeatedly ? // Book of Abstracts
Dubrovnik, Hrvatska, 2016. str. 32-33 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
14.Timed Multiset Rewriting and the Verification of Time- Sensitive Distributed Systems // Book of Abstracts
Dubrovnik, Hrvatska, 2016. str. 30-31 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
15.A Rewriting Framework and Logic for Activities Subject to Regulations // 4th international conference "Logic and Applications" : book of abstracts / Šikić, Zvonimir ; Scedrov, Andre ; Ghilezan, Silvia ; Ognjanović, Zoran (ur.).
Dubrovnik, Hrvatska: Central European Initiative, 2015. str. 32-33 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
16.Discrete vs. Dense Times in the Analysis of Cyber- Physical Security Protocols // Book of Abstracts
Dubrovnik, Hrvatska, 2015. str. 31-31 (predavanje, međunarodna recenzija, sažetak, ostalo) -
17.Time-Bounding Needham-Schroeder Public Key Exchange Protocol // Logic and Applications 2014, Book of Abstracts
Dubrovnik, Hrvatska, 2014. str. 15-16 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
18.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) -
1.Combining the conceptual with social network analysis: Usage based frame analysis of the concepts // 2nd workshop Formal Reasoning and Semantics (FORMALS 2019)
Zagreb, Hrvatska, 2019. 1, 2 (predavanje, domaća recenzija, neobjavljeni rad, znanstveni) -
2.Specifying and verifying timing aspects of security protocols // 2nd workshop Formal Reasoning and Semantics (FORMALS 2019)
Zagreb, Hrvatska, 2019. (predavanje, domaća recenzija, neobjavljeni rad, znanstveni) -
3.Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols // Workshop on Foundations of Computer Security 2018
Oxford, Ujedinjeno Kraljevstvo, 2018. (predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni) -
4.Formalizing an Ontological Model of Lexical Concepts and Constructions for Emotion Domain // 8th International Conference on Information Technologies and Information Society (ITIS2016)
Šmarješke toplice, Slovenija, 2016. str. - (predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni) -
5.Can we mitigate the attacks on Distance- Bounding Protocols by using challenge-response rounds repeatedly ? // Workshop on Foundations of Computer Security 2016
Lisabon, Portugal, 2016. (predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni) -
6.Towards 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) -
7.Bounded Memory Protocols and Progressing Collaborative Systems // FCS'13 Workshop on Foundations of Computer Security
New Orleans (LA), Sjedinjene Američke Države, 2013. (predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni) -
8.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) -
9.Progressing Collaborative Systems // Workshop on Foundations of Security and Privacy (FCS-PrivMod 2010)
Edinburgh, Ujedinjeno Kraljevstvo, 2010. (predavanje, međunarodna recenzija, pp prezentacija, znanstveni) -
1.ConGraCNet 0.3: Corpus-based graph syntactic- semantic relations analysis // Book of Abstracts LAP 2020
Dubrovnik, 2020. str. 53-54 (predavanje, međunarodna recenzija, prošireni sažetak, znanstveni) -
1.Computational complexity of collaborative systems with nonce creation, 2011., doktorska disertacija, Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
-
1.Logika višeg reda i sustav Isabelle, 2004., magistarski rad, Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
