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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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