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
2022 | Published | Journal Article | IST-REx-ID: 10602 | 
Kretinsky, Jan, et al. “Index Appearance Record with Preorders.” Acta Informatica, vol. 59, Springer Nature, 2022, pp. 585–618, doi:10.1007/s00236-021-00412-y.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1351 |
Giacobbe, Mirco, Model checking the evolution of gene regulatory networks. Acta Informatica 54 (8). 2017
[Published Version]
View
| Files available
| DOI
| WoS