FORQ-based language inclusion formal testing
K. Doveri, P. Ganty, N.A. Mazzocchi, in:, Computer Aided Verification, Springer Nature, 2022, pp. 109–129.

Loop Grassmannians of Quivers and Affine Quantum Groups
I. Mirkovi, Y. Yang, G. Zhao, in:, V. Baranovskky, N. Guay, T. Schedler (Eds.), Representation Theory and Algebraic Geometry, 1st ed., Springer Nature; Birkhäuser, Cham, 2022, pp. 347–392.

Sharp criteria for the waiting time phenomenon in solutions to the thin-film equation
N. De Nitti, J.L. Fischer, Communications in Partial Differential Equations 47 (2022) 1394–1434.

Convergence of the Allen--Cahn equation with a nonlinear Robin boundary condition to mean curvature flow with contact angle close to 90°
H. Abels, M. Moser, SIAM Journal on Mathematical Analysis 54 (2022) 114–172.

Tangible topology through the lens of limits
B.A. Shipman, E.R. Stephenson, PRIMUS 32 (2022) 593–609.

Common valuations of division polynomials
B. Naskrcki, M. Verzobio, ArXiv (n.d.).

Efficient coding theory of dynamic attentional modulation
W.F. Mlynarski, G. Tkadik, PLoS Biology 20 (2022) e3001889.

Adaptation dynamics between copynumber and point mutations
I. Tomanek, C.C. Guet, ELife 11 (2022).

Flow cytometry YFP and CFP data and deep sequencing data of populations evolving in galactose
I. Tomanek, C.C. Guet, (2022).

Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting
G. Sperl, Homogenizing Yarn Simulations: Large-Scale Mechanics, Small-Scale Detail, and Quantitative Fitting, Institute of Science and Technology Austria, 2022.

Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder
C. Dotter, Transcriptional Consequences of Mutations in Genes Associated with Autism Spectrum Disorder, Institute of Science and Technology Austria, 2022.

Controllable states of superconducting Qubit ensembles
E. Redchenko, Controllable States of Superconducting Qubit Ensembles, Institute of Science and Technology Austria, 2022.

Remodeling of E-cadherin-mediated contacts via cortical  flows
F.N. Arslan, Remodeling of E-Cadherin-Mediated Contacts via Cortical  Flows, Institute of Science and Technology Austria, 2022.

MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes
G. Colombo, MorphOMICs, a Tool for Mapping Microglial Morphology, Reveals Brain Region- and Sex-Dependent Phenotypes, Institute of Science and Technology Austria, 2022.

Translation-invariant quantum systems with effectively broken symmetry
M. Brooks, Translation-Invariant Quantum Systems with Effectively Broken Symmetry, Institute of Science and Technology Austria, 2022.

Role of microenvironment heterogeneity in cancer cell invasion
S. Tasciyan, Role of Microenvironment Heterogeneity in Cancer Cell Invasion, Institute of Science and Technology Austria, 2022.

Hidden degrees of freedom in implicit vortex filaments
S. Ishida, C. Wojtan, A. Chern, ACM Transactions on Graphics 41 (2022).

Solving the Hamilton cycle problem fast on average
M. Anastos, in:, 63rd Annual IEEE Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2022, pp. 919–930.

VoRF: Volumetric Relightable Faces
P. Rao, M. B R, G. Fox, T. Weyrich, B. Bickel, H.-P. Seidel, H. Pfister, W. Matusik, A. Tewari, C. Theobalt, M. Elgharib, in:, 33rd British Machine Vision Conference, British Machine Vision Association and Society for Pattern Recognition, 2022.

Approximate message passing with spectral initialization for generalized linear models
M. Mondelli, R. Venkataramanan, Journal of Statistical Mechanics: Theory and Experiment 2022 (2022).