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.
9133 Publications
2023 | Conference Paper | IST-REx-ID: 15023 | 
Compositional policy learning in stochastic control systems with formal guarantees
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
2023 | Conference Paper | IST-REx-ID: 14993 |
A framework for grassroots research collaboration in machine learning and global health
C. Currin, M.N. Asiedu , C. Fourie, B. Rosman, H. Turki, A. Lambebo Tonja, J. Abbott, M. Ajala, S.A. Adedayo, C.C. Emezue, D. Machangara, in:, 1st Workshop on Machine Learning & Global Health, OpenReview, 2023.
[Published Version]
View
| Download Published Version (ext.)
C. Currin, M.N. Asiedu , C. Fourie, B. Rosman, H. Turki, A. Lambebo Tonja, J. Abbott, M. Ajala, S.A. Adedayo, C.C. Emezue, D. Machangara, in:, 1st Workshop on Machine Learning & Global Health, OpenReview, 2023.
2023 | Conference Paper | IST-REx-ID: 14076 |
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 | Conference Paper | IST-REx-ID: 14743 |
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 | Conference Abstract | IST-REx-ID: 14748
Unified treatment of contact, friction and shock-propagation in rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Association for Computing Machinery, 2023.
View
| DOI
Y.-L. Chen, M. Ly, C. Wojtan, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Association for Computing Machinery, 2023.
2023 | Research Data Reference | IST-REx-ID: 15035 |
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 | Thesis | IST-REx-ID: 13984
Individual and social immunity against viral infections in ants
A. Franschitz, Individual and Social Immunity against Viral Infections in Ants, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
A. Franschitz, Individual and Social Immunity against Viral Infections in Ants, Institute of Science and Technology Austria, 2023.
2023 | Preprint | IST-REx-ID: 15039 |
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 |
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 | Journal Article | IST-REx-ID: 13214 |
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 | 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 | Conference Paper | IST-REx-ID: 14974 |
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 |
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 | Journal Article | IST-REx-ID: 15085 |
An observed population of intermediate-mass helium stars that have been stripped in binaries
M.R. Drout, Y.L.L. Götberg, B.A. Ludwig, J.H. Groh, S.E. de Mink, A.J.G. O’Grady, N. Smith, Science 382 (2023) 1287–1291.
View
| Files available
| DOI
| Download None (ext.)
| PubMed | Europe PMC
| arXiv
M.R. Drout, Y.L.L. Götberg, B.A. Ludwig, J.H. Groh, S.E. de Mink, A.J.G. O’Grady, N. Smith, Science 382 (2023) 1287–1291.
2023 | Conference Paper | IST-REx-ID: 13236 |
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 | Journal Article | IST-REx-ID: 13182 |
Geometric characterization of the persistence of 1D maps
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Journal of Applied and Computational Topology (2023).
[Published Version]
View
| Files available
| DOI
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Journal of Applied and Computational Topology (2023).
2023 | Journal Article | IST-REx-ID: 13044 |
Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes
S. Mondal, R.B. Jethwa, B. Pant, R. Hauschild, S.A. Freunberger, Faraday Discussions (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
S. Mondal, R.B. Jethwa, B. Pant, R. Hauschild, S.A. Freunberger, Faraday Discussions (2023).
2023 | Thesis | IST-REx-ID: 14587 |
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 | Conference Paper | IST-REx-ID: 14922 |
Concentration without independence via information measures
A.R. Esposito, M. Mondelli, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 400–405.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A.R. Esposito, M. Mondelli, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 400–405.
2023 | Journal Article | IST-REx-ID: 15173 |
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.