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.
624 Publications
2023 |Published| Journal Article | IST-REx-ID: 13234 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kueffner K, Lukina A, Schilling C, Henzinger TA. 2023. Into the unknown: Active monitoring of neural networks (extended version). International Journal on Software Tools for Technology Transfer. 25, 575–592.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14087 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rønning J, Renaud JB, Doostmohammadi A, Angheluta L. 2023. Spontaneous flows and dynamics of full-integer topological defects in polar active matter. Soft Matter. 39, 7513–7527.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14409 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Baunis H, Pieber B. 2023. Formal radical deoxyfluorination of oxalate-activated alcohols triggered by the selectfluor-DMAP charge-transfer complex. European Journal of Organic Chemistry. 26(42), e202300769.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Conference Paper | IST-REx-ID: 14076 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers. 23nd International Conference on Runtime Verification. RV: Conference on Runtime Verification, LNCS, vol. 14245, 168–190.
[Published Version]
View
| Files available
| DOI
2023 |Published| Thesis | IST-REx-ID: 13984
Franschitz A. 2023. Individual and social immunity against viral infections in ants. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 15173 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kwan MA, Sah A, Sawhney M. 2023. Enumerating matroids and linear spaces. Comptes Rendus Mathematique. 361(G2), 565–575.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 15148 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Michael AK, Stoos L, Crosby P, Eggers N, Nie XY, Makasheva K, Minnich M, Healy KL, Weiss J, Kempf G, Cavadini S, Kater L, Seebacher J, Vecchia L, Chakraborty D, Isbel L, Grand RS, Andersch F, Fribourgh JL, Schübeler D, Zuber J, Liu AC, Becker PB, Fierz B, Partch CL, Menet JS, Thomä NH. 2023. Cooperation between bHLH transcription factors and histones for DNA access. Nature. 619(7969), 385–393.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 15149 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Isbel L, Iskar M, Durdu S, Weiss J, Grand RS, Hietter-Pfeiffer E, Kozicka Z, Michael AK, Burger L, Thomä NH, Schübeler D. 2023. Readout of histone methylation by Trim24 locally restricts chromatin opening by p53. Nature Structural & Molecular Biology. 30(7), 948–957.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 15196 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Burdge KB, El-Badry K, Rappaport S, Sunny Wong TL, Bauer EB, Bildsten L, Caiazzo I, Chakrabarty D, Chickles E, Graham MJ, Kara E, Kulkarni SR, Marsh TR, Nynka M, Prince TA, Simcoe RA, van Roestel J, Vanderbosch Z, Bellm EC, Dekany RG, Drake AJ, Helou G, Masci FJ, Milburn J, Riddle R, Rusholme B, Smith R. 2023. Orbital decay in an accreting and eclipsing 13.7 minute orbital period binary with a luminous donor. The Astrophysical Journal Letters. 953(1), L1.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 15202 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zane S et al. 2023. A strong x-ray polarization signal from the magnetar 1RXS J170849.0-400910. The Astrophysical Journal Letters. 944(2), L27.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 |Published| Thesis | IST-REx-ID: 12809 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alcarva C. 2023. Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 |Published| Thesis | IST-REx-ID: 14510
Gnyliukh N. 2023. Mechanism of clathrin-coated vesicle formation during endocytosis in plants. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 11183 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nikabadi A, Korhonen J. 2022. Beyond distributed subgraph detection: Induced subgraphs, multicolored problems and graph parameters. 25th International Conference on Principles of Distributed Systems. OPODIS, LIPIcs, vol. 217, 15.
[Published Version]
View
| Files available
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 11812 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hanauer K, Henzinger MH, Hua QC. 2022. Fully dynamic four-vertex subgraph counting. 1st Symposium on Algorithmic Foundations of Dynamic Networks. SAND: Symposium on Algorithmic Foundations of Dynamic Networks, LIPIcs, vol. 221, 18.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 10706 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bialy M, Fiorebe C, Glutsyuk A, Levi M, Plakhov A, Tabachnikov S. 2022. Open problems on billiards and geometric optics. Arnold Mathematical Journal. 8, 411–422.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 12577
Jouberton A, Shaw TE, Miles E, McCarthy M, Fugger S, Ren S, Dehecq A, Yang W, Pellicciotti F. 2022. Warming-induced monsoon precipitation phase change intensifies glacier mass loss in the southeastern Tibetan Plateau. PNAS. 119(37), e2109796119.
View
| DOI
2022 |Published| Journal Article | IST-REx-ID: 12067 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Madani A, Anghileri L, Heydenreich M, Möller HM, Pieber B. 2022. Benzylic fluorination induced by a charge-transfer complex with a solvent-dependent selectivity switch. Organic Letters. 24(29), 5376–5380.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 13347 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Yanshyna O, Białek MJ, Chashchikhin OV, Klajn R. 2022. Encapsulation within a coordination cage modulates the reactivity of redox-active dyes. Communications Chemistry. 5, 44.
[Published Version]
View
| DOI
| Download Published Version (ext.)