Bansal, Suguman, Krishnendu Chatterjee, and Moshe Y. Vardi. “On Satisficing in Quantitative Games.”https://doi.org/10.1007/978-3-030-72016-2__In 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 12651:20–37. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-72016-2 .
LibreCat: https://research-explorer.ista.ac.at/record/12767
DOI: 10.1007/978-3-030-72016-2
arXiv: 2101.02594

Hensel, Sebastian, and Tim Laux. “A New Varifold Solution Concept for Mean Curvature Flow: Convergence of  the Allen-Cahn Equation and Weak-Strong Uniqueness.”https://doi.org/10.48550/arXiv.2109.04233__ArXiv, n.d.https://doi.org/10.48550/arXiv.2109.04233 .
LibreCat: https://research-explorer.ista.ac.at/record/10011
DOI: 10.48550/arXiv.2109.04233
arXiv: 2109.04233

Arguin, Louis-Pierre, Guillaume Dubach, and Lisa Hartung. “Maxima of a Random Model of the Riemann Zeta Function over Intervals of Varying Length.”https://doi.org/10.48550/arXiv.2103.04817__ArXiv, n.d.https://doi.org/10.48550/arXiv.2103.04817 .
LibreCat: https://research-explorer.ista.ac.at/record/9230
DOI: 10.48550/arXiv.2103.04817
arXiv: 2103.04817

Dubach, Guillaume, and Fabian Mühlböck. “Formal Verification of Zagier’s One-Sentence Proof.”https://doi.org/10.48550/arXiv.2103.11389__ArXiv, n.d.https://doi.org/10.48550/arXiv.2103.11389 .
LibreCat: https://research-explorer.ista.ac.at/record/9281
DOI: 10.48550/arXiv.2103.11389
arXiv: 2103.11389

Kavcic, Bor, and Gasper Tkadik. “Token-Driven Totally Asymmetric Simple Exclusion Process.”https://doi.org/10.48550/arXiv.2112.13558__ArXiv, n.d.https://doi.org/10.48550/arXiv.2112.13558 .
LibreCat: https://research-explorer.ista.ac.at/record/10579
DOI: 10.48550/arXiv.2112.13558
arXiv: 2112.13558

Calcabrini, Mariano, Dietger Van den Eynden, Sergi Sanchez Ribot, Rohan Pokratath, Jordi Llorca, Jonathan De Roo, and Maria Ibáñez. “Ligand Conversion in Nanocrystal Synthesis: The Oxidation of Alkylamines to Fatty Acids by Nitrate.”https://doi.org/10.1021/jacsau.1c00349__JACS Au. American Chemical Society, 2021.https://doi.org/10.1021/jacsau.1c00349 .
LibreCat: https://research-explorer.ista.ac.at/record/10806
DOI: 10.1021/jacsau.1c00349

Schlögl, Alois, Stefano Elefante, Andrei Hornoiu, and Stephan Stadlbauer. “Managing Software on a Heterogenous HPC Cluster.”https://doi.org/10.3359/2021hpc__In ASHP – Austrian-Slovenian HPC Meeting 2021, 5. University of Ljubljana, 2021.https://doi.org/10.3359/2021hpc .
LibreCat: https://research-explorer.ista.ac.at/record/12909
DOI: 10.3359/2021hpc

Peste, Elena-Alexandra, Eugenia B Iofinova, Adrian Vladu, and Dan-Adrian Alistarh. “AC/DC: Alternating Compressed/DeCompressed Training of Deep Neural Networks.” In 35th Conference on Neural Information Processing Systems, 34:8557–70. Curran Associates, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/11458
arXiv: 2106.12379

Brooks, Morris, Mikhail Lemeshko, Douglas Lundholm, and Enderalp Yakaboylu. “Emergence of Anyons on the Two-Sphere in Molecular Impurities.”https://doi.org/10.3390/atoms9040106__Atoms. MDPI, 2021.https://doi.org/10.3390/atoms9040106 .
LibreCat: https://research-explorer.ista.ac.at/record/10585
DOI: 10.3390/atoms9040106
arXiv: 2108.06966

Alimisis, Foivos, Peter Davies, and Dan-Adrian Alistarh. “Communication-Efficient Distributed Optimization with Quantized Preconditioners.” In Proceedings of the 38th International Conference on Machine Learning, 139:196–206. ML Research Press, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/13147
arXiv: 2102.07214

Nguyen, Quynh, Marco Mondelli, and Guido Montufar. “Tight Bounds on the Smallest Eigenvalue of the Neural Tangent Kernel for Deep ReLU Networks.” In Proceedings of the 38th International Conference on Machine Learning, 139:8119–29. ML Research Press, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/13146
arXiv: 2012.11654

Henzinger, Thomas A, Mathias Lechner, and Dorde Zikelic. “Scalable Verification of Quantized Neural Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:3787–95. AAAI Press, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10665
arXiv: 2012.08185

Lechner, Mathias, Ðore dikeli, Krishnendu Chatterjee, and Thomas A Henzinger. “Infinite Time Horizon Safety of Bayesian Neural Networks.”https://doi.org/10.48550/arXiv.2111.03165__In 35th Conference on Neural Information Processing Systems, 2021.https://doi.org/10.48550/arXiv.2111.03165 .
LibreCat: https://research-explorer.ista.ac.at/record/10667
DOI: 10.48550/arXiv.2111.03165
arXiv: 2111.03165

McCartney, Daniel L, Robert F Hillary, Eleanor LS Conole, Daniel Trejo Banos, Danni A Gadd, Rosie M Walker, Cliff Nangle, et al. “Blood-Based Epigenome-Wide Analyses of Cognitive Abilities.”https://doi.org/10.5281/ZENODO.5794028__Zenodo, 2021.https://doi.org/10.5281/ZENODO.5794028 .
LibreCat: https://research-explorer.ista.ac.at/record/13072
DOI: 10.5281/ZENODO.5794028

Randriamanantsoa, Samuel, Aristeidis Papargyriou, Carlo Maurer, Katja Peschke, Maximilian Schuster, Giulia Zecchin, Katja Steiger, et al. “Spatiotemporal Dynamics of Self-Organized Branching in Pancreas-Derived Organoids.”https://doi.org/10.5281/ZENODO.5148117__Zenodo, 2021.https://doi.org/10.5281/ZENODO.5148117 .
LibreCat: https://research-explorer.ista.ac.at/record/13068
DOI: 10.5281/ZENODO.5148117

Fredes Tolorza, Felipe A, Maria A Silva Sifuentes, Peter Koppensteiner, Kenta Kobayashi, Maximilian A Jösch, and Ryuichi Shigemoto. “Ventro-Dorsal Hippocampal Pathway Gates Novelty-Induced Contextual Memory Formation.”https://doi.org/10.1016/j.cub.2020.09.074__Current Biology. Elsevier, 2021.https://doi.org/10.1016/j.cub.2020.09.074 .
LibreCat: https://research-explorer.ista.ac.at/record/7551
DOI: 10.1016/j.cub.2020.09.074
WoS: 000614361000020

Lombardi, Fabrizio, Oren Shriki, Hans J Herrmann, and Lucilla de Arcangelis. “Long-Range Temporal Correlations in the Broadband Resting State Activity of the Human Brain Revealed by Neuronal Avalanches.”https://doi.org/10.1016/j.neucom.2020.05.126__Neurocomputing. Elsevier, 2021.https://doi.org/10.1016/j.neucom.2020.05.126 .
LibreCat: https://research-explorer.ista.ac.at/record/7463
DOI: 10.1016/j.neucom.2020.05.126
WoS: 000704086300015

Samarasinghe, Ranmal A., Osvaldo Miranda, Jessie E. Buth, Simon Mitchell, Isabella Ferando, Momoko Watanabe, Arinnae Kurdian, et al. Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids. Vol. 24. Springer Nature, 2021.https://doi.org/10.1038/s41593-021-00906-5 .
LibreCat: https://research-explorer.ista.ac.at/record/6995
DOI: 10.1038/s41593-021-00906-5
WoS: 000687516300001
PMID: 34426698 

Rychlewicz, Kamil P. “The Positivity of Local Equivariant Hirzebruch Class for Toric Varieties.”https://doi.org/10.1112/blms.12442__Bulletin of the London Mathematical Society. Wiley, 2021.https://doi.org/10.1112/blms.12442 .
LibreCat: https://research-explorer.ista.ac.at/record/6965
DOI: 10.1112/blms.12442
WoS: 000594805800001
arXiv: 1910.10435

Zenke, Friedemann, and Tim P Vogels. “The Remarkable Robustness of Surrogate Gradient Learning for Instilling Complex Function in Spiking Neural Networks.”https://doi.org/10.1162/neco_a_01367__Neural Computation. MIT Press, 2021.https://doi.org/10.1162/neco_a_01367 .
LibreCat: https://research-explorer.ista.ac.at/record/8253
DOI: 10.1162/neco_a_01367
WoS: 000663433900003
PMID: 33513328