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.
6978 Publications
2023 | Research Data Reference | IST-REx-ID: 14995 | 
Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. Zenodo. https://doi.org/10.5281/ZENODO.7877757
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |Epub ahead of print| Conference Paper | IST-REx-ID: 15023 |
Zikelic, D., Lechner, M., Verma, A., Chatterjee, K., & Henzinger, T. A. (2023). Compositional policy learning in stochastic control systems with formal guarantees. In 37th Conference on Neural Information Processing Systems. New Orleans, LO, United States.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14076 |
Chalupa, M., & Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. In 23nd International Conference on Runtime Verification (Vol. 14245, pp. 168–190). Thessaloniki, Greek: Springer Nature. https://doi.org/10.1007/978-3-031-44267-4_9
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Abstract | IST-REx-ID: 14748
Chen, Y.-L., Ly, M., & Wojtan, C. (2023). Unified treatment of contact, friction and shock-propagation in rigid body animation. In Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3606037.3606836
View
| DOI
2023 | Research Data Reference | IST-REx-ID: 15035 |
Chalupa, M., & Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. Zenodo. https://doi.org/10.5281/ZENODO.8191723
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
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. https://doi.org/10.15479/at:ista:13984
[Published Version]
View
| Files available
| DOI
2023 |Submitted| Preprint | IST-REx-ID: 15039 |
Prach, B., & Lampert, C. (n.d.). 1-Lipschitz neural networks are more expressive with N-activations. arXiv. https://doi.org/10.48550/ARXIV.2311.06103
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14812 |
Stankowski, S. (2023). Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails. Zenodo. https://doi.org/10.5281/ZENODO.8318995
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 13214 |
Abualia, R., Riegler, S., & Benková, E. (2023). Nitrate, auxin and cytokinin - a trio to tango. Cells. MDPI. https://doi.org/10.3390/cells12121613
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Thesis | IST-REx-ID: 14323
Kuzmicz-Kowalska, K. (2023). Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14323
[Published Version]
View
| Files available
| DOI
2023 |Epub ahead of print| Conference Paper | IST-REx-ID: 14974 |
Zhang, C., Janzing, D., van der Schaar, M., Locatello, F., Spirtes, P., Zhang, K., … Uhler, C. (2023). Causality in the time of LLMs: Round table discussion results of CLeaR 2023. In 2nd Conference on Causal Learning and Reasoning. Tübingen, Germany.
[Submitted Version]
View
| Files available
2023 | Research Data | IST-REx-ID: 13173 |
Shigemoto, R. (2023). Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:13173
[Published Version]
View
| Files available
| DOI
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 13182 |
Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., & Saghafian, M. (2023). Geometric characterization of the persistence of 1D maps. Journal of Applied and Computational Topology. Springer Nature. https://doi.org/10.1007/s41468-023-00126-9
[Published Version]
View
| Files available
| DOI
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 13044 |
Mondal, S., Jethwa, R. B., Pant, B., Hauschild, R., & Freunberger, S. A. (2023). Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes. Faraday Discussions. Royal Society of Chemistry. https://doi.org/10.1039/d3fd00088e
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 |Published| Thesis | IST-REx-ID: 14587 |
Marveggio, A. (2023). Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14587
[Published Version]
View
| Files available
| DOI
2023 |Submitted| Preprint | IST-REx-ID: 14732 |
Olusanya, O. O., Khudiakova, K., & Sachdeva, H. (n.d.). Genetic load, eco-evolutionary feedback and extinction in a metapopulation. bioRxiv. https://doi.org/10.1101/2023.12.02.569702
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 13262 |
Fedorov, A., Hashemi, D., Nadiradze, G., & Alistarh, D.-A. (2023). Provably-efficient and internally-deterministic parallel Union-Find. In Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures (pp. 261–271). Orlando, FL, United States: Association for Computing Machinery. https://doi.org/10.1145/3558481.3591082
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 12979 |
Condor, J., Piovarci, M., Bickel, B., & Didyk, P. (2023). Gloss-aware color correction for 3D printing. In SIGGRAPH ’23 Conference Proceedings. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3588432.3591546
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Conference Paper | IST-REx-ID: 13228 |
Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Runtime monitoring of dynamic fairness properties. In FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency (pp. 604–614). Chicago, IL, United States: Association for Computing Machinery. https://doi.org/10.1145/3593013.3594028
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14833 |
Stankowski, S., Zagrodzka, Z. B., Galindo, J., Montaño-Rendón, M., Faria, R., Mikhailova, N., … Butlin, R. K. (2023). Whole-genome phylogeography of the intertidal snail Littorina saxatilis. Evolutionary Journal of the Linnean Society. Oxford University Press. https://doi.org/10.1093/evolinnean/kzad002
[Published Version]
View
| Files available
| DOI