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.
5280 Publications
2023 |Published| Conference Paper | IST-REx-ID: 14076 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, in:, 23nd International Conference on Runtime Verification, Springer Nature, 2023, pp. 168–190.
[Published Version]
View
| Files available
| DOI
M. Chalupa, T.A. Henzinger, in:, 23nd International Conference on Runtime Verification, Springer Nature, 2023, pp. 168–190.
2023 |Published| Conference Paper | IST-REx-ID: 14743 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
QuePaxa: Escaping the tyranny of timeouts in consensus
P. Tennage, C. Basescu, E. Kokoris Kogias, E. Syta, P. Jovanovic, V. Estrada-Galinanes, B. Ford, in:, Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–297.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Tennage, C. Basescu, E. Kokoris Kogias, E. Syta, P. Jovanovic, V. Estrada-Galinanes, B. Ford, in:, Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–297.
2023 | Research Data Reference | IST-REx-ID: 15035 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Chalupa, T.A. Henzinger, (2023).
2023 |Submitted| Preprint | IST-REx-ID: 15039 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
1-Lipschitz neural networks are more expressive with N-activations
B. Prach, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Prach, C. Lampert, ArXiv (n.d.).
2023 | Research Data Reference | IST-REx-ID: 14812 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails
S. Stankowski, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Stankowski, (2023).
2023 |Published| Journal Article | IST-REx-ID: 13214 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nitrate, auxin and cytokinin - a trio to tango
R. Abualia, S. Riegler, E. Benková, Cells 12 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R. Abualia, S. Riegler, E. Benková, Cells 12 (2023).
2023 |Published| Thesis | IST-REx-ID: 14323
Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord
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
K. Kuzmicz-Kowalska, Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord, Institute of Science and Technology Austria, 2023.
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)
Causality in the time of LLMs: Round table discussion results of CLeaR 2023
C. Zhang, D. Janzing, M. van der Schaar, F. Locatello, P. Spirtes, K. Zhang, B. Schölkopf, C. Uhler, in:, 2nd Conference on Causal Learning and Reasoning, 2023.
[Submitted Version]
View
| Files available
C. Zhang, D. Janzing, M. van der Schaar, F. Locatello, P. Spirtes, K. Zhang, B. Schölkopf, C. Uhler, in:, 2nd Conference on Causal Learning and Reasoning, 2023.
2023 | Research Data | IST-REx-ID: 13173 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals
R. Shigemoto, (2023).
[Published Version]
View
| Files available
| DOI
R. Shigemoto, (2023).
2023 |Published| Conference Paper | IST-REx-ID: 13236 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Multiplicative auction algorithm for approximate maximum weight bipartite matching
D.W. Zheng, M.H. Henzinger, in:, International Conference on Integer Programming and Combinatorial Optimization, Springer Nature, 2023, pp. 453–465.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
D.W. Zheng, M.H. Henzinger, in:, International Conference on Integer Programming and Combinatorial Optimization, Springer Nature, 2023, pp. 453–465.
2023 |Published| Thesis | IST-REx-ID: 14587 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences
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
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.
2023 |Published| Journal Article | IST-REx-ID: 15173 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Enumerating matroids and linear spaces
M.A. Kwan, A. Sah, M. Sawhney, Comptes Rendus Mathematique 361 (2023) 565–575.
[Published Version]
View
| Files available
| DOI
| arXiv
M.A. Kwan, A. Sah, M. Sawhney, Comptes Rendus Mathematique 361 (2023) 565–575.
2023 |Published| Journal Article | IST-REx-ID: 14772 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Maximal Lp-regularity and H∞-calculus for block operator matrices and applications
A. Agresti, A. Hussein, Journal of Functional Analysis 285 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Agresti, A. Hussein, Journal of Functional Analysis 285 (2023).
2023 |Submitted| Preprint | IST-REx-ID: 15128 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mesoscopic eigenvalue statistics for Wigner-type matrices
V. Riabov, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Riabov, ArXiv (n.d.).
2023 |Submitted| Preprint | IST-REx-ID: 14732 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Genetic load, eco-evolutionary feedback and extinction in a metapopulation
O.O. Olusanya, K. Khudiakova, H. Sachdeva, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
O.O. Olusanya, K. Khudiakova, H. Sachdeva, BioRxiv (n.d.).
2023 |Published| Conference Paper | IST-REx-ID: 13262 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Provably-efficient and internally-deterministic parallel Union-Find
A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271.
2023 |Published| Conference Paper | IST-REx-ID: 12979 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gloss-aware color correction for 3D printing
J. Condor, M. Piovarci, B. Bickel, P. Didyk, in:, SIGGRAPH ’23 Conference Proceedings, Association for Computing Machinery, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
J. Condor, M. Piovarci, B. Bickel, P. Didyk, in:, SIGGRAPH ’23 Conference Proceedings, Association for Computing Machinery, 2023.
2023 |Published| Conference Paper | IST-REx-ID: 13228 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Runtime monitoring of dynamic fairness properties
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–614.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–614.
2023 |Published| Journal Article | IST-REx-ID: 14833 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Whole-genome phylogeography of the intertidal snail Littorina saxatilis
S. Stankowski, Z.B. Zagrodzka, J. Galindo, M. Montaño-Rendón, R. Faria, N. Mikhailova, A.M.H. Blakeslee, E. Arnason, T. Broquet, H.E. Morales, J.W. Grahame, A.M. Westram, K. Johannesson, R.K. Butlin, Evolutionary Journal of the Linnean Society 2 (2023).
[Published Version]
View
| Files available
| DOI
S. Stankowski, Z.B. Zagrodzka, J. Galindo, M. Montaño-Rendón, R. Faria, N. Mikhailova, A.M.H. Blakeslee, E. Arnason, T. Broquet, H.E. Morales, J.W. Grahame, A.M. Westram, K. Johannesson, R.K. Butlin, Evolutionary Journal of the Linnean Society 2 (2023).
2023 |Published| Journal Article | IST-REx-ID: 14613 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome
C. Lasne, M.N. Elkrewi, M.A. Toups, L.A. Layana Franco, A. Macon, B. Vicoso, Molecular Biology and Evolution 40 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Lasne, M.N. Elkrewi, M.A. Toups, L.A. Layana Franco, A. Macon, B. Vicoso, Molecular Biology and Evolution 40 (2023).