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.
6710 Publications
2023 |
Published |
Journal Article |
IST-REx-ID: 13179 |
CQS: A formally-verified framework for fair and abortable synchronization
N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).
[Published Version]
View
| Files available
| DOI
N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).
2023 |
Published |
Book Chapter |
IST-REx-ID: 19983 |
Sinkless Orientation Made Simple
A. Balliu, J. Korhonen, F. Kuhn, H. Lievonen, D. Olivetti, S. Pai, A. Paz, J. Rybicki, S. Schmid, J. Studený, J. Suomela, J. Uitto, in:, Symposium on Simplicity in Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 175–191.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Balliu, J. Korhonen, F. Kuhn, H. Lievonen, D. Olivetti, S. Pai, A. Paz, J. Rybicki, S. Schmid, J. Studený, J. Suomela, J. Uitto, in:, Symposium on Simplicity in Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 175–191.
2023 |
Published |
Journal Article |
IST-REx-ID: 13443 |
Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations
S. Mathur, Z.R. Claytor, Â.R.G. Santos, R.A. García, L. Amard, L.A. Bugnet, E. Corsaro, A. Bonanno, S.N. Breton, D. Godoy-Rivera, M.H. Pinsonneault, J. van Saders, The Astrophysical Journal 952 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
S. Mathur, Z.R. Claytor, Â.R.G. Santos, R.A. García, L. Amard, L.A. Bugnet, E. Corsaro, A. Bonanno, S.N. Breton, D. Godoy-Rivera, M.H. Pinsonneault, J. van Saders, The Astrophysical Journal 952 (2023).
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 12885 |
Nanoparticle-based semiconductor solids: From synthesis to consolidation
M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Journal Article |
IST-REx-ID: 14402 |
Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state
F. Lombardi, H.J. Herrmann, L. Parrino, D. Plenz, S. Scarpetta, A.E. Vaudano, L. De Arcangelis, O. Shriki, Cell Reports 42 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
F. Lombardi, H.J. Herrmann, L. Parrino, D. Plenz, S. Scarpetta, A.E. Vaudano, L. De Arcangelis, O. Shriki, Cell Reports 42 (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 13267 |
Dense 4D nanoscale reconstruction of living brain tissue
P. Velicky, E. Miguel Villalba, J.M. Michalska, J. Lyudchik, D. Wei, Z. Lin, J. Watson, J. Troidl, J. Beyer, Y. Ben Simon, C.M. Sommer, W. Jahr, A. Cenameri, J. Broichhagen, S.G.N. Grant, P.M. Jonas, G. Novarino, H. Pfister, B. Bickel, J.G. Danzl, Nature Methods 20 (2023) 1256–1265.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
P. Velicky, E. Miguel Villalba, J.M. Michalska, J. Lyudchik, D. Wei, Z. Lin, J. Watson, J. Troidl, J. Beyer, Y. Ben Simon, C.M. Sommer, W. Jahr, A. Cenameri, J. Broichhagen, S.G.N. Grant, P.M. Jonas, G. Novarino, H. Pfister, B. Bickel, J.G. Danzl, Nature Methods 20 (2023) 1256–1265.
2023 |
Scientific Software |
IST-REx-ID: 14502 |
Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data
G.A. Dimchev, B. Amiri, F. Fäßler, M. Falcke, F.K. Schur, (2023).
View
| Files available
| DOI
G.A. Dimchev, B. Amiri, F. Fäßler, M. Falcke, F.K. Schur, (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 13212 |
Distinct functions of TIR1 and AFB1 receptors in auxin signalling.
H. Chen, L. Li, M. Zou, L. Qi, J. Friml, Molecular Plant 16 (2023) 1117–1119.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
H. Chen, L. Li, M. Zou, L. Qi, J. Friml, Molecular Plant 16 (2023) 1117–1119.
2023 |
Published |
Journal Article |
IST-REx-ID: 13209 |
Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen
J. Xia, M. Kong, Z. Yang, L. Sun, Y. Peng, Y. Mao, H. Wei, W. Ying, Y. Gao, J. Friml, J. Weng, X. Liu, L. Sun, S. Tan, Plant Communications 4 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Xia, M. Kong, Z. Yang, L. Sun, Y. Peng, Y. Mao, H. Wei, W. Ying, Y. Gao, J. Friml, J. Weng, X. Liu, L. Sun, S. Tan, Plant Communications 4 (2023).
2023 |
Published |
Conference Abstract |
IST-REx-ID: 13162 |
Cryo-EM software packages: A sys-admins point of view
S. Elefante, S. Stadlbauer, M.F. Alexander, A. Schlögl, in:, ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC Austria, 2023, pp. 42–42.
[Submitted Version]
View
| Files available
S. Elefante, S. Stadlbauer, M.F. Alexander, A. Schlögl, in:, ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC Austria, 2023, pp. 42–42.
2023 |
Published |
Conference Abstract |
IST-REx-ID: 13161 |
Running Windows-applications on a Linux HPC cluster using WINE
A. Schlögl, S. Elefante, V.-V. Hodirnau, in:, ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC Austria, 2023, pp. 59–59.
[Submitted Version]
View
| Files available
A. Schlögl, S. Elefante, V.-V. Hodirnau, in:, ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC Austria, 2023, pp. 59–59.
2023 |
Published |
Journal Article |
IST-REx-ID: 13268 |
On type II degenerations of hyperkähler manifolds
D. Huybrechts, M. Mauri, Mathematical Research Letters 30 (2023) 125–141.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D. Huybrechts, M. Mauri, Mathematical Research Letters 30 (2023) 125–141.
2023 |
Published |
Conference Paper |
IST-REx-ID: 14609 |
Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling
S. Das, Z. Xiang, E. Kokoris Kogias, L. Ren, in:, 32nd USENIX Security Symposium, Usenix Association, 2023, pp. 5359–5376.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| Cryptology ePrint
S. Das, Z. Xiang, E. Kokoris Kogias, L. Ren, in:, 32nd USENIX Security Symposium, Usenix Association, 2023, pp. 5359–5376.
2023 |
Published |
Conference Paper |
IST-REx-ID: 14718 |
Binary decision diagrams on modern hardware
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2023, pp. 122–131.
[Published Version]
View
| Files available
| DOI
| WoS
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2023, pp. 122–131.
2023 |
Published |
Journal Article |
IST-REx-ID: 14799 |
The human factor: Results of a small-angle scattering data analysis round robin
Pauw BR, Smales GJ, Anker AS, Annadurai V, Balazs D, Bienert R, Bouwman WG, Breßler I, Breternitz J, Brok ES, Bryant G, Clulow AJ, Crater ER, De Geuser F, Giudice AD, Deumer J, Disch S, Dutt S, Frank K, Fratini E, Garcia PRAF, Gilbert EP, Hahn MB, Hallett J, Hohenschutz M, Hollamby M, Huband S, Ilavsky J, Jochum JK, Juelsholt M, Mansel BW, Penttilä P, Pittkowski RK, Portale G, Pozzo LD, Rochels L, Rosalie JM, Saloga PEJ, Seibt S, Smith AJ, Smith GN, Spiering GA, Stawski TM, Taché O, Thünemann AF, Toth K, Whitten AE, Wuttke J. 2023. The human factor: Results of a small-angle scattering data analysis round robin. Journal of Applied Crystallography. 56(6), 1618–1629.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
Pauw BR, Smales GJ, Anker AS, Annadurai V, Balazs D, Bienert R, Bouwman WG, Breßler I, Breternitz J, Brok ES, Bryant G, Clulow AJ, Crater ER, De Geuser F, Giudice AD, Deumer J, Disch S, Dutt S, Frank K, Fratini E, Garcia PRAF, Gilbert EP, Hahn MB, Hallett J, Hohenschutz M, Hollamby M, Huband S, Ilavsky J, Jochum JK, Juelsholt M, Mansel BW, Penttilä P, Pittkowski RK, Portale G, Pozzo LD, Rochels L, Rosalie JM, Saloga PEJ, Seibt S, Smith AJ, Smith GN, Spiering GA, Stawski TM, Taché O, Thünemann AF, Toth K, Whitten AE, Wuttke J. 2023. The human factor: Results of a small-angle scattering data analysis round robin. Journal of Applied Crystallography. 56(6), 1618–1629.
2023 |
Published |
Conference Paper |
IST-REx-ID: 14243 |
Bidding graph games with partially-observable budgets
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI Press, 2023, pp. 5464–5471.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI Press, 2023, pp. 5464–5471.
2023 |
Published |
Conference Paper |
IST-REx-ID: 15364 |
Simple, scalable and effective clustering via one-dimensional projections
M. Charikar, L. Hu, M. Henzinger, M. Vötsch, E. Waingarten, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023.
[Published Version]
View
| Files available
| arXiv
M. Charikar, L. Hu, M. Henzinger, M. Vötsch, E. Waingarten, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023.
2023 |
Published |
Conference Paper |
IST-REx-ID: 15363 |
Knowledge distillation performs partial variance reduction
M. Safaryan, A. Krumes, D.-A. Alistarh, in:, 36th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023.
[Published Version]
View
| Files available
| arXiv
M. Safaryan, A. Krumes, D.-A. Alistarh, in:, 36th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023.
2023 |
Published |
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, Neural Information Processing Systems Foundation, 2023.
[Published Version]
View
| Files available
| arXiv
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023.
2023 |
Published |
Conference Paper |
IST-REx-ID: 14921 |
Deep neural collapse is provably optimal for the deep unconstrained features model
P. Súkeník, M. Mondelli, C. Lampert, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
P. Súkeník, M. Mondelli, C. Lampert, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023.