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.
5098 Publications
2023 |Published| Conference Paper | IST-REx-ID: 14993 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Currin, Christopher, et al. “A Framework for Grassroots Research Collaboration in Machine Learning and Global Health.” 1st Workshop on Machine Learning & Global Health, OpenReview, 2023.
[Published Version]
View
| Download Published Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 14076 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chalupa, Marek, and Thomas A. Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” 23nd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 168–90, doi:10.1007/978-3-031-44267-4_9.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 14743 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tennage, Pasindu, et al. “QuePaxa: Escaping the Tyranny of Timeouts in Consensus.” Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–97, doi:10.1145/3600006.3613150.
[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)
Chalupa, Marek, and Thomas A. Henzinger. Monitoring Hyperproperties with Prefix Transducers. Zenodo, 2023, doi:10.5281/ZENODO.8191723.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |Submitted| Preprint | IST-REx-ID: 15039 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” ArXiv, 2311.06103, doi:10.48550/ARXIV.2311.06103.
[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)
Stankowski, Sean. Data and Code for: The Genetic Architecture of a Recent Transition to Live-Bearing in Marine Snails. Zenodo, 2023, doi:10.5281/ZENODO.8318995.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 13214 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Abualia, R., et al. “Nitrate, Auxin and Cytokinin - a Trio to Tango.” Cells, vol. 12, no. 12, 1613, MDPI, 2023, doi:10.3390/cells12121613.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Thesis | IST-REx-ID: 14323
Kuzmicz-Kowalska, Katarzyna. Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14323.
[Published Version]
View
| Files available
| DOI
2023 |Epub ahead of print| Conference Paper | IST-REx-ID: 14974 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zhang, Cheng, et al. “Causality in the Time of LLMs: Round Table Discussion Results of CLeaR 2023.” 2nd Conference on Causal Learning and Reasoning, 2023.
[Submitted Version]
View
| Files available
2023 |Published| Conference Paper | IST-REx-ID: 13236 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zheng, Da Wei, and Monika H. Henzinger. “Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching.” International Conference on Integer Programming and Combinatorial Optimization, vol. 13904, Springer Nature, 2023, pp. 453–65, doi:10.1007/978-3-031-32726-1_32.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Thesis | IST-REx-ID: 14587 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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, doi:10.15479/at:ista:14587.
[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, Matthew Alan, et al. “Enumerating Matroids and Linear Spaces.” Comptes Rendus Mathematique, vol. 361, no. G2, Academie des Sciences, 2023, pp. 565–75, doi:10.5802/crmath.423.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14772 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Agresti, Antonio, and Amru Hussein. “Maximal Lp-Regularity and H∞-Calculus for Block Operator Matrices and Applications.” Journal of Functional Analysis, vol. 285, no. 11, 110146, Elsevier, 2023, doi:10.1016/j.jfa.2023.110146.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Submitted| Preprint | IST-REx-ID: 15128 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Riabov, Volodymyr. “Mesoscopic Eigenvalue Statistics for Wigner-Type Matrices.” ArXiv, 2301.01712, doi:10.48550/arXiv.2301.01712.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Submitted| Preprint | IST-REx-ID: 14732 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Olusanya, Oluwafunmilola O., et al. “Genetic Load, Eco-Evolutionary Feedback and Extinction in a Metapopulation.” BioRxiv, doi:10.1101/2023.12.02.569702.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 13262 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fedorov, Alexander, et al. “Provably-Efficient and Internally-Deterministic Parallel Union-Find.” Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–71, doi:10.1145/3558481.3591082.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 12979 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Condor, Jorge, et al. “Gloss-Aware Color Correction for 3D Printing.” SIGGRAPH ’23 Conference Proceedings, 21, Association for Computing Machinery, 2023, doi:10.1145/3588432.3591546.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Conference Paper | IST-REx-ID: 13228 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, Thomas A., et al. “Runtime Monitoring of Dynamic Fairness Properties.” FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–14, doi:10.1145/3593013.3594028.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14833 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Stankowski, Sean, et al. “Whole-Genome Phylogeography of the Intertidal Snail Littorina Saxatilis.” Evolutionary Journal of the Linnean Society, vol. 2, no. 1, kzad002, Oxford University Press, 2023, doi:10.1093/evolinnean/kzad002.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 14613 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lasne, Clementine, et al. “The Scorpionfly (Panorpa Cognata) Genome Highlights Conserved and Derived Features of the Peculiar Dipteran X Chromosome.” Molecular Biology and Evolution, vol. 40, no. 12, msad245, Oxford University Press, 2023, doi:10.1093/molbev/msad245.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC