Faster algorithms for bounded liveness in graphs and game graphs
K. Chatterjee, M. Henzinger, S.S. Kale, A. Svozil, in:, 48th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.

A Ramsey theorem for finite monoids
I.R. Jecker, in:, 38th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.

Brief announcement: Sinkless orientation is hard also in the supported LOCAL model
J. Korhonen, A. Paz, J. Rybicki, S. Schmid, J. Suomela, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.

Lower bounds for shared-memory leader election under bounded write contention
D.-A. Alistarh, R. Gelashvili, G. Nadiradze, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.

Brief announcement: Non-blocking dynamic unbounded graphs with worst-case amortized bounds
B. Chatterjee, S. Peri, M. Sa, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.

Haplotype tagging reveals parallel formation of hybrid races in two butterfly species
J.I. Meier, P.A. Salazar, M. Kudka, R.W. Davies, A. Dréau, I. Aldás, O.B. Power, N.J. Nadeau, J.R. Bridle, C. Rolian, N.H. Barton, W.O. McMillan, C.D. Jiggins, Y.F. Chan, Proceedings of the National Academy of Sciences of the United States of America 118 (2021).

Designing self-assembling kinetics with differentiable statistical physics models
C.P. Goodrich, E.M. King, S.S. Schoenholz, E.D. Cubuk, M.P. Brenner, Proceedings of the National Academy of Sciences of the United States of America 118 (2021).

Naphthylphthalamic acid associates with and inhibits PIN auxin transporters
L. Abas, M. Kolb, J. Stadlmann, D.P. Janacek, K. Lukic, C. Schwechheimer, L.A. Sazanov, L. Mach, J. Friml, U.Z. Hammes, Proceedings of the National Academy of Sciences of the United States of America 118 (2021).

Massively winning configurations in the convex grabbing game on the plane
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, Canadian Conference on Computational Geometry, 2021.

Minimally invasive protocols and quantification for microglia-mediated perineuronal net disassembly in mouse brain
A. Venturino, S. Siegert, STAR Protocols 2 (2021).

Extracellular hyaluronate pressure shaped by cellular tethers drives tissue morphogenesis
A. Munjal, E.B. Hannezo, T.Y.C. Tsai, T.J. Mitchison, S.G. Megason, Cell 184 (2021) 6313–6325.e18.

On the dynamic slip boundary condition for Navier-Stokes-like problems
A. Abbatiello, M. Bulídek, E. Maringová, Mathematical Models and Methods in Applied Sciences 31 (2021) 2165–2212.

Geometric superinductance qubits: Controlling phase delocalization across a single Josephson junction
M. Peruzzo, F. Hassani, G. Szep, A. Trioni, E. Redchenko, M. Zemlicka, J.M. Fink, PRX Quantum 2 (2021) 040341.

Geometric superinductance qubits: Controlling phase delocalization across a single Josephson junction
M. Peruzzo, F. Hassani, G. Szep, A. Trioni, E. Redchenko, M. Zemlicka, J.M. Fink, (2021).

Discrete-to-continuum limits of transport problems and gradient flows in the space of measures
L. Portinale, Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures, Institute of Science and Technology Austria, 2021.

A non-commutative entropic optimal transport approach to quantum composite systems at positive temperature
D. Feliciangeli, A. Gerolin, L. Portinale, ArXiv (n.d.).

Geometric superinductors and their applications in circuit quantum electrodynamics
M. Peruzzo, Geometric Superinductors and Their Applications in Circuit Quantum Electrodynamics, Institute of Science and Technology Austria, 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.

Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.

Area-law entangled eigenstates from nullspaces of local Hamiltonians
V. Karle, M. Serbyn, A. Michailidis, Physical Review Letters 127 (2021).