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.
5803 Publications
2023 | Conference Paper | IST-REx-ID: 14076 | 
Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” In 23nd International Conference on Runtime Verification, 14245:168–90. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-44267-4_9.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14743 |
Tennage, Pasindu, Cristina Basescu, Eleftherios Kokoris Kogias, Ewa Syta, Philipp Jovanovic, Vero Estrada-Galinanes, and Bryan Ford. “QuePaxa: Escaping the Tyranny of Timeouts in Consensus.” In Proceedings of the 29th Symposium on Operating Systems Principles, 281–97. Association for Computing Machinery, 2023. https://doi.org/10.1145/3600006.3613150.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 15035 |
Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.8191723.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Preprint | IST-REx-ID: 15039 |
Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2311.06103.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14812 |
Stankowski, Sean. “Data and Code for: The Genetic Architecture of a Recent Transition to Live-Bearing in Marine Snails.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.8318995.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 13214 |
Abualia, R, Stefan Riegler, and Eva Benková. “Nitrate, Auxin and Cytokinin - a Trio to Tango.” Cells. MDPI, 2023. https://doi.org/10.3390/cells12121613.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 14974 |
Zhang, Cheng, Dominik Janzing, Mihaela van der Schaar, Francesco Locatello, Peter Spirtes, Kun Zhang, Bernhard Schölkopf, and Caroline Uhler. “Causality in the Time of LLMs: Round Table Discussion Results of CLeaR 2023.” In 2nd Conference on Causal Learning and Reasoning, 2023.
[Submitted Version]
View
| Files available
2023 | Research Data | IST-REx-ID: 13173 |
Shigemoto, Ryuichi. “Transition from Tonic to Phasic Neurotransmitter Release by Presynaptic GABAB Receptor Activation in Medial Habenula Terminals.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:13173.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 15085 |
Drout, M. R., Ylva Louise Linsdotter Götberg, B. A. Ludwig, J. H. Groh, S. E. de Mink, A. J. G. O’Grady, and N. Smith. “An Observed Population of Intermediate-Mass Helium Stars That Have Been Stripped in Binaries.” Science. American Association for the Advancement of Science, 2023. https://doi.org/10.1126/science.ade4970.
View
| Files available
| DOI
| Download None (ext.)
| PubMed | Europe PMC
| arXiv
2023 | Conference Paper | IST-REx-ID: 13236 |
Zheng, Da Wei, and Monika H Henzinger. “Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching.” In International Conference on Integer Programming and Combinatorial Optimization, 13904:453–65. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-32726-1_32.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13182 |
Biswas, Ranita, Sebastiano Cultrera di Montesano, Herbert Edelsbrunner, and Morteza Saghafian. “Geometric Characterization of the Persistence of 1D Maps.” Journal of Applied and Computational Topology. Springer Nature, 2023. https://doi.org/10.1007/s41468-023-00126-9.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13044 |
Mondal, Soumyadip, Rajesh B Jethwa, Bhargavi Pant, Robert Hauschild, and Stefan Alexander Freunberger. “Singlet Oxygen in Non-Aqueous Oxygen Redox: Direct Spectroscopic Evidence for Formation Pathways and Reliability of Chemical Probes.” Faraday Discussions. Royal Society of Chemistry, 2023. https://doi.org/10.1039/d3fd00088e.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 | Thesis | IST-REx-ID: 14587 |
Marveggio, Alice. “Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14587.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14922 |
Esposito, Amedeo Roberto, and Marco Mondelli. “Concentration without Independence via Information Measures.” In Proceedings of 2023 IEEE International Symposium on Information Theory, 400–405. IEEE, 2023. https://doi.org/10.1109/isit54713.2023.10206899.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 15173 |
Kwan, Matthew Alan, Ashwin Sah, and Mehtaab Sawhney. “Enumerating Matroids and Linear Spaces.” Comptes Rendus Mathematique. Academie des Sciences, 2023. https://doi.org/10.5802/crmath.423.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14772 |
Agresti, Antonio, and Amru Hussein. “Maximal Lp-Regularity and H∞-Calculus for Block Operator Matrices and Applications.” Journal of Functional Analysis. Elsevier, 2023. https://doi.org/10.1016/j.jfa.2023.110146.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 15148 |
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 | Journal Article | IST-REx-ID: 15149 |
Isbel, Luke, Murat Iskar, Sevi Durdu, Joscha Weiss, Ralph S. Grand, Eric Hietter-Pfeiffer, Zuzanna Kozicka, et al. “Readout of Histone Methylation by Trim24 Locally Restricts Chromatin Opening by P53.” Nature Structural & Molecular Biology. Springer Nature, 2023. https://doi.org/10.1038/s41594-023-01021-8.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Preprint | IST-REx-ID: 15128 |
Riabov, Volodymyr. “Mesoscopic Eigenvalue Statistics for Wigner-Type Matrices.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2301.01712.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 15190 |
Heyl J et al. 2023. The detection of polarized X-ray emission from the magnetar 1E 2259+586. Monthly Notices of the Royal Astronomical Society. 527(4), 12219–12231.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv