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 |
Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. 2023. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties, Zenodo, 10.5281/ZENODO.7877790.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Research Data Reference |
IST-REx-ID: 14995 |
Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. 2023. Lincheck: A practical framework for testing concurrent data structures on JVM, Zenodo, 10.5281/ZENODO.7877757.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Epub ahead of print |
Conference Paper |
IST-REx-ID: 15023 |
Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. 2023. Compositional policy learning in stochastic control systems with formal guarantees. 37th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 |
Research Data Reference |
IST-REx-ID: 15027 |
Curk S. 2023. aggregation_data, Figshare.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 |
Research Data Reference |
IST-REx-ID: 15035 |
Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers, Zenodo, 10.5281/ZENODO.8191723.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Submitted |
Preprint |
IST-REx-ID: 15039 |
Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. arXiv, 2311.06103.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Accepted |
Conference Paper |
IST-REx-ID: 13053 |
Peste E-A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware Minimizer. 11th International Conference on Learning Representations . ICLR: International Conference on Learning Representations.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13074 |
Peste E-A. 2023. Efficiency and generalization of sparse neural networks. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13081
Bocanegra L. 2023. Epithelial dynamics during mouse neural tube development. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 13091 |
Browning TD, Sawin W. 2023. Free rational curves on low degree hypersurfaces and the circle method. Algebra and Number Theory. 17(3), 719–748.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 13092 |
Nan B, Song X, Chang C, Xiao K, Zhang Y, Yang L, Horta S, Li J, Lim KH, Ibáñez M, Cabot A. 2023. Bottom-up synthesis of SnTe-based thermoelectric composites. ACS Applied Materials and Interfaces. 15(19), 23380–23389.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 13093 |
Nan B, Li M, Zhang Y, Xiao K, Lim KH, Chang C, Han X, Zuo Y, Li J, Arbiol J, Llorca J, Ibáñez M, Cabot A. 2023. Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature. ACS Applied Electronic Materials.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 13094 |
Azadbakht A, Meadowcroft B, Varkevisser T, Šarić A, Kraft DJ. 2023. Wrapping pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles. Nano Letters. 23(10), 4267–4273.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 13095 |
Troussicot L, Vallet A, Molin M, Burmann BM, Schanda P. 2023. Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR. Journal of the American Chemical Society. 145(19), 10700–10711.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 13096 |
Degen M, Santos JC, Pluhackova K, Cebrero G, Ramos S, Jankevicius G, Hartenian E, Guillerm U, Mari SA, Kohl B, Müller DJ, Schanda P, Maier T, Perez C, Sieben C, Broz P, Hiller S. 2023. Structural basis of NINJ1-mediated plasma membrane rupture in cell death. Nature. 618, 1065–1071.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 13097 |
Wilson AC, Sweeney LB. 2023. Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. 17, 1146449.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13106 |
Sahu R, Qiu L, Hease WJ, Arnold GM, Minoguchi Y, Rabl P, Fink JM. 2023. Entangling microwaves with light. American Association for the Advancement of Science.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13107 |
Knaus L. 2023. The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 |
Research Data |
IST-REx-ID: 13116 |
Dunajova Z, Prats Mateu B, Radler P, Lim K, Brandis D, Velicky P, Danzl JG, Wong RW, Elgeti J, Hannezo EB, Loose M. 2023. Chiral and nematic phases of flexible active filaments, Institute of Science and Technology Austria, 10.15479/AT:ISTA:13116.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 13117 |
Redchenko E, Poshakinskiy AV, Sett R, Zemlicka M, Poddubny AN, Fink JM. 2023. Tunable directional photon scattering from a pair of superconducting qubits. Nature Communications. 14, 2998.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv