Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
3 Publications
2025 | Published | Journal Article | IST-REx-ID: 20186 | 
| 
|
Hsu, T. H., Oliveira da Costa, A. A., Wintenberg, A., Bartocci, E., & Bonakdarpour, B. (2025). Gray-box runtime enforcement of hyperproperties. Acta Informatica. Springer Nature. https://doi.org/10.1007/s00236-025-00502-1
[Published Version]
View
| Files available
| DOI
| WoS
2025 | Published | Journal Article | IST-REx-ID: 20866 |
Bartocci, E., Chalupa, M., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2025). Hypernode automata. Acta Informatica. Springer Nature. https://doi.org/10.1007/s00236-025-00509-8
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10602 |
Kretinsky, J., Meggendorfer, T., Waldmann, C., & Weininger, M. (2022). Index appearance record with preorders. Acta Informatica. Springer Nature. https://doi.org/10.1007/s00236-021-00412-y
[Published Version]
View
| Files available
| DOI
| WoS