Safety and liveness of quantitative automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

On the origin and structure of haplotype blocks
D. Shipilina, A. Pal, S. Stankowski, Y.F. Chan, N.H. Barton, Molecular Ecology 32 (2023) 1441–1457.

Radical single-molecule junctions
L. Li, C.R. Prindle, W. Shi, C. Nuckolls, L. Venkataraman, Journal of the American Chemical Society 145 (2023) 18182–18204.

Nitrogen atom insertion into indenes to access isoquinolines
P. Finkelstein, J. Reisenbauer, B.B. Botlik, O. Green, A. Florin, B. Morandi, Chemical Science 14 (2023) 2954–2959.

Mechanistic investigation of the nickel-catalyzed transfer hydrocyanation of alkynes
J. Reisenbauer, P. Finkelstein, M.-O. Ebert, B. Morandi, ACS Catalysis 13 (2023) 11548–11555.

Direct access to quinazolines and pyrimidines from unprotected indoles and pyrroles through nitrogen atom insertion
J. Reisenbauer, A.-S.K. Paschke, J. Krizic, B.B. Botlik, P. Finkelstein, B. Morandi, Organic Letters 25 (2023) 8419–8423.

Deaminative coupling of benzylamines and arylboronic acids
G. Sirvinskaite, J. Reisenbauer, B. Morandi, Chemical Science 14 (2023) 1709–1714.

Monitoring and active stabilization of laser injection locking using beam ellipticity
U. Mishra, V. Li, S. Wald, S. Agafonova, F.R. Diorico, O. Hosten, Optics Letters 48 (2023) 3973–3976.

Control of tissue development by morphogens
A. Kicheva, J. Briscoe, Annual Review of Cell and Developmental Biology 39 (2023) 91–121.

Bias in pruned vision models: In-depth analysis and countermeasures
E.B. Iofinova, A. Krumes, D.-A. Alistarh, in:, 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2023, pp. 24364–24373.

Efficiency and generalization of sparse neural networks
A. Krumes, Efficiency and Generalization of Sparse Neural Networks, Institute of Science and Technology Austria, 2023.

Principles of neural stem cell lineage progression: Insights from developing cerebral cortex
S. Hippenmeyer, Current Opinion in Neurobiology 79 (2023).

Hypernode automata
E. Bartocci, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

Entangling microwaves with light
R. Sahu, L. Qiu, W.J. Hease, G.M. Arnold, Y. Minoguchi, P. Rabl, J.M. Fink, Science 380 (2023) 718–721.

Entangling microwaves with light
R. Sahu, (2023).

Compact vacuum-gap transmon qubits: Selective and sensitive probes for superconductor surface losses
M. Zemlicka, E. Redchenko, M. Peruzzo, F. Hassani, A. Trioni, S. Barzanjeh, J.M. Fink, Physical Review Applied 20 (2023).

Inductively shunted transmons exhibit noise insensitive plasmon states and a fluxon decay exceeding 3 hours
F. Hassani, M. Peruzzo, L. Kapoor, A. Trioni, M. Zemlicka, J.M. Fink, Nature Communications 14 (2023).

Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.

Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.

Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action
L. Qiu, R. Sahu, W.J. Hease, G.M. Arnold, J.M. Fink, Nature Communications 14 (2023).