Time-Bounded Resilience. - Kirigin, Tajana Ban; Comer, Jesse; Kanovich, Max I.; Scedrov, Andre; Talcott, Carolyn L. (2024)

Technical Report: Time-Bounded Resilience. - Kirigin, Tajana Ban; Comer, Jesse; Kanovich, Max I.; Scedrov, Andre; Talcott, Carolyn L. (CoRR, 2024)

Construction Grammar Conceptual Network: Coordination-based graph method for semantic association analysis. - Perak, Benedikt; Kirigin, Tajana Ban (Nat. Lang. Eng., 2023)

Graph-Based Taxonomic Semantic Class Labeling. - Kirigin, Tajana Ban; Bujacic, Sanda; Perak, Benedikt (Future Internet, 2022)

On the Security and Complexity of Periodic Systems. - Alturki, Musab A.; Kirigin, Tajana Ban; Kanovich, Max I.; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn L. (SN Comput. Sci., 2022)

On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. - Alturki, Musab A.; Kirigin, Tajana Ban; Kanovich, Max I.; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn L. (2022)

Resource and timing aspects of security protocols. - Urquiza, Abraão Aires; Alturki, Musab A.; Kirigin, Tajana Ban; Kanovich, Max I.; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn L. (J. Comput. Secur., 2021)

On the Complexity of Verification of Time-Sensitive Distributed Systems. - Kanovich, Max I.; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn L. (2021)

On Security Analysis of Periodic Systems: Expressiveness and Complexity. - Alturki, Musab A.; Kirigin, Tajana Ban; Kanovich, Max I.; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn L. (2021)

On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report. - Kanovich, Max I.; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn L. (CoRR, 2021)

There's No Time, The Problem of Conceptualising Time. - Kirigin, Tajana Ban; Perak, Benedikt (2020)

Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Springer, 2020)

A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. - AlTurki, Musab A.; Kirigin, Tajana Ban; Kanovich, Max I.; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn L. (2019)

Resource-Bounded Intruders in Denial of Service Attacks. - Urquiza, Abraão Aires; AlTurki, Musab A.; Kanovich, Max I.; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn L. (2019)

Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. - AlTurki, Musab A.; Kanovich, Max I.; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn L. (2018)

Compliance in Real Time Multiset Rewriting Models. - Kanovich, Max I.; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn L. (CoRR, 2018)

Time, computational complexity, and probability in the analysis of distance-bounding protocols. - Kanovich, Max I.; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn L. (J. Comput. Secur., 2017)

A rewriting framework and logic for activities subject to regulations. - Kanovich, Max I.; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn L.; Perovic, Ranko (Math. Struct. Comput. Sci., 2017)

Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols. - Kanovich, Max I.; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn L. (CoRR, 2017)

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. - Kanovich, Max I.; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn L. (2016)

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. - Kanovich, Max I.; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn L. (CoRR, 2016)

Towards a Formal Model of Language Networks. - Kirigin, Tajana Ban; Mestrovic, Ana; Martincic-Ipsic, Sanda (2015)

Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols. - Kanovich, Max I.; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn L. (2015)

Bounded memory protocols. - Kanovich, Max I.; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre (Comput. Lang. Syst. Struct., 2014)

Bounded memory Dolev-Yao adversaries in collaborative systems. - Kanovich, Max I.; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre (Inf. Comput., 2014)

Bounded Memory Protocols and Progressing Collaborative Systems. - Kanovich, Max I.; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre (2013)

Towards an automated assistant for clinical investigations. - Nigam, Vivek; Kirigin, Tajana Ban; Scedrov, Andre; Talcott, Carolyn L.; Kanovich, Max I.; Perovic, Ranko (2012)

A Rewriting Framework for Activities Subject to Regulations. - Kanovich, Max I.; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn L.; Perovic, Ranko (2012)

Bounded Memory Dolev-Yao Adversaries in Collaborative Systems. - Kanovich, Max I.; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre (2010)