Where is the sweet spot? A procurement story of general purpose compute nodes
A. Schlögl, A. Hornoiu, S. Elefante, S. Stadlbauer, in:, ASHP - Austrian-Slovenian HPC Meeting 2022, EuroCC Austria c/o Universität Wien, 2022, p. 7.

Modulating the surface and photophysical properties of carbon dots to access colloidal photocatalysts for cross-couplings
Z. Zhao, B. Pieber, M. Delbianco, ACS Catalysis 12 (2022) 13831–13837.

Intraligand charge transfer enables visiblelightmediated Nickelcatalyzed cross-coupling reactions
C. Cavedon, S. Gisbertz, S. Reischauer, S. Vogl, E. Sperlich, J.H. Burke, R.F. Wallick, S. Schrottke, W. Hsu, L. Anghileri, Y. Pfeifer, N. Richter, C. Teutloff, H. MüllerWerkmeister, D. Cambié, P.H. Seeberger, J. VuraWeis, R.M. van der Veen, A. Thomas, B. Pieber, Angewandte Chemie International Edition 61 (2022).

From vibrational spectroscopy and quantum tunnelling to periodic band structures – a self-supervised, all-purpose neural network approach to general quantum problems
J. Gamper, F. Kluibenschedl, A.K.H. Weiss, T.S. Hofer, Physical Chemistry Chemical Physics 24 (2022) 25191–25202.

Multitier mechanics control stromal adaptations in swelling lymph nodes
F.P. Assen, J. Abe, M. Hons, R. Hauschild, S. Shamipour, W. Kaufmann, T. Costanzo, G. Krens, M. Brown, B. Ludewig, S. Hippenmeyer, C.-P.J. Heisenberg, W. Weninger, E.B. Hannezo, S.A. Luther, J.V. Stein, M.K. Sixt, Nature Immunology 23 (2022) 1246–1255.

Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum
R. ReyesPinto, J.L. Ferrán, T.A. Vega Zuniga, C. GonzálezCabrera, H. Luksch, J. Mpodozis, L. Puelles, G.J. Marín, Journal of Comparative Neurology 530 (2022) 553–573.

Resurgence analysis of quantum invariants of Seifert fibered homology spheres
W. Mistegaard, J.E. Andersen, Journal of the London Mathematical Society 105 (2022) 709–764.

Scalable verification of quantized neural networks
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.

Adversarial training is not ready for robot learning
M. Lechner, R. Hasani, R. Grosu, D. Rus, T.A. Henzinger, in:, 2021 IEEE International Conference on Robotics and Automation, 2021, pp. 4140–4147.

Infinite time horizon safety of Bayesian neural networks
M. Lechner, Ð. dikeli, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.

On-off center-surround receptive fields for accurate and robust image classification
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.

On the verification of neural ODEs with stochastic guarantees
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.

Causal navigation by continuous-time neural networks
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.

Liquid time-constant networks
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.

Determinacy in discrete-bidding infinite-duration games
M. Aghajohari, G. Avni, T.A. Henzinger, Logical Methods in Computer Science 17 (2021) 10:1-10:23.

The Civl verifier
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.

Orbital Chern insulator states in twisted monolayer-bilayer graphene and electrical switching of topological and magnetic order
H. Polshyn, J. Zhu, M. Kumar, Y. Zhang, F. Yang, C. Tschirhart, M. Serlin, K. Watanabe, T. Tanaguchi, A. MacDonald, A. Young, in:, APS March Meeting 2021, American Physical Society, 2021.

Infinite-duration all-pay bidding games
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.

The distribution of the maximum of partial sums of Kloosterman sums and other trace functions
P. Autissier, D. Bonolis, Y. Lamzouri, Compositio Mathematica 157 (2021) 1610–1651.

 The Landau–Pekar equations: Adiabatic theorem and accuracy
N.K. Leopold, S.A.E. Rademacher, B. Schlein, R. Seiringer, Analysis and PDE 14 (2021) 2079–2100.