Bubaak: Runtime monitoring of program verifiers
M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 535–540.

Vamos: Middleware for best-effort third-party monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2023, pp. 260–281.

Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels
S. Bombari, S. Kiyani, M. Mondelli, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 2738–2776.

Uncovering the organization of neural circuits with Generalized Phase Locking Analysis
S. Safavi, T.I. Panagiotaropoulos, V. Kapoor, J.F. Ramirez Villegas, N.K. Logothetis, M. Besserve, PLoS Computational Biology 19 (2023).

Pollution impact on metal and biomarker responses in intestinal cytosol of freshwater fish
V. Filipovi Mariji, N. Krasnici, D. Vali, D. Kapetanovi, I. Vardi Smrzli, M. Jordanova, K. Rebok, S. Ramani, V. Kostov, R. Nastova, Z. Dragun, Environmental Science and Pollution Research 30 (2023) 63510–63521.

Altered childhood brain development in autism and epilepsy
C. Currin, C. Beyer, in:, B. Halpern-Felsher (Ed.), Encyclopedia of Child and Adolescent Health, 1st ed., Elsevier, 2023, pp. 86–98.

Research data for: A stochastic cellular automaton model of culture formation
F.R. Klausen, A.B. Lauritsen, (2023).

Boolean network sketches: A unifying framework for logical model inference
N. Benes, L. Brim, O. Huvar, S. Pastva, D. Safránek, Bioinformatics 39 (2023).

Marked Length Spectral determination of analytic chaotic billiards with axial symmetries
J. De Simoi, V. Kaloshin, M. Leguil, Inventiones Mathematicae 233 (2023) 829–901.

Salicylic acid inhibits rice endocytic protein trafficking mediated by OsPIN3t and clathrin to affect root growth
L. Jiang, B. Yao, X. Zhang, L. Wu, Q. Fu, Y. Zhao, Y. Cao, R. Zhu, X. Lu, W. Huang, J. Zhao, K. Li, S. Zhao, L. Han, X. Zhou, C. Luo, H. Zhu, J. Yang, H. Huang, Z. Zhu, X. He, J. Friml, Z. Zhang, C. Liu, Y. Du, Plant Journal 115 (2023) 155–174.

Physics-inspired machine learning of localized intensive properties
K. Chen, C. Kunkel, B. Cheng, K. Reuter, J.T. Margraf, Chemical Science (2023).

Lamin  overexpression alters chromatin organization and gene expression
J.M. Kaneshiro, J.S. Capitanio, M. Hetzer, Nucleus 14 (2023).

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.

Stochastic cellular automaton model of culture formation
F.R. Klausen, A.B. Lauritsen, Physical Review E 108 (2023).

Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues
A. Schauer, Mesendoderm Formation in Zebrafish Gastrulation: The Role of Extraembryonic Tissues, Institute of Science and Technology Austria, 2023.

Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models
C. Hafner, Inverse Shape Design with Parametric Representations: Kirchhoff Rods and Parametric Surface Models, Institute of Science and Technology Austria, 2023.

A non-commutative entropic optimal transport approach to quantum composite systems at positive temperature
D. Feliciangeli, A. Gerolin, L. Portinale, Journal of Functional Analysis 285 (2023).

Computing chemical potentials of adsorbed or confined fluids
R. Schmid, B. Cheng, The Journal of Chemical Physics 158 (2023).

Symmetry-broken Josephson junctions and superconducting diodes in magic-angle twisted bilayer graphene
J. Díez-Mérida, A. Díez-Carlón, S.Y. Yang, Y.M. Xie, X.J. Gao, J.L. Senior, K. Watanabe, T. Taniguchi, X. Lu, A.P. Higginbotham, K.T. Law, D.K. Efetov, Nature Communications 14 (2023).

Numerical quantum clock simulations for measuring tunneling times
F. Suzuki, W.G. Unruh, Physical Review A 107 (2023).