Pregled po CROSBI profilu: Tajana Ban Kirigin (CROSBI Profil: 17055, MBZ: 229313)
Pronađeno 59 radova
-
1.Graph-Based Taxonomic Semantic Class Labeling // Future Internet, 14 (2022), 12; 383, 22 doi:10.3390/fi14120383 (međunarodna recenzija, članak, znanstveni)
-
2.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) -
3.Semi-Local Integration Centrality for Complex Networks // Book of Abstracts LAP 2022
Dubrovnik, 2022. str. 58-59 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
4.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) -
5.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) -
6.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)
-
7.Semi-Local Integration Measure of Node Importance // Mathematics, 10 (2022), 3; 1-16 doi:10.3390/math10030405 (međunarodna recenzija, članak, znanstveni)
-
8.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)
-
9.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) -
10.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) -
11.Building a Sentiment Dictionary for Croatian // Book of Abstracts LAP 2021
Dubrovnik, Hrvatska, 2021. str. 67-68 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
12.Sentiment Potential Analysis // Book of Abstracts LAP 2021
Dubrovnik, Hrvatska, 2021. str. 64-66 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
13.Periodic Systems: Safety, Security, and Complexity // Book of Abstracts LAP 2021
Dubrovnik, Hrvatska, 2021. str. 7-8 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
14.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) -
15.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)
-
16.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)
-
17.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) -
18.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
-
19.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)
-
20.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) -
21.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) -
22.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) -
23.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) -
24.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) -
25.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)
