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.
7036 Publications
2023 |Published| Journal Article | IST-REx-ID: 14778 | 
Chatterjee K, Kafshdar Goharshady E, Novotný P, Zárevúcky J, Zikelic D. On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. 2023;35(2). doi:10.1145/3585391
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Thesis | IST-REx-ID: 12885 |
Calcabrini M. Nanoparticle-based semiconductor solids: From synthesis to consolidation. 2023. doi:10.15479/at:ista:12885
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 12166 |
Westram AM, Butlin R. Professor Kerstin Johannesson–winner of the 2022 Molecular Ecology Prize. Molecular Ecology. 2023;32(1):26-29. doi:10.1111/mec.16779
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 |Published| Conference Paper | IST-REx-ID: 15363 |
Safaryan M, Krumes A, Alistarh D-A. Knowledge distillation performs partial variance reduction. In: 36th Conference on Neural Information Processing Systems. Vol 36. ; 2023.
[Published Version]
View
| Files available
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14341 |
Scarselli D, Lopez Alonso JM, Varshney A, Hof B. Turbulence suppression by cardiac-cycle-inspired driving of pipe flow. Nature. 2023;621(7977):71-74. doi:10.1038/s41586-023-06399-5
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 13227 |
Hassani F, Peruzzo M, Kapoor L, Trioni A, Zemlicka M, Fink JM. Inductively shunted transmons exhibit noise insensitive plasmon states and a fluxon decay exceeding 3 hours. Nature Communications. 2023;14. doi:10.1038/s41467-023-39656-2
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Submitted| Preprint | IST-REx-ID: 17174 |
Erdös L, Henheik SJ, Reker J, Riabov V. Prethermalization for deformed Wigner Matrices. arXiv. doi:10.48550/arXiv.2310.06677
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Poster | IST-REx-ID: 15292 |
Chen Y-L, Ly M, Wojtan C. Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation. ACM; 2023. doi:10.1145/3606037.3606836
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 14749
Mishra U, Li V, Wald S, Agafonova S, Diorico FR, Hosten O. Monitoring and active stabilization of laser injection locking using beam ellipticity. Optics Letters. 2023;48(15):3973-3976. doi:10.1364/ol.495553
[Preprint]
View
| DOI
| arXiv
2023 |Published| Conference Abstract | IST-REx-ID: 14748
Chen Y-L, Ly M, Wojtan C. Unified treatment of contact, friction and shock-propagation in rigid body animation. In: Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. Association for Computing Machinery; 2023. doi:10.1145/3606037.3606836
View
| DOI
2023 |Published| Journal Article | IST-REx-ID: 14556 |
Berdan EL, Barton NH, Butlin R, et al. How chromosomal inversions reorient the evolutionary process. Journal of Evolutionary Biology. 2023;36(12). doi:10.1111/jeb.14242
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 14434
He R, Yang L, Zhang Y, et al. A 3d‐4d‐5d high entropy alloy as a bifunctional oxygen catalyst for robust aqueous zinc–air batteries. Advanced Materials. 2023;35(46). doi:10.1002/adma.202303719
View
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Conference Abstract | IST-REx-ID: 13162 |
Elefante S, Stadlbauer S, Alexander MF, Schlögl A. Cryo-EM software packages: A sys-admins point of view. In: ASHPC23 - Austrian-Slovenian HPC Meeting 2023. EuroCC; 2023:42-42.
[Submitted Version]
View
| Files available
2023 |Published| Conference Abstract | IST-REx-ID: 13161 |
Schlögl A, Elefante S, Hodirnau V-V. Running Windows-applications on a Linux HPC cluster using WINE. In: ASHPC23 - Austrian-Slovenian HPC Meeting 2023. EuroCC; 2023:59-59.
[Submitted Version]
View
| Files available
2023 |Published| Journal Article | IST-REx-ID: 13976 |
Wolfsberger W, Chhugani K, Shchubelka K, Frolova A, Salyha Y, Zlenko O, Arych M, Dziuba D, Parkhomenko A, Smolanka V, Gümüş ZH, Sezgin E, Diaz-Lameiro A, Toth VR, Maci M, Bortz E, Kondrashov F, Morton PM, Łabaj PP, Romero V, Hlávka J, Mangul S, Oleksyk TK. 2023. Scientists without borders: Lessons from Ukraine. GigaScience. 12, giad045.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2023 |Published| Thesis | IST-REx-ID: 13074 |
Peste E-A. Efficiency and generalization of sparse neural networks. 2023. doi:10.15479/at:ista:13074
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 13053 |
Krumes A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware Minimizer. In: 11th International Conference on Learning Representations . OpenReview; 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 13182 |
Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Geometric characterization of the persistence of 1D maps. Journal of Applied and Computational Topology. 2023. doi:10.1007/s41468-023-00126-9
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 15023 |
Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. Compositional policy learning in stochastic control systems with formal guarantees. In: 37th Conference on Neural Information Processing Systems. ; 2023.
[Published Version]
View
| Files available
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14921 |
Súkeník P, Mondelli M, Lampert C. Deep neural collapse is provably optimal for the deep unconstrained features model. In: 37th Annual Conference on Neural Information Processing Systems. ; 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv