Surface chemistry and band engineering in AgSbSe: Toward high thermoelectric performance
Y. Liu, M. Li, S. Wan, K.H. Lim, Y. Zhang, M. Li, J. Li, M. Ibáñez, M. Hong, A. Cabot, ACS Nano 17 (2023) 11923–11934.

Phosphorous incorporation into palladium tin nanoparticles for the electrocatalytic formate oxidation reaction
G. Montaña-Mora, X. Qi, X. Wang, J. Chacón-Borrero, P.R. Martinez-Alanis, X. Yu, J. Li, Q. Xue, J. Arbiol, M. Ibáñez, A. Cabot, Journal of Electroanalytical Chemistry 936 (2023).

Widening the use of 3D printing
D. Balazs, M. Ibáñez, Science 381 (2023) 1413–1414.

Pathogen evasion of social immunity
M. Stock, B. Milutinovic, M. Hönigsberger, A.V. Grasse, F. Wiesenhofer, N. Kampleitner, M. Narasimhan, T. Schmitt, S. Cremer, Nature Ecology and Evolution 7 (2023) 450–460.

Dynamic pathogen detection and social feedback shape collective hygiene in ants
B.E. Casillas Perez, K. Bodova, A.V. Grasse, G. Tkadik, S. Cremer, Nature Communications 14 (2023).

Data from: "Dynamic pathogen detection and social feedback shape collective hygiene in ants" 
S. Cremer, (2023).

Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions
M. Nardin, K. Käfer, F. Stella, J.L. Csicsvari, Cell Reports 42 (2023).

A learner-verifier framework for neural network controllers and certificates of stochastic systems
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.

On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).

Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, D. Rus, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–14973.

Learning provably stabilizing neural controllers for discrete-time stochastic systems
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.

Yolk granule fusion and microtubule aster formation regulate cortical granule translocation and exocytosis in zebrafish oocytes
S. Shamipour, L. Hofmann, I. Steccari, R. Kardos, C.-P.J. Heisenberg, PLoS Biology 21 (2023) e3002146.

CrAM: A Compression-Aware Minimizer
A. Krumes, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , OpenReview, 2023.

Reachability poorman discrete-bidding games
G. Avni, T. Meggendorfer, S. Sadhukhan, J. Tkadlec, D. Zikelic, in:, Frontiers in Artificial Intelligence and Applications, IOS Press, 2023, pp. 141–148.

MDPs as distribution transformers: Affine invariant synthesis for safety objectives
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.

Bidding graph games with partially-observable budgets
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.

Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations
Z. Zeng, F. Wodaczek, K. Liu, F. Stein, J. Hutter, J. Chen, B. Cheng, Nature Communications 14 (2023).

Phenotype control of partially specified boolean networks
N. Benes, L. Brim, S. Pastva, D. Safránek, E. Smijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.

Homological Bondal-Orlov localization conjecture for rational singularities
M. Mauri, E. Shinder, Forum of Mathematics, Sigma 11 (2023).

Spin-charge correlations in finite one-dimensional multiband Fermi systems
J.M. Becker, G. Koutentakis, P. Schmelcher, Physical Review Research 5 (2023).