Tajana Ban Kirigin

Available identifiers

zbMath Open ban-kirigin.tajanaMaRDI QIDQ462498

List of research outcomes

Publication	Date of Publication	Type
On the formalization and computational complexity of resilience problems for cyber-physical systems	2023-07-28	Paper
On the complexity of verification of time-sensitive distributed systems	2022-07-13	Paper
There's no time, the problem of conceptualising time	2021-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q5111913	2020-05-27	Paper
A multiset rewriting model for specifying and verifying timing aspects of security protocols	2020-03-03	Paper
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems	2018-02-16	Paper
A rewriting framework and logic for activities subject to regulations	2017-04-03	Paper
Bounded memory protocols	2015-03-31	Paper
Bounded memory Dolev-Yao adversaries in collaborative systems	2014-10-20	Paper

Research outcomes over time

This page was built for person: Tajana Ban Kirigin