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.
5785 Publications
2023 | Conference Paper | IST-REx-ID: 13228 | 
Runtime monitoring of dynamic fairness properties
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–614.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–614.
2023 | Journal Article | IST-REx-ID: 14833 |
Whole-genome phylogeography of the intertidal snail Littorina saxatilis
S. Stankowski, Z.B. Zagrodzka, J. Galindo, M. Montaño-Rendón, R. Faria, N. Mikhailova, A.M.H. Blakeslee, E. Arnason, T. Broquet, H.E. Morales, J.W. Grahame, A.M. Westram, K. Johannesson, R.K. Butlin, Evolutionary Journal of the Linnean Society 2 (2023).
[Published Version]
View
| Files available
| DOI
S. Stankowski, Z.B. Zagrodzka, J. Galindo, M. Montaño-Rendón, R. Faria, N. Mikhailova, A.M.H. Blakeslee, E. Arnason, T. Broquet, H.E. Morales, J.W. Grahame, A.M. Westram, K. Johannesson, R.K. Butlin, Evolutionary Journal of the Linnean Society 2 (2023).
2023 | Journal Article | IST-REx-ID: 14613 |
The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome
C. Lasne, M.N. Elkrewi, M.A. Toups, L.A. Layana Franco, A. Macon, B. Vicoso, Molecular Biology and Evolution 40 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Lasne, M.N. Elkrewi, M.A. Toups, L.A. Layana Franco, A. Macon, B. Vicoso, Molecular Biology and Evolution 40 (2023).
2023 | Research Data | IST-REx-ID: 14614 |
The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome
C. Lasne, M.N. Elkrewi, (2023).
[Published Version]
View
| Files available
| DOI
C. Lasne, M.N. Elkrewi, (2023).
2023 | Preprint | IST-REx-ID: 14591 |
Role of dynamin-related proteins 2 and SH3P2 in clathrin-mediated endocytosis in plants
N. Gnyliukh, A.J. Johnson, M.-K. Nagel, A. Monzer, A. Hlavata, E. Isono, M. Loose, J. Friml, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
N. Gnyliukh, A.J. Johnson, M.-K. Nagel, A. Monzer, A. Hlavata, E. Isono, M. Loose, J. Friml, BioRxiv (n.d.).
2023 | Journal Article | IST-REx-ID: 12984 |
Skin-Screen: A computational fabrication framework for color tattoos
M. Piovarci, A. Chapiro, B. Bickel, ACM Transactions on Graphics 42 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
M. Piovarci, A. Chapiro, B. Bickel, ACM Transactions on Graphics 42 (2023).
2023 | Journal Article | IST-REx-ID: 14778 |
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
2023 | Thesis | IST-REx-ID: 12885 |
Nanoparticle-based semiconductor solids: From synthesis to consolidation
M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.
2023 | Journal Article | IST-REx-ID: 12166 |
Professor Kerstin Johannesson–winner of the 2022 Molecular Ecology Prize
A.M. Westram, R. Butlin, Molecular Ecology 32 (2023) 26–29.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
A.M. Westram, R. Butlin, Molecular Ecology 32 (2023) 26–29.
2023 | Thesis | IST-REx-ID: 12964 |
Mechanochemical pattern formation across biological scales
D.R. Boocock, Mechanochemical Pattern Formation across Biological Scales, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
D.R. Boocock, Mechanochemical Pattern Formation across Biological Scales, Institute of Science and Technology Austria, 2023.