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.
4858 Publications
2023 |
Research Data Reference |
IST-REx-ID: 14994 |
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, and S. Soudjani, “A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Research Data Reference |
IST-REx-ID: 14995 |
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Epub ahead of print |
Conference Paper |
IST-REx-ID: 15023 |
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, and T. A. Henzinger, “Compositional policy learning in stochastic control systems with formal guarantees,” in 37th Conference on Neural Information Processing Systems, New Orleans, LO, United States, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 |
Research Data Reference |
IST-REx-ID: 15027 |
S. Curk, “aggregation_data.” Figshare, 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 |
Research Data Reference |
IST-REx-ID: 15035 |
M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Submitted |
Preprint |
IST-REx-ID: 15039 |
B. Prach and C. Lampert, “1-Lipschitz neural networks are more expressive with N-activations,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Accepted |
Conference Paper |
IST-REx-ID: 13053 |
E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, and D.-A. Alistarh, “CrAM: A Compression-Aware Minimizer,” in 11th International Conference on Learning Representations , Kigali, Rwanda .
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13074 |
E.-A. Peste, “Efficiency and generalization of sparse neural networks,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13081
L. Bocanegra, “Epithelial dynamics during mouse neural tube development,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 13091 |
T. D. Browning and W. Sawin, “Free rational curves on low degree hypersurfaces and the circle method,” Algebra and Number Theory, vol. 17, no. 3. Mathematical Sciences Publishers, pp. 719–748, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 13092 |
B. Nan et al., “Bottom-up synthesis of SnTe-based thermoelectric composites,” ACS Applied Materials and Interfaces, vol. 15, no. 19. American Chemical Society, pp. 23380–23389, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 13093 |
B. Nan et al., “Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature,” ACS Applied Electronic Materials. American Chemical Society, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 13094 |
A. Azadbakht, B. Meadowcroft, T. Varkevisser, A. Šarić, and D. J. Kraft, “Wrapping pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles,” Nano Letters, vol. 23, no. 10. American Chemical Society, pp. 4267–4273, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 13095 |
L. Troussicot, A. Vallet, M. Molin, B. M. Burmann, and P. Schanda, “Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR,” Journal of the American Chemical Society, vol. 145, no. 19. American Chemical Society, pp. 10700–10711, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 13096 |
M. Degen et al., “Structural basis of NINJ1-mediated plasma membrane rupture in cell death,” Nature, vol. 618. Springer Nature, pp. 1065–1071, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 13097 |
A. C. Wilson and L. B. Sweeney, “Spinal cords: Symphonies of interneurons across species,” Frontiers in Neural Circuits, vol. 17. Frontiers, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13106 |
R. Sahu et al., “Entangling microwaves with light,” American Association for the Advancement of Science, 2023.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13107 |
L. Knaus, “The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |
Research Data |
IST-REx-ID: 13116 |
Z. Dunajova et al., “Chiral and nematic phases of flexible active filaments.” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 13117 |
E. Redchenko, A. V. Poshakinskiy, R. Sett, M. Zemlicka, A. N. Poddubny, and J. M. Fink, “Tunable directional photon scattering from a pair of superconducting qubits,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv