Clark, T., Drach, K., Kozlovski, O., &; Strien, S. V. (2022). The dynamics of complex box mappings. Arnold Mathematical Journal. Springer Nature.https://doi.org/10.1007/s40598-022-00200-7 

Zinn, J. C., Stello, D., Elsworth, Y., García, R. A., Kallinger, T., Mathur, S.,https://doi.org/10.3847/1538-4357/ac2c83__Silva Aguirre, V. (2022). The K2 Galactic Archaeology Program data release 3: Age-abundance patterns in – and 0–8. The Astrophysical Journal. IOP Publishing.https://doi.org/10.3847/1538-4357/ac2c83 

Hanauer, K., Henzinger, M. H., &; Hua, Q. C. (2022). Fully dynamic four-vertex subgraph counting. In 1st Symposium on Algorithmic Foundations of Dynamic Networks (Vol. 221). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SAND.2022.18 

Henzinger, M. H., Lincoln, A., &; Saha, B. (2022). The complexity of average-case dynamic subgraph counting. In 33rd Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 459–498). Alexandria, VA, United States: Society for Industrial and Applied Mathematics.https://doi.org/10.1137/1.9781611977073.23 

Polyanskii, N., &; Zhang, Y. (2022). List-decodable zero-rate codes for the Z-channel. In 2022 IEEE International Symposium on Information Theory (Vol. 2022, pp. 2553–2558). Espoo, Finland: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/ISIT50566.2022.9834829 

Shute, A. L. (2022). Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12072 

Garcia Soto, M., Henzinger, T. A., &; Schilling, C. (2022). Synthesis of parametric hybrid automata from time series. In 20th International Symposium on Automated Technology for Verification and Analysis (Vol. 13505, pp. 337–353). Virtual: Springer Nature.https://doi.org/10.1007/978-3-031-19992-9_22 

Das, S., Yurek, T., Xiang, Z., Miller, A., Kokoris Kogias, E., &; Ren, L. (2022). Practical asynchronous distributed key generation. In 2022 IEEE Symposium on Security and Privacy (pp. 2518–2534). San Francisco, CA, United States: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/sp46214.2022.9833584 

Mirkovi, I., Yang, Y., &; Zhao, G. (2022). Loop Grassmannians of Quivers and Affine Quantum Groups. In V. Baranovskky, N. Guay, &; T. Schedler (Eds.), Representation Theory and Algebraic Geometry (1st ed., pp. 347–392). Cham: Springer Nature; Birkhäuser.https://doi.org/10.1007/978-3-030-82007-7_8 

Banerjee, T., Majumdar, R., Mallik, K., Schmuck, A.-K., &; Soudjani, S. (2022). A direct symbolic algorithm for solving stochastic rabin games. In 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13244, pp. 81–98). Munich, Germany: Springer Nature.https://doi.org/10.1007/978-3-030-99527-0_5 

Miles, E. S., Steiner, J. F., Buri, P., Immerzeel, W. W., &; Pellicciotti, F. (2022). Controls on the relative melt rates of debris-covered glacier surfaces. Environmental Research Letters. IOP Publishing.https://doi.org/10.1088/1748-9326/ac6966 

Kneib, M., Miles, E. S., Buri, P., Fugger, S., McCarthy, M., Shaw, T. E.,https://doi.org/10.5194/tc-16-4701-2022__Pellicciotti, F. (2022). Sub-seasonal variability of supraglacial ice cliff melt rates and associated processes from time-lapse photogrammetry. The Cryosphere. Copernicus Publications.https://doi.org/10.5194/tc-16-4701-2022 

Prach, B., &; Lampert, C. (2022). Almost-orthogonal layers for efficient general-purpose Lipschitz networks. In Computer Vision – ECCV 2022 (Vol. 13681, pp. 350–365). Tel Aviv, Israel: Springer Nature.https://doi.org/10.1007/978-3-031-19803-8_21 

Schlögl, A., Hornoiu, A., Elefante, S., &; Stadlbauer, S. (2022). Where is the sweet spot? A procurement story of general purpose compute nodes. In ASHP - Austrian-Slovenian HPC Meeting 2022 (p. 7). Grundlsee, Austria: EuroCC Austria c/o Universität Wien.https://doi.org/10.25365/phaidra.337 

Wild, P. (2022). High-dimensional expansion and crossing numbers of simplicial complexes. Institute of Science and Technology.https://doi.org/10.15479/at:ista:11777 

Matejovicova, L. (2022). Genetic basis of flower colour as a model for adaptive evolution. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11128 

Cai, J., Zhang, W., Xu, L., Hao, C., Ma, W., Sun, M.,https://doi.org/10.1038/s41565-022-01079-3__Kuang, H. (2022). Polarization-sensitive optoionic membranes from chiral plasmonic nanoparticles. Nature Nanotechnology. Springer Nature.https://doi.org/10.1038/s41565-022-01079-3 

Wang, R., Himschoot, E., Grenzi, M., Chen, J., Safi, A., Krebs, M.,https://doi.org/10.1093/jxb/erac019__Vanneste, S. (2022). Auxin analog-induced C+ signaling is independent of inhibition of endosomal aggregation in Arabidopsis roots. Journal of Experimental Botany. Oxford Academic.https://doi.org/10.1093/jxb/erac019 

Cao, Y., &; Huang, Z. (2022). Arithmetic purity of the Hardy-Littlewood property and geometric sieve for affine quadrics. Advances in Mathematics. Elsevier.https://doi.org/10.1016/j.aim.2022.108236 

Patakova, Z., Tancer, M., &; Wagner, U. (2022). Barycentric cuts through a convex body. Discrete and Computational Geometry. Springer Nature.https://doi.org/10.1007/s00454-021-00364-7 

Dahhan, D., Reynolds, G., Cárdenas, J., Eeckhout, D., Johnson, A. J., Yperman, K.,https://doi.org/10.1093/plcell/koac071__Bednarek, S. (2022). Proteomic characterization of isolated Arabidopsis clathrin-coated vesicles reveals evolutionarily conserved and plant-specific components. Plant Cell. Oxford Academic.https://doi.org/10.1093/plcell/koac071 

Lu, Q., Zhang, Y., Hellner, J., Giannini, C., Xu, X., Pauwels, J.,https://doi.org/10.1073/pnas.2118220119__Russinova, E. (2022). Proteome-wide cellular thermal shift assay reveals unexpected cross-talk between brassinosteroid and auxin signaling. Proceedings of the National Academy of Sciences of the United States of America. Proceedings of the National Academy of Sciences.https://doi.org/10.1073/pnas.2118220119 

Henzinger, T. A. (2022). Quantitative monitoring of software. In Software Verification (Vol. 13124, pp. 3–6). New Haven, CT, United States: Springer Nature.https://doi.org/10.1007/978-3-030-95561-8_1 

Schnelli, K., &; Xu, Y. (2022). Convergence rate to the Tracy–Widom laws for the largest Eigenvalue of Wigner matrices. Communications in Mathematical Physics. Springer Nature.https://doi.org/10.1007/s00220-022-04377-y 

Danezis, G., Kokoris Kogias, E., Sonnino, A., &; Spiegelman, A. (2022). Narwhal and Tusk: A DAG-based mempool and efficient BFT consensus. In Proceedings of the 17th European Conference on Computer Systems (pp. 34–50). Rennes, France: Association for Computing Machinery.https://doi.org/10.1145/3492321.3519594 

Dranenko, N., Tutukina, M., Gelfand, M., Kondrashov, F., &; Bochkareva, O. (2022). Chromosome-encoded IpaH ubiquitin ligases indicate non-human enteroinvasive Escherichia. Scientific Reports. Springer Nature.https://doi.org/10.1038/s41598-022-10827-3 

Brown, T. A., Sigouin, W., &; Alistarh, D.-A. (2022). PathCAS: An efficient middle ground for concurrent search data structures. In Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 385–399). Seoul, Republic of Korea: Association for Computing Machinery.https://doi.org/10.1145/3503221.3508410 

Kwan, M. A., Sah, A., &; Sawhney, M. (2022). Large deviations in random latin squares. Bulletin of the London Mathematical Society. Wiley.https://doi.org/10.1112/blms.12638 

Sigillito, A. J., Covey, J. P., Fink, J. M., Petersson, K., &; Preble, S. (2022). Emerging qubit systems: Guest editorial. Applied Physics Letters. American Institute of Physics.https://doi.org/10.1063/5.0097339 

Schaaf, Z. A., Tat, L., Cannizzaro, N., Green, R., Rülicke, T., Hippenmeyer, S., &; Zarbalis, K. S. (2022). WDF mutation alters laminar position and morphology of cortical neurons. Molecular Autism. Springer Nature.https://doi.org/10.1186/s13229-022-00508-3 

Alwen, J., Auerbach, B., Cueto Noval, M., Klein, K., Pascual Perez, G., Pietrzak, K. Z., &; Walter, M. (2022). CoCoA: Concurrent continuous group key agreement. In Advances in Cryptology – EUROCRYPT 2022 (Vol. 13276, pp. 815–844). Cham: Springer Nature.https://doi.org/10.1007/978-3-031-07085-3_28 

Zhang, R., Kuo, R., Coulter, M., Calixto, C. P. G., Entizne, J. C., Guo, W.,https://doi.org/10.1186/s13059-022-02711-0__Brown, J. W. S. (2022). A high-resolution single-molecule sequencing-based Arabidopsis transcriptome using novel methods of Iso-seq analysis. Genome Biology. BioMed Central.https://doi.org/10.1186/s13059-022-02711-0 

Balliu, A., Hirvonen, J., Melnyk, D., Olivetti, D., Rybicki, J., &; Suomela, J. (2022). Local mending. In M. Parter (Ed.), International Colloquium on Structural Information and Communication Complexity (Vol. 13298, pp. 1–20). Paderborn, Germany: Springer Nature.https://doi.org/10.1007/978-3-031-09993-9_1 

Kmentt, P., &; Shute, A. L. (2022). The Bertini irreducibility theorem for higher codimensional slices. Finite Fields and Their Applications. Elsevier.https://doi.org/10.1016/j.ffa.2022.102085 

Chang, C., Liu, Y., Lee, S., Spadaro, M., Koskela, K. M., Kleinhanns, T.,https://doi.org/10.1002/anie.202207002__Ibáñez, M. (2022). Surface functionalization of surfactant-free particles: A strategy to tailor the properties of nanocomposites for enhanced thermoelectric performance. Angewandte Chemie - International Edition. Wiley.https://doi.org/10.1002/anie.202207002 

Orliac, E. J., Trejo Banos, D., Ojavee, S. E., Läll, K., Mägi, R., Visscher, P. M., &; Robinson, M. R. (2022). Improving GWAS discovery and genomic prediction accuracy in biobank data. Proceedings of the National Academy of Sciences of the United States of America. Proceedings of the National Academy of Sciences.https://doi.org/10.1073/pnas.2121279119 

Cooley, O., Del Giudice, N., Kang, M., &; Sprüssel, P. (2022). Phase transition in cohomology groups of non-uniform random simplicial complexes. Electronic Journal of Combinatorics. Electronic Journal of Combinatorics.https://doi.org/10.37236/10607 

Agresti, A., &; Veraar, M. (2022). Nonlinear parabolic stochastic evolution equations in critical spaces part II. Journal of Evolution Equations. Springer Nature.https://doi.org/10.1007/s00028-022-00786-7 

Liu, J., Marensi, E., &; Wu, X. (2022). Effects of streaky structures on the instability of supersonic boundary layers. In S. Sherwin, P. Schmid, &; X. Wu (Eds.), IUTAM Laminar-Turbulent Transition (1st ed., Vol. 38, pp. 587–598). Cham: Springer Nature.https://doi.org/10.1007/978-3-030-67902-6_51 

Orliac, E., Trejo Banos, D., Ojavee, S., Läll, K., Mägi, R., Visscher, P., &; Robinson, M. R. (2022). Improving genome-wide association discovery and genomic prediction accuracy in biobank data. Dryad.https://doi.org/10.5061/DRYAD.GTHT76HMZ 

Henzinger, T. A., Mazzocchi, N. A., &; Sarac, N. E. (2022). Abstract monitors for quantitative specifications. In 22nd International Conference on Runtime Verification (Vol. 13498, pp. 200–220). Tbilisi, Georgia: Springer Nature.https://doi.org/10.1007/978-3-031-17196-3_11 

Konstantinova, N., Hörmayer, L., Glanc, M., Keshkeih, R., Tan, S., Di Donato, M.,https://doi.org/10.1038/s41467-022-32888-8__Luschnig, C. (2022). WAVY GROWTH Arabidopsishttps://doi.org/10.1038/s41467-022-32888-8__ubiquitin ligases affect apical PIN sorting decisions. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-022-32888-8 

Hensel, S., &; Moser, M. (2022). Convergence rates for the Allen–Cahn equation with boundary contact energy: The non-perturbative regime. Calculus of Variations and Partial Differential Equations. Springer Nature.https://doi.org/10.1007/s00526-022-02307-3 

Yang, Z., Xia, J., Hong, J., Zhang, C., Wei, H., Ying, W.,https://doi.org/10.1038/s41586-022-05143-9__Sun, L. (2022). Structural insights into auxin recognition and efflux by Arabidopsis PIN1. Nature. Springer Nature.https://doi.org/10.1038/s41586-022-05143-9 

Henheik, S. J., &; Tumulka, R. (2022). Interior-boundary conditions for the Dirac equation at point sources in three dimensions. Journal of Mathematical Physics. AIP Publishing.https://doi.org/10.1063/5.0104675 

Roca, R., De Meyer, V., &; Muller, C. J. (2022). Precipitating fraction, not intensity, explains extreme coarse-grained precipitation Clausius-Clapeyron scaling with sea surface temperature over tropical oceans. Geophysical Research Letters. Wiley.https://doi.org/10.1029/2022GL100624 

Wagner, U., &; Welzl, E. (2022). Connectivity of triangulation flip graphs in the plane. Discrete &; Computational Geometry. Springer Nature.https://doi.org/10.1007/s00454-022-00436-2 

Ojavee, S. E., Kutalik, Z., &; Robinson, M. R. (2022). Liability-scale heritability estimation for biobank studies of low-prevalence disease. The American Journal of Human Genetics. Elsevier.https://doi.org/10.1016/j.ajhg.2022.09.011 

Cooley, O., Kang, M., &; Pikhurko, O. (2022). On a question of Vera T. Sós about size forcing of graphons. Acta Mathematica Hungarica. Springer Nature.https://doi.org/10.1007/s10474-022-01265-8 

Kovadid, S., Schafzahl, B., Matsko, N. B., Gruber, K., Schmuck, M., Koller, S.,https://doi.org/10.1021/acsaem.2c02787__Slugovc, C. (2022). Carbon foams via ring-opening metathesis polymerization of emulsion templates: A facile method to make carbon current collectors for battery applications. ACS Applied Energy Materials. American Chemical Society.https://doi.org/10.1021/acsaem.2c02787 

Pokusaeva, V., Diez, A. R., Espinar, L., Pérez, A. T., &; Filion, G. J. (2022). Strand asymmetry influences mismatch resolution during single-strand annealing. Genome Biology. Springer Nature.https://doi.org/10.1186/s13059-022-02665-3 

Doan, N., Hashemi, S. A., Mondelli, M., &; Gross, W. J. (2022). Decoding Reed-Muller codes with successive codeword permutations. IEEE Transactions on Communications. Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/tcomm.2022.3211101 

Anastos, M. (2022). Solving the Hamilton cycle problem fast on average. In 63rd Annual IEEE Symposium on Foundations of Computer Science (Vol. 2022–October, pp. 919–930). Denver, CO, United States: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/FOCS54457.2022.00091 

Bogdanov, A., Cueto Noval, M., Hoffmann, C., &; Rosen, A. (2022). Public-Key Encryption from Homogeneous CLWE. In Theory of Cryptography (Vol. 13748, pp. 565–592). Chicago, IL, United States: Springer Nature.https://doi.org/10.1007/978-3-031-22365-5_20 

Agresti, A., Hieber, M., Hussein, A., &; Saal, M. (2022). The stochastic primitive equations with transport noise and turbulent pressure. Stochastics and Partial Differential Equations: Analysis and Computations. Springer Nature.https://doi.org/10.1007/s40072-022-00277-3 

Lechner, M. (2022). Learning verifiable representations. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11362 

Keszthelyi, Z., de Koter, A., Götberg, Y. L. L., Meynet, G., Brands, S. A., Petit, V.,https://doi.org/10.1093/mnras/stac2598__ud-Doula, A. (2022). The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at Solar, LMC, and SMC metallicities. Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stac2598 

Keszthelyi, Z., Koter, A. de, Götberg, Y. L. L., Meynet, G., Brands, S. A., Petit, V.,https://doi.org/10.1093/mnras/stac2598__A. ud-Doula, A. ud-Doula. (2022). The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at solar, LMC, and SMC metallicities. Monthly Notices of the Royal Astronomical Society. Oxford Academic.https://doi.org/10.1093/mnras/stac2598 

Henheik, S. J., &; Lauritsen, A. B. (2022). The BCS energy gap at high density. Journal of Statistical Physics. Springer Nature.https://doi.org/10.1007/s10955-022-02965-9 

Avarikioti, G., Pietrzak, K. Z., Salem, I., Schmid, S., Tiwari, S., &; Yeo, M. X. (2022). Hide &; Seek: Privacy-preserving rebalancing on payment channel networks. In Financial Cryptography and Data Security (Vol. 13411, pp. 358–373). Grenada: Springer Nature.https://doi.org/10.1007/978-3-031-18283-9_17 

Doveri, K., Ganty, P., &; Mazzocchi, N. A. (2022). FORQ-based language inclusion formal testing. In Computer Aided Verification (Vol. 13372, pp. 109–129). Haifa, Israel: Springer Nature.https://doi.org/10.1007/978-3-031-13188-2_6 

Hoffmann, C., Hubádek, P., Kamath, C., Klein, K., &; Pietrzak, K. Z. (2022). Practical statistically-sound proofs of exponentiation in any group. In Advances in Cryptology – CRYPTO 2022 (Vol. 13508, pp. 370–399). Santa Barbara, CA, United States: Springer Nature.https://doi.org/10.1007/978-3-031-15979-4_13 

Gelashvili, R., Kokoris Kogias, E., Sonnino, A., Spiegelman, A., &; Xiang, Z. (2022). Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback. In Financial Cryptography and Data Security (Vol. 13411, pp. 296–315). Radisson Grenada Beach Resort, Grenada: Springer Nature.https://doi.org/10.1007/978-3-031-18283-9_14 

Cohen, S., Gelashvili, R., Kokoris Kogias, E., Li, Z., Malkhi, D., Sonnino, A., &; Spiegelman, A. (2022). Be aware of your leaders. In International Conference on Financial Cryptography and Data Security (Vol. 13411, pp. 279–295). Grenada: Springer Nature.https://doi.org/10.1007/978-3-031-18283-9_13 

Meggendorfer, T. (2022). PET – A partial exploration tool for probabilistic verification. In 20th International Symposium on Automated Technology for Verification and Analysis (Vol. 13505, pp. 320–326). Virtual: Springer Nature.https://doi.org/10.1007/978-3-031-19992-9_20 

Bose, S., Henzinger, T. A., Lehtinen, K., Schewe, S., &; Totzke, P. (2022). History-deterministic timed automata are not determinizable. In 16th International Conference on Reachability Problems (Vol. 13608, pp. 67–76). Kaiserslautern, Germany: Springer Nature.https://doi.org/10.1007/978-3-031-19135-0_5 

Rahaman, N., Weiss, M., Locatello, F., Pal, C., Bengio, Y., Schölkopf, B.,  Ballas, N. (2022). Neural attentive circuits. In 36th Conference on Neural Information Processing Systems (Vol. 35). New Orleans, United States.

Arroyo Guevara, A. M., &; Felsner, S. (2022). Approximating the bundled crossing number. In WALCOM 2022: Algorithms and Computation (Vol. 13174, pp. 383–395). Jember, Indonesia: Springer Nature.https://doi.org/10.1007/978-3-030-96731-4_31 

Confavreux, B. J., &; Vogels, T. P. (2022). A familiar thought: Machines that replace us? Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2022.01.014 

Su, L., Wang, D., Wang, S., Qin, B., Wang, Y., Qin, Y.,https://doi.org/10.1126/science.abn8997__Zhao, L. D. (2022). High thermoelectric performance realized through manipulating layered phonon-electron decoupling. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.abn8997 

Konstantinov, N. H. (2022). Robustness and fairness in machine learning. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:10799 

Schaaf, Z., Tat, L., Cannizzaro, N., Green, R., Rülicke, T., Hippenmeyer, S., &; Zarbalis, K. (n.d.). WDF cell autonomously controls neuronal migration. Research Square.https://doi.org/10.21203/rs.3.rs-1316167/v1 

Ivanov, G., &; Naszodi, M. (2022). A quantitative Helly-type theorem: Containment in a homothet. SIAM Journal on Discrete Mathematics. Society for Industrial and Applied Mathematics.https://doi.org/10.1137/21M1403308 

Bartalska, K., Hübschmann, V., Korkut, M., Cubero, R. J., Venturino, A., Rössler, K.,https://doi.org/10.1016/j.isci.2022.104580__Siegert, S. (2022). A systematic characterization of microglia-like cell occurrence during retinal organoid differentiation. IScience. Elsevier.https://doi.org/10.1016/j.isci.2022.104580 

Gallei, M. C. (2022). Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11626 

Chatterjee, K., Goharshady, A. K., Meggendorfer, T., &; Zikelic, D. (2022). Sound and complete certificates for auantitative termination analysis of probabilistic programs. In Proceedings of the 34th International Conference on Computer Aided Verification (Vol. 13371, pp. 55–78). Haifa, Israel: Springer.https://doi.org/10.1007/978-3-031-13185-1_4 

Zikelic, D., Lechner, M., Henzinger, T. A., &; Chatterjee, K. (n.d.). Learning control policies for stochastic systems with reach-avoid guarantees. arXiv.https://doi.org/10.48550/ARXIV.2210.05308 

Sperl, G. (2022). Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12103 

Rzadkowski, W. (2022). Analytic and machine learning approaches to composite quantum impurities. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:10759 

Fischer, J. L., &; Marveggio, A. (n.d.). Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow. arXiv.https://doi.org/10.48550/ARXIV.2203.17143 

Tsygankov, S. S., Doroshenko, V., Poutanen, J., Heyl, J., Mushtukov, A. A., Caiazzo, I.,https://doi.org/10.3847/2041-8213/aca486__Zane, S. (2022). The x-ray polarimetry view of the accreting pulsar Cen X-3. The Astrophysical Journal Letters. American Astronomical Society.https://doi.org/10.3847/2041-8213/aca486 

Arslan, F. N. (2022). Remodeling of E-cadherin-mediated contacts via cortical  flows. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12153 

Weighill, T., Yamauchi, T., &; Zava, N. (2022). Coarse infinite-dimensionality of hyperspaces of finite subsets. European Journal of Mathematics. Springer Nature.https://doi.org/10.1007/s40879-021-00515-3 

Artner, C. (2022). Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11879 

Jevtic, M. (2022). Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11393 

Redchenko, E. (2022). Controllable states of superconducting Qubit ensembles. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12132 

Belohlavy, S. (2022). The genetic basis of complex traits studied via analysis of evolve and resequence experiments. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11388 

Gaertner, F., Reis-Rodrigues, P., de Vries, I., Hons, M., Aguilera, J., Riedl, M.,https://doi.org/10.1016/j.devcel.2021.11.024__Sixt, M. K. (2022). WASp triggers mechanosensitive actin patches to facilitate immune cell migration in dense tissues. Developmental Cell. Cell Pressf; Elsevier.https://doi.org/10.1016/j.devcel.2021.11.024 

Wachner, S. (2022). Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11193 

Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., &; Da Costa, A. O. (2022). Information-flow interfaces. In Fundamental Approaches to Software Engineering (Vol. 13241, pp. 3–22). Munich, Germany: Springer Nature.https://doi.org/10.1007/978-3-030-99429-7_1 

Jecker, I. R., Mazzocchi, N., &; Wolf, P. (2021). Decomposing permutation automata. In 32nd International Conference on Concurrency Theory (Vol. 203). Paris, France: Schloss Dagstuhl - Leibniz Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2021.18 

Chatterjee, K., Henzinger, M. H., Kale, S. S., &; Svozil, A. (2021). Faster algorithms for bounded liveness in graphs and game graphs. In 48th International Colloquium on Automata, Languages, and Programming (Vol. 198). Glasgow, Scotland: Schloss Dagstuhl - Leibniz Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.ICALP.2021.124 

Harris, D. G., Iliopoulos, F., &; Kolmogorov, V. (2021). A new notion of commutativity for the algorithmic Lovász Local Lemma. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (Vol. 207). Virtual: Schloss Dagstuhl - Leibniz Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2021.31 

Guha, S., Jecker, I. R., Lehtinen, K., &; Zimmermann, M. (2021). A bit of nondeterminism makes pushdown automata expressive and succinct. In 46th International Symposium on Mathematical Foundations of Computer Science (Vol. 202). Tallinn, Estonia: Schloss Dagstuhl - Leibniz Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.MFCS.2021.53 

Clozeau, N., &; Gloria, A. (n.d.). Quantitative nonlinear homogenization: control of oscillations. arXiv.

Browning, T. D. (2021). Cubic Forms and the Circle Method (Vol. 343). Cham: Springer Nature.https://doi.org/10.1007/978-3-030-86872-7 

Arrighi, E., Fernau, H., Hoffmann, S., Holzer, M., Jecker, I. R., De Oliveira Oliveira, M., &; Wolf, P. (2021). On the complexity of intersection non-emptiness for star-free language classes. In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 213). Virtual: Schloss Dagstuhl - Leibniz Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.FSTTCS.2021.34 

Chatterjee, K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2021). Quantitative verification on product graphs of small treewidth. In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 213). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42 

Kragl, B., &; Qadeer, S. (2021). The Civl verifier. In P. Ruzica &; M. W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design (Vol. 2, pp. 143–152). Virtual: TU Wien Academic Press.https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23 

Polshyn, H., Zhu, J., Kumar, M., Zhang, Y., Yang, F., Tschirhart, C.,  Young, A. (2021). Orbital Chern insulator states in twisted monolayer-bilayer graphene and electrical switching of topological and magnetic order. In APS March Meeting 2021 (Vol. 66). Virtual: American Physical Society.