Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5050 Publications
2023 | Conference Paper | IST-REx-ID: 14076 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers,” in 23nd International Conference on Runtime Verification, Thessaloniki, Greek, 2023, vol. 14245, pp. 168–190.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14743 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
P. Tennage et al., “QuePaxa: Escaping the tyranny of timeouts in consensus,” in Proceedings of the 29th Symposium on Operating Systems Principles, Koblenz, Germany, 2023, pp. 281–297.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 15035 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Thesis | IST-REx-ID: 13984
A. Franschitz, “Individual and social immunity against viral infections in ants,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 15039 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
B. Prach and C. Lampert, “1-Lipschitz neural networks are more expressive with N-activations,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14812 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Stankowski, “Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 13214 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. Abualia, S. Riegler, and E. Benková, “Nitrate, auxin and cytokinin - a trio to tango,” Cells, vol. 12, no. 12. MDPI, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 14323
K. Kuzmicz-Kowalska, “Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14974 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
C. Zhang et al., “Causality in the time of LLMs: Round table discussion results of CLeaR 2023,” in 2nd Conference on Causal Learning and Reasoning, Tübingen, Germany, 2023.
[Submitted Version]
View
| Files available
2023 | Conference Paper | IST-REx-ID: 13236 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
D. W. Zheng and M. H. Henzinger, “Multiplicative auction algorithm for approximate maximum weight bipartite matching,” in International Conference on Integer Programming and Combinatorial Optimization, Madison, WI, United States, 2023, vol. 13904, pp. 453–465.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13182 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, and M. Saghafian, “Geometric characterization of the persistence of 1D maps,” Journal of Applied and Computational Topology. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13044 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Mondal, R. B. Jethwa, B. Pant, R. Hauschild, and S. A. 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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 | Thesis | IST-REx-ID: 14587 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Marveggio, “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.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14922 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. R. Esposito and M. Mondelli, “Concentration without independence via information measures,” in Proceedings of 2023 IEEE International Symposium on Information Theory, Taipei, Taiwan, 2023, pp. 400–405.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 15173 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. A. Kwan, A. Sah, and M. Sawhney, “Enumerating matroids and linear spaces,” Comptes Rendus Mathematique, vol. 361, no. G2. Academie des Sciences, pp. 565–575, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14772 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Agresti and A. Hussein, “Maximal Lp-regularity and H∞-calculus for block operator matrices and applications,” Journal of Functional Analysis, vol. 285, no. 11. Elsevier, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Preprint | IST-REx-ID: 15128 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
V. Riabov, “Mesoscopic eigenvalue statistics for Wigner-type matrices,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Preprint | IST-REx-ID: 14732 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
O. O. Olusanya, K. Khudiakova, and H. Sachdeva, “Genetic load, eco-evolutionary feedback and extinction in a metapopulation,” bioRxiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2023 | Conference Paper | IST-REx-ID: 13262 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Fedorov, D. Hashemi, G. Nadiradze, and D.-A. Alistarh, “Provably-efficient and internally-deterministic parallel Union-Find,” in Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Orlando, FL, United States, 2023, pp. 261–271.
[Published Version]
View
| Files available
| DOI
| arXiv