Tajana Ban Kirigin
Sveucilište u Rijeci
H-index: 11
Europe-Croatia
Top articles of Tajana Ban Kirigin
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Semi-Local Integration Measure for Directed Graphs | Mathematics | Tajana Ban Kirigin Sanda Bujačić Babić | 2024/4/4 |
Technical Report: Time-Bounded Resilience | arXiv preprint arXiv:2401.05585 | Tajana Ban Kirigin Jesse Comer Max Kanovich Andre Scedrov Carolyn Talcott | 2024/1/10 |
Resilience Problems for Cyber-Physical Systems: Formalization and Computational Complexity | Logic and Applications LAP 2023 | Musab A Alturki Tajana Ban Kirigin Max Kanovich Vivek Nigam Andre Scedrov | 2023/9/25 |
Time-Bounded Resilience | Tajana Ban Kirigin Jesse Comer Max Kanovich Andre Scedrov Carolyn Talcott | 2023 | |
Graph Based Sentiment Propagation Algorithm | Logic and Applications LAP 2023 | Tajana Ban Kirigin Sanda Bujacic Babic Benedikt Perak | 2023/9/25 |
On the Security and Complexity of Periodic Systems | SN computer science | Musab A Alturki Tajana Ban Kirigin Max Kanovich Vivek Nigam Andre Scedrov | 2022/7/2 |
Semi-Local Integration Centrality for Complex Networks | Tajana Ban Kirigin Sanda Bujačić Babić Benedikt Perak | 2022 | |
Graph-Based Taxonomic Semantic Class Labeling | Future Internet | Tajana Ban Kirigin Sanda Bujačić Babić Benedikt Perak | 2022/12 |
Semi-Local Integration Measure of Node Importance | Mathematics | Tajana Ban Kirigin Sanda Bujačić Babić Benedikt Perak | 2022/1/27 |
On the formalization and computational complexity of resilience problems for cyber-physical systems | Musab A Alturki Tajana Ban Kirigin Max Kanovich Vivek Nigam Andre Scedrov | 2022/9/27 | |
Construction Grammar Conceptual Network: Coordination-based graph method for semantic association analysis | Natural Language Engineering | Benedikt Perak Tajana Ban Kirigin | 2022/7/4 |
Syntactic Dependency Networks: Cognitive Aspects of Hierarhical Multi-Layer Structures | Logic and Applications LAP 2022 | Tajana Ban Kirigin Sanda Bujacic Babic Benedikt Perak | 2021/9/26 |
Sentiment Potential Analysis | Tajana Ban Kirigin Sanda Bujačić Babić Benedikt Perak | 2021/9 | |
Lexical sense labeling and sentiment potential analysis using corpus-based dependency graph | Mathematics | Tajana Ban Kirigin Sanda Bujačić Babić Benedikt Perak | 2021/6/21 |
Properties of Time-Sensitive Distributed Systems: Verification and Complexity | Logic and Applications LAP 2022 | Max Kanovich Tajana Ban Kirigin Vivek Nigam Andre Scedrov Carolyn Talcott | 2022/9/26 |
On security analysis of periodic systems: expressiveness and complexity | Musab A Alturki Tajana Ban Kirigin Max Kanovich Vivek Nigam Andre Scedrov | 2021/2/13 | |
Implementing Sentiment Dictionary into Vader sentiment analyis for Croatian | Logic and Applications LAP 2021 | Tajana Ban Kirigin Sanda Bujacic Babic Benedikt Perak | 2021/9/20 |
Resource and timing aspects of security protocols | Journal of computer security | Abraão Aires Urquiza Musab A Alturki Tajana Ban Kirigin Max Kanovich Vivek Nigam | 2021/1/1 |
On the Complexity of Verification of Time-Sensitive Distributed Systems | arXiv preprint arXiv:2105.03531 | Max Kanovich Tajana Ban Kirigin Vivek Nigam Andre Scedrov Carolyn Talcott | 2021/5/7 |
Building a Sentiment Dictionary for Croatian | Logic and Applications LAP 2021 | Tajana Ban Kirigin Sanda Bujacic Babic Benedikt Perak | 2021/9/20 |