Tajana Ban Kirigin
From MaRDI portal
Person:462498
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| On the formalization and computational complexity of resilience problems for cyber-physical systems Lecture Notes in Computer Science | 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 |
| A rewriting framework for activities subject to regulations | 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 Lecture Notes in Computer Science | 2018-02-16 | Paper |
| A rewriting framework and logic for activities subject to regulations Mathematical Structures in Computer Science | 2017-04-03 | Paper |
| Bounded memory protocols Computer Languages, Systems \& Structures | 2015-03-31 | Paper |
| Bounded memory Dolev-Yao adversaries in collaborative systems Information and Computation | 2014-10-20 | Paper |
Research outcomes over time
This page was built for person: Tajana Ban Kirigin
