Kramarenko, I., Kerutt, J., Verhamme, A., Oesch, P. A., Barrufet, L., Matthee, J. J.,https://doi.org/10.1093/mnras/stad3853__Thai, T. T. (2024). Linking UV spectral properties of MUSE Ly;1 emitters at zhttps://doi.org/10.1093/mnras/stad3853__3 to Lyman continuum escape. Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stad3853 

Chiossi, H. S. C. (2024). Adaptive hierarchical representations in the hippocampus. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14821 

Nomura, K., Rella, S., Merritt, H., Baltussen, M., Bird, D., Tjuka, A., &; Falk, D. (2024). Tipping points of space debris in low earth orbit. International Journal of the Commons. Ubiquity Press.https://doi.org/10.5334/ijc.1275 

Elkrewi, M. N. (2024). Data from “Chromosome-level assembly of Artemia franciscana sheds light on sex-chromosome differentiation.”https://doi.org/10.15479/AT:ISTA:14705__Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:14705 

Stankowski, S., Zagrodzka, Z. B., Garlovsky, M. D., Pal, A., Shipilina, D., Garcia Castillo, D. F.,https://doi.org/10.1126/science.adi2982__Butlin, R. K. (2024). The genetic basis of a recent transition to live-bearing in marine snails. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.adi2982 

Olusanya, O. O. (2024). Local adaptation, genetic load and extinction in metapopulations. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14711 

Dvorak, M., &; Kolmogorov, V. (2024). Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. Springer Nature.https://doi.org/10.1007/s10107-024-02064-5 

Kolisnyk, D., Queißer, F., Schaller, G., &; Schützhold, R. (2024). Floquet analysis of a superradiant many-qutrit refrigerator. Physical Review Applied. American Physical Society.https://doi.org/10.1103/PhysRevApplied.21.044050 

Murmann, J. S. (2024). Investigating acute microglia response to seizure activity in vivo: Combining 2-Photon imaging and EEG recording. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:15352 

Finegar, J. R., Kerschbaumer, A., Schuetz, M. J. A., Mendl, C. B., &; Katzgraber, H. G. (2024). Quantum-informed recursive optimization algorithms. PRX Quantum. American Physical Society.https://doi.org/10.1103/PRXQuantum.5.020327 

Attia, L., Oliu-Barton, M., &; Saona Urmeneta, R. J. (2024). Marginal values of a stochastic game. Mathematics of Operations Research. Institute for Operations Research and the Management Sciences.https://doi.org/10.1287/moor.2023.0297 

Arkhipov, P. (n.d.). Majority dynamics and internal partitions of random regular graphs: Experimental results. arXiv.https://doi.org/10.48550/arXiv.2406.07026 

Zhang, Z., Chen, H., Peng, S., &; Han, H. (n.d.). Slow and rapid auxin responses in Arabidopsis . Journal of Experimental Botany. Oxford Academic.https://doi.org/10.1093/jxb/erae246 

Hassani, F. (2024). Superconducting qubits capable of dynamic switching between protected and high-speed control regimes. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:17133 

Hledik, M. (2024). Genetic information and biological optimization. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:15020 

Attali, D., Kourimska, H., Fillmore, C. D., Ghosh, I., Lieutier, A., Stephenson, E. R., &; Wintraecken, M. (2024). Tight bounds for the learning of homotopy à la Niyogi, Smale, and Weinberger for subsets of euclidean spaces and of Riemannian manifolds. In 40th International Symposium on Computational Geometry (Vol. 293, p. 11:1-11:19). Athens, Greece: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SoCG.2024.11 

Reker, J. (2024). Central limit theorems for random matrices: From resolvents to free probability. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:17164 

Dubach, G., &; Reker, J. (2024). Dynamics of a rank-one multiplicative perturbation of a unitary matrix. Random Matrices: Theory and Applications. World Scientific Publishing.https://doi.org/10.1142/s2010326324500072 

Rychlewicz, K. P. (2024). Equivariant cohomology and rings of functions. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:17156 

Kelemen, R. K. (2024). Characterizing the sequence and expression evolution of the t-haplotype, a model meiotic driver. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:17119 

Li, V. (2024). Towards a quantum entanglement enhanced atom interferomter. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:17225 

Raices, J. (2024). Novel approaches to studying alternative splicing in Drosophila Melanogaster: Insights into sex-specific gene expression and the evolution of sex determination. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:17206 

Kaiyrzhanov, R., Rad, A., Lin, S.-J., Bertoli-Avella, A., Kallemeijn, W. W., Godwin, A.,https://doi.org/10.1093/brain/awad380__Maroofian, R. (2024). Bi-allelic ACB variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. Brain. Oxford University Press.https://doi.org/10.1093/brain/awad380 

Kluibenschedl, F., Ploner, A., Meisenbichler, C., Konrat, R., &; Müller, T. (2024). Advanced motion tracking for interactive mass spectrometry imaging (IMSI). International Journal of Mass Spectrometry. Elsevier.https://doi.org/10.1016/j.ijms.2023.117168 

Jethwa, R. B., Mondal, S., Pant, B., &; Freunberger, S. A. (2024). To DISP or not? The farreaching reaction mechanisms underpinning Lithiumair batteries. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.202316476 

Wang, X., &; Cheng, B. (2024). Integrating molecular dynamics simulations and experimental data for azeotrope predictions in binary mixtures. Journal of Chemical Physics. AIP Publishing.https://doi.org/10.1063/5.0217232 

Cultrera di Montesano, S. (2024). Persistence and Morse theory for discrete geometric structures. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:15094 

Synak, P., Kalinov, A., Strugaru, I.-M., Etemadihaghighi, A., Yang, H., &; Wojtan, C. (2024). Multi-material mesh-based surface tracking with implicit topology changes. ACM Transactions on Graphics. Association for Computing Machinery.https://doi.org/10.1145/3658223 

Medina Ramos, R. A. (2024). Exploring the optimization landscape of variational quantum algorithms. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:17208 

Surendranadh, P., &; Sachdeva, H. (2024). Mathematica notebook for “Effect of assortative mating and sexual selection on polygenic barriers to gene flow’’.”https://doi.org/10.15479/AT:ISTA:17344__Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:17344 

Lukic, K. (2024). Membrane proteins in plant physiology and bioenergetics: Investigating auxin efflux transporter PIN8 and ATP synthase inhibition by the novel inhibitor Yaku’amide B. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:17319 

Bauer, M., Ishida, S., &; Michor, P. W. (n.d.). Symplectic structures on the space of space curves. arXiv.https://doi.org/10.48550/arXiv.2407.19908 

Sagi, O. (2024). A gate-tunable transmon in planar Ge. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:17196 

Bollmann, L. (2024). Stability and change in the memory system during rest. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:17346 

Chen, Y.-L., Ly, M., &; Wojtan, C. (2024). Primal-dual non-smooth friction for rigid body animation. In Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24. Denver, United States: Association for Computing Machinery.https://doi.org/10.1145/3641519.3657485 

Villanueva Marijuan, A. (2024). Bayesian linear regression for analyzing general omics data with time-to-event phenotypes. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:17368 

Miranda, O., Cheung, G. T., &; Hippenmeyer, S. (2024). Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers. In K. Toyooka (Ed.), Neuronal Morphogenesis (1st ed., Vol. 2831, pp. 283–299). New York, NY: Springer Nature.https://doi.org/10.1007/978-1-0716-3969-6_19 

Prach, B., Brau, F., Buttazzo, G., &; Lampert, C. (2024). 1-Lipschitz layers compared: Memory, speed, and certifiable robustness. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 24574–24583). Computer Vision Foundation.

Pedrotti, F. (2024). Functional inequalities and convergence of stochastic processes. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:17336 

Satapathy, R. K., Jösch, M. A., Symonova, O., &; Pokusaeva, V. (2024). Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:17488 

Chalupa, M., Henzinger, T. A., Mazzocchi, N. A., &; Sarac, N. E. (n.d.). QuAK: Quantitative Automata Kit. arXiv.https://doi.org/10.48550/arXiv.2409.03569 

Elkrewi, M. N., &; Vicoso, B. (2024). Data for: “Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome.”https://doi.org/10.15479/AT:ISTA:17362__Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:17362 

Shevchenko, A. (2024). High-dimensional limits in artificial neural networks. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:17465 

Markov, I. (2024). Communication-efficient distributed training of deep neural networks: An algorithms and systems perspective. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:17490 

Sagi, O., Crippa, A., Valentini, M., Janik, M., Baghumyan, L., Fabris, G.,https://doi.org/10.1038/s41467-024-50763-6__Katsaros, G. (2024). A gate tunable transmon qubit in planar Ge. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-024-50763-6 

Alwen, J. F., Auerbach, B., Cueto Noval, M., Klein, K., Pascual Perez, G., &; Pietrzak, K. Z. (2024). DeCAF: Decentralizable CGKA with fast healing. In C. Galdi &; D. H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference (Vol. 14974, pp. 294–313). Cham: Springer Nature.https://doi.org/10.1007/978-3-031-71073-5_14 

Mukhopadhyay, S. (2024). Thermal effects in one dimensional Josephson chains. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:17881 

Mukhopadhyay, S., Lancheros Naranjo, D. A., Senior, J. L., &; Higginbotham, A. P. (n.d.). Dual relaxation oscillations in a Josephson junction array. arXiv.https://doi.org/10.48550/arXiv.2408.07829 

Frantar, E. (2024). Compressing large neural networksf: Algorithms, systems and scaling laws. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:17485 

Chen, J. (2024). Developmental transformation of nanodomain coupling between C+ channels and release sensors at a central GABAergic synapse. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:15101 

Chatterjee, K., Meggendorfer, T., Saona Urmeneta, R. J., &; Svoboda, J. (2023). Faster algorithm for turn-based stochastic games with bounded treewidth. In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 4590–4605). Florence, Italy: Society for Industrial and Applied Mathematics.https://doi.org/10.1137/1.9781611977554.ch173 

Aksenov, V., Brown, T. A., Fedorov, A., &; Kokorin, I. (2023). Unexpected scaling in path copying trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 438–440). Montreal, QB, Canada: Association for Computing Machinery.https://doi.org/10.1145/3572848.3577512 

Burnett, L. (2023). To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12716 

Chern, A., &; Ishida, S. (n.d.). Area formula for spherical polygons via prequantization. arXiv.https://doi.org/10.48550/arXiv.2303.14555 

Pokusaeva, V. (2023). Neural control of optic flow-based navigation in Drosophila melanogaster. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12826 

Henzinger, T. A., Mazzocchi, N. A., &; Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30829-1_17 

Henzinger, T. A., Kebis, P., Mazzocchi, N. A., &; Sarac, N. E. (2023). Regular methods for operator precedence languages. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261, p. 129:1--129:20). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.ICALP.2023.129 

Rojas Vega, M. N., De Castro, P., &; Soto, R. (2023). Wetting dynamics by mixtures of fast and slow self-propelled particles. Physical Review E. American Physical Society.https://doi.org/10.1103/PhysRevE.107.014608 

Volosniev, A., Shiva Kumar, A., Lorenc, D., Ashourishokri, Y., Zhumekenov, A. A., Bakr, O. M.,https://doi.org/10.1103/physrevlett.130.106901__Alpichshev, Z. (2023). Spin-electric coupling in lead halide perovskites. Physical Review Letters. American Physical Society.https://doi.org/10.1103/physrevlett.130.106901 

Volosniev, A., Shiva Kumar, A., Lorenc, D., Ashourishokri, Y., Zhumekenov, A., Bakr, O. M.,https://doi.org/10.1103/physrevb.107.125201__Alpichshev, Z. (2023). Effective model for studying optical properties of lead halide perovskites. Physical Review B. American Physical Society.https://doi.org/10.1103/physrevb.107.125201 

Vetrova, A. A., Kupaeva, D. M., Kizenko, A., Lebedeva, T. S., Walentek, P., Tsikolia, N., &; Kremnyov, S. V. (2023). The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization. Scientific Reports. Springer Nature.https://doi.org/10.1038/s41598-023-35979-8 

Orlov, P., Tiutiakina, A., Sharipov, R., Petrova, E., Gritsev, V., &; Kurlov, D. V. (2023). Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain. Physical Review B. American Physical Society.https://doi.org/10.1103/PhysRevB.107.184312 

Mrnjavac, A., Khudiakova, K., Barton, N. H., &; Vicoso, B. (2023). Slower-X: Reduced efficiency of selection in the early stages of X chromosome evolution. Evolution Letters. Oxford University Press.https://doi.org/10.1093/evlett/qrac004 

Lombardi, F., Pepic, S., Shriki, O., Tkadik, G., &; De Martino, D. (2023). Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain. Nature Computational Science. Springer Nature.https://doi.org/10.1038/s43588-023-00410-9 

Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:13175 

Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12900 

Henzinger, T. A., Karimi, M., Kueffner, K., &; Mallik, K. (2023). Monitoring algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-37703-7_17 

Gamper, J., Kluibenschedl, F., Weiss, A. K. H., &; Hofer, T. S. (2023). Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems. Journal of Physical Chemistry Letters. American Chemical Society.https://doi.org/10.1021/acs.jpclett.3c01707 

Brighi, P. (2023). Ergodicity breaking in disordered and kinetically constrained quantum many-body systems. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12732 

Dvorak, M., &; Blanchette, J. (2023). Closure properties of general grammars - formally verified. In 14th International Conference on Interactive Theorem Proving (Vol. 268). Bialystok, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.ITP.2023.15 

Gupta, D., Mlynarski, W. F., Sumser, A. L., Symonova, O., Svaton, J., &; Jösch, M. A. (2023). Panoramic visual statistics shape retina-wide organization of receptive fields. Nature Neuroscience. Springer Nature.https://doi.org/10.1038/s41593-023-01280-0 

Gupta, D., Sumser, A. L., &; Jösch, M. A. (2023). Research Data for: Panoramic visual statistics shape retina-wide organization of receptive fields. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:12370 

Köse, S. (2023). Exterior algebra and combinatorics. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:13331 

Ivanov, G., &; Köse, S. (2023). Erds-Ko-Rado and Hilton-Milner theorems for two-forms. Discrete Mathematics. Elsevier.https://doi.org/10.1016/j.disc.2023.113363 

Boker, U., Henzinger, T. A., Mazzocchi, N. A., &; Sarac, N. E. (2023). Safety and liveness of quantitative automata. In 34th International Conference on Concurrency Theory (Vol. 279). Antwerp, Belgium: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2023.17 

Diao, Y. (2023). Density of the union of positive diagonal binary quadratic forms. Acta Arithmetica. Instytut Matematyczny.https://doi.org/10.4064/aa210830-24-11 

Confavreux, B. J. (2023). Synapseek: Meta-learning synaptic plasticity rules. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14422 

Roos, B. (2023). Boundary superconductivity in BCS theory. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14374 

Hainzl, C., Roos, B., &; Seiringer, R. (2023). Boundary superconductivity in the BCS model. Journal of Spectral Theory. EMS Press.https://doi.org/10.4171/JST/439 

Aksenov, V., Anoprenko, M., Fedorov, A., &; Spear, M. (2023). Brief announcement: BatchBoost: Universal batching for concurrent data structures. In 37th International Symposium on Distributed Computing (Vol. 281). L’Aquila, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.DISC.2023.35 

Klausen, F. R., &; Lauritsen, A. B. (2023). Research data for: A stochastic cellular automaton model of culture formation. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:12869 

Klausen, F. R., &; Lauritsen, A. B. (2023). Stochastic cellular automaton model of culture formation. Physical Review E. American Physical Society.https://doi.org/10.1103/PhysRevE.108.054307 

Henheik, S. J., Lauritsen, A. B., &; Roos, B. (2023). Universality in low-dimensional BCS theory. Reviews in Mathematical Physics. World Scientific Publishing.https://doi.org/10.1142/s0129055x2360005x 

Yeo, M. X. (2023). Advances in efficiency and privacy in payment channel network analysis. Institute of Science and Technology Austria.https://doi.org/10.15479/14506 

Riedl, M. (2023). Synchronization in collectively moving active matter. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12726 

Riedl, M. (2023). Synchronization in collectively moving active matter. Institute of Science and Technology Austria.https://doi.org/10.15479/14530 

Phan, D. T. (2023). Resonant microwave spectroscopy of Al-InAs. Institute of Science and Technology Austria.https://doi.org/10.15479/14547 

Makatura, L., Wang, B., Chen, Y.-L., Deng, B., Wojtan, C., Bickel, B., &; Matusik, W. (2023). Procedural metamaterials: A unified procedural graph for metamaterial design. ACM Transactions on Graphics. Association for Computing Machinery.https://doi.org/10.1145/3605389 

Paranjape, C. S., Yalniz, G., Duguet, Y., Budanur, N. B., &; Hof, B. (2023). Direct path from turbulence to time-periodic solutions. Physical Review Letters. American Physical Society.https://doi.org/10.1103/physrevlett.131.034002 

Puixeu Sala, G. (2023). The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14058 

Puixeu Sala, G., Macon, A., &; Vicoso, B. (2023). Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. : Genes, Genomes, Genetics. Oxford University Press.https://doi.org/10.1093/g3journal/jkad121 

Puixeu Sala, G. (2023). Data from: Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:12933 

Cipolloni, G., Erdös, L., Henheik, S. J., &; Kolupaiev, O. (2023). Gaussian fluctuations in the equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. Cambridge University Press.https://doi.org/10.1017/fms.2023.70 

Henheik, S. J., &; Tumulka, R. (2023). Creation rate of Dirac particles at a point source. Journal of Physics A: Mathematical and Theoretical. IOP Publishing.https://doi.org/10.1088/1751-8121/acfe62 

Zeng, Z., Wodaczek, F., Liu, K., Stein, F., Hutter, J., Chen, J., &; Cheng, B. (2023). Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-023-41865-8 

Sack, S. (2023). Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14622 

Stopp, J. A. (2023). Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14697 

Arathoon, L. S. (2023). Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14651 

Ishida, S., &; Lavenant, H. (n.d.). Quantitative convergence of a discretization of dynamic optimal transport using the dual formulation. arXiv.https://doi.org/10.48550/arXiv.2312.12213 

Stefo, C., Xiang, Z., &; Kokoris Kogias, E. (2023). Executing and proving over dirty ledgers. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13950, pp. 3–20). Bol, Brac, Croatia: Springer Nature.https://doi.org/10.1007/978-3-031-47754-6_1 

Zikelic, D. (2023). Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria.https://doi.org/10.15479/14539 

Polesello, A., Muller, C. J., Pasquero, C., &; Meroni, A. N. (2023). Intensification mechanisms of tropical cyclones. In EGU General Assembly 2023. Vienna, Austria &; Virtual: European Geosciences Union.https://doi.org/10.5194/egusphere-egu23-6157 

Freire, M., Bhargava, M., Schreck, C., Hugron, P.-A., Bickel, B., &; Lefebvre, S. (2023). PCBend: Light up your 3D shapes with foldable circuit boards. Transactions on Graphics. Los Angeles, CA, United States: Association for Computing Machinery.https://doi.org/10.1145/3592411 

Mohammadi, A., Pham, T., &; Wang, Y. (2023). An energy decomposition theorem for matrices and related questions. Canadian Mathematical Bulletin. Cambridge University Press.https://doi.org/10.4153/S000843952300036X 

Rønning, J., Renaud, J. B., Doostmohammadi, A., &; Angheluta, L. (2023). Spontaneous flows and dynamics of full-integer topological defects in polar active matter. Soft Matter. Royal Society of Chemistry.https://doi.org/10.1039/d3sm00316g 

Bombari, S., Kiyani, S., &; Mondelli, M. (2023). Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels. In Proceedings of the 40th International Conference on Machine Learning (Vol. 202, pp. 2738–2776). Honolulu, HI, United States: ML Research Press.

Knaus, L. (2023). The metabolism of the developing brainf: How large neutral amino acids modulate perinatal neuronal excitability and survival. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:13107 

Marensi, E., Yalniz, G., &; Hof, B. (2023). Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics. Cambridge University Press.https://doi.org/10.1017/jfm.2023.780 

Becker, L. M., Berbon, M., Vallet, A., Grelard, A., Morvan, E., Bardiaux, B.,https://doi.org/10.1002/anie.202219314__Schanda, P. (2023). The rigid core and flexible surface of amyloid fibrils probed by MagicAngle Spinning NMR of aromatic residues. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.202219314 

Becker, L. M., &; Schanda, P. (2023). Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:12497 

Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P.,https://doi.org/10.1038/s41567-023-02218-w__Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Nature Physics. Springer Nature.https://doi.org/10.1038/s41567-023-02218-w 

Radler, P. (2023). Spatiotemporal signaling during assembly of the bacterial divisome. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14280 

Valentini, M. (2023). Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevicesf: From full-shell nanowires to two-dimensional hole gas in germanium. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:13286 

Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., &; Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. In 35th International Conference on Computer Aided Verification  (Vol. 13964, pp. 156–169). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-37706-8_8 

Prach, B., &; Lampert, C. (n.d.). 1-Lipschitz neural networks are more expressive with N-activations. arXiv.https://doi.org/10.48550/ARXIV.2311.06103 

Kuzmicz-Kowalska, K. (2023). Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14323 

Marveggio, A. (2023). Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14587 

Riabov, V. (n.d.). Mesoscopic eigenvalue statistics for Wigner-type matrices. arXiv.https://doi.org/10.48550/arXiv.2301.01712 

Fedorov, A., Hashemi, D., Nadiradze, G., &; Alistarh, D.-A. (2023). Provably-efficient and internally-deterministic parallel Union-Find. In Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures (pp. 261–271). Orlando, FL, United States: Association for Computing Machinery.https://doi.org/10.1145/3558481.3591082 

Hennessey-Wesen, M. (2023). Adaptive mutation in E. coli modulated by luxS. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14641 

Calcabrini, M. (2023). Nanoparticle-based semiconductor solids: From synthesis to consolidation. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12885 

Chen, Y.-L., Ly, M., &; Wojtan, C. (2023). Unified treatment of contact, friction and shock-propagation in rigid body animation. Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. Los Angeles, CA, United States: ACM.https://doi.org/10.1145/3606037.3606836 

Peste, E.-A. (2023). Efficiency and generalization of sparse neural networks. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:13074 

Krumes, A., Vladu, A., Kurtic, E., Lampert, C., &; Alistarh, D.-A. (2023). CrAM: A Compression-Aware Minimizer. In 11th International Conference on Learning Representations . Kigali, Rwanda : OpenReview.

Mukhopadhyay, S., Senior, J. L., Saez Mollejo, J., Puglia, D., Zemlicka, M., Fink, J. M., &; Higginbotham, A. P. (2023). Superconductivity from a melted insulator in Josephson junction arrays. Nature Physics. Springer Nature.https://doi.org/10.1038/s41567-023-02161-w 

Zens, B. (2023). Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12491 

Franschitz, A. (2023). Individual and social immunity against viral infections in ants. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:13984 

Boocock, D. R. (2023). Mechanochemical pattern formation across biological scales. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12964 

Alcarva, C. (2023). Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12809 

Kravchuk, V. (2023). Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12781 

Schauer, A. (2023). Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12891 

Bocanegra, L. (2023). Epithelial dynamics during mouse neural tube development. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:13081 

Kirillova, K. (2023). Panoramic functional gradients across the mouse retina. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12531 

Julseth, M. (2023). The effect of local population structure on genetic variation at selected loci in the A. majus hybrid zone. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12800 

Stephenson, E. R. (2023). Generalizing medial axes with homology switches. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14226 

Gnyliukh, N. (2023). Mechanism of clathrin-coated vesicle  formation during endocytosis in plants. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14510 

Hafner, C. (2023). Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12897 

Michalska, J. M. (2023). A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12470 

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 

Ahmadi, A., Chatterjee, K., Goharshady, A. K., Meggendorfer, T., Safavi Hemami, R., &; Zikelic, D. (2022). Algorithms and hardness results for computing cores of Markov chains. In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 250). Madras, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.FSTTCS.2022.29 

Shipman, B. A., &; Stephenson, E. R. (2022). Tangible topology through the lens of limits. PRIMUS. Taylor &; Francis.https://doi.org/10.1080/10511970.2021.1872750 

Chatterjee, K., Mohammadi, M., &; Saona Urmeneta, R. J. (n.d.). Repeated prophet inequality with near-optimal bounds. arXiv.https://doi.org/10.48550/ARXIV.2209.14368 

Bombari, S., Achille, A., Wang, Z., Wang, Y.-X., Xie, Y., Singh, K. Y.,https://doi.org/10.48550/arXiv.2203.16701__Soatto, S. (n.d.). Towards differential relational privacy and its use in question answering. arXiv.https://doi.org/10.48550/arXiv.2203.16701 

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 

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 

Henheik, S. J., &; Teufel, S. (2022). Adiabatic theorem in the thermodynamic limit: Systems with a uniform gap. Journal of Mathematical Physics. AIP Publishing.https://doi.org/10.1063/5.0051632 

Henheik, S. J., Teufel, S., &; Wessel, T. (2022). Local stability of ground states in locally gapped and weakly interacting quantum spin systems. Letters in Mathematical Physics. Springer Nature.https://doi.org/10.1007/s11005-021-01494-y 

Henheik, S. J., &; Teufel, S. (2022). Adiabatic theorem in the thermodynamic limit: Systems with a gap in the bulk. Forum of Mathematics, Sigma. Cambridge University Press.https://doi.org/10.1017/fms.2021.80 

Henheik, S. J. (2022). The BCS critical temperature at high density. Mathematical Physics, Analysis and Geometry. Springer Nature.https://doi.org/10.1007/s11040-021-09415-0 

Jirovec, D., Mutter, P. M., Hofmann, A. C., Crippa, A., Rychetsky, M., Craig, D. L.,https://doi.org/10.1103/PhysRevLett.128.126803__Katsaros, G. (2022). Dynamics of hole singlet-triplet qubits with large g-factor differences. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.128.126803 

Yang, B., &; Yang, Z. (2022). On the wavenumber-frequency spectrum of the wall pressure fluctuations in turbulent channel flow. Journal of Fluid Mechanics. Cambridge University Press.https://doi.org/10.1017/jfm.2022.137 

Zikelic, D., Chang, B.-Y. E., Bolignano, P., &; Raimondi, F. (2022). Differential cost analysis with simultaneous potentials and anti-potentials. In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 442–457). San Diego, CA, United States: Association for Computing Machinery.https://doi.org/10.1145/3519939.3523435 

Saona Urmeneta, R. J., Kondrashov, F., &; Khudiakova, K. (2022). Relation between the number of peaks and the number of reciprocal sign epistatic interactions. Bulletin of Mathematical Biology. Springer Nature.https://doi.org/10.1007/s11538-022-01029-z 

Kalinov, A., Osinskiy, A. I., Matveev, S. A., Otieno, W., &; Brilliantov, N. V. (2022). Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics. Journal of Computational Physics. Elsevier.https://doi.org/10.1016/j.jcp.2022.111439 

Li, L., Chen, H., Alotaibi, S. S., Pbndík, A., Adamowski, M., Novák, O., &; Friml, J. (2022). RAL peptide triggers biphasic root growth inhibition upstream of auxin biosynthesis. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences.https://doi.org/10.1073/pnas.2121058119 

Schulz, R. (2022). Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11945 

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 

Brooks, M. (2022). Translation-invariant quantum systems with effectively broken symmetry. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12390 

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

Chatterjee, K., Saona Urmeneta, R. J., &; Ziliotto, B. (2022). Finite-memory strategies in POMDPs with long-run average objectives. Mathematics of Operations Research. Institute for Operations Research and the Management Sciences.https://doi.org/10.1287/moor.2020.1116 

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 

Köse, S., &; Özbudak, F. (2022). Factorization of some polynomials over finite local commutative rings and applications to certain self-dual and LCD codes. Cryptography and Communications. Springer Nature.https://doi.org/10.1007/s12095-022-00557-8 

Mysliwy, K. (2022). Polarons in Bose gases and polar crystals: Some rigorous energy estimates. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11473 

Brighi, P., Ljubotina, M., &; Serbyn, M. (n.d.). Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models. arXiv.https://doi.org/10.48550/arXiv.2210.15607 

Cali, E., Lin, S.-J., Rocca, C., Sahin, Y., Al Shamsi, A., El Chehadeh, S.,https://doi.org/10.1016/j.gim.2022.07.013__Grp, Syn. S. (2022). A homozygous ME C-terminal variant causes a lethal neurodegenerative disease. Genetics in Medicine. Elsevier.https://doi.org/10.1016/j.gim.2022.07.013 

Dormeshkin, D., Shapira, M., Karputs, A., Kavaleuski, A., Kuzminski, I., Stepanova, E., &; Gilep, A. (2022). Combining of synthetic VHH and immune scFv libraries for pregnancy-associated glycoproteins ELISA development. Applied Microbiology and Biotechnology. Springer Nature.https://doi.org/10.1007/s00253-022-12022-w 

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

Roos, B., &; Seiringer, R. (2022). Two-particle bound states at interfaces and corners. Journal of Functional Analysis. Elsevier.https://doi.org/10.1016/j.jfa.2022.109455 

Hübschmann, V., Korkut, M., &; Siegert, S. (2022). Assessing human iPSC-derived microglia identity and function by immunostaining, phagocytosis, calcium activity, and inflammation assay. STAR Protocols. Elsevier.https://doi.org/10.1016/j.xpro.2022.101866 

Friml, J., Gallei, M. C., Gelová, Z., Johnson, A. J., Mazur, E., Monzer, A.,https://doi.org/10.1038/s41586-022-05187-x__Rakusová, H. (2022). AB–TMK auxin perception for global phosphorylation and auxin canalization. Nature. Springer Nature.https://doi.org/10.1038/s41586-022-05187-x 

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 

Stöllner, A. (2022). Measuring airborne nanoplastics using aerosol physics. Nature Reviews Earth and Environment. Springer Nature.https://doi.org/10.1038/s43017-022-00302-y 

Radler, P. (2022). In vitro reconstitution of Escherichia coli divisome activation. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:10934 

Schulz, R. (2022). Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses). Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:11542 

Surendranadh, P., Arathoon, L. S., Baskett, C., Field, D., Pickup, M., &; Barton, N. H. (2022). Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Genetics. Oxford University Press.https://doi.org/10.1093/genetics/iyac083 

Surendranadh, P., Arathoon, L. S., Baskett, C., Field, D., Pickup, M., &; Barton, N. H. (2022). Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11321 

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 

Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., &; Saghafian, M. (n.d.). A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Barton, N. H., &; Olusanya, O. O. (2022). The response of a metapopulation to a changing environment. Philosophical Transactions of the Royal Society B: Biological Sciences. The Royal Society.https://doi.org/10.1098/rstb.2021.0009 

Sachdeva, H., Olusanya, O. O., &; Barton, N. H. (2022). Genetic load and extinction in peripheral populations: The roles of migration, drift and demographic stochasticity. Philosophical Transactions of the Royal Society B. The Royal Society.https://doi.org/10.1098/rstb.2021.0010 

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 

Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., &; Saghafian, M. (n.d.). Depth in arrangements: Dehn–Sommerville–Euler relations with applications. Leibniz International Proceedings on Mathematics. Schloss Dagstuhl - Leibniz Zentrum für Informatik.

Reker, J. (2022). On the operator norm of a Hermitian random matrix with correlated entries. Random Matrices: Theory and Applications. World Scientific.https://doi.org/10.1142/s2010326322500368 

Hausel, T., &; Rychlewicz, K. P. (n.d.). Spectrum of equivariant cohomology as a fixed point scheme. arXiv.https://doi.org/10.48550/arXiv.2212.11836 

Li, V., Diorico, F. R., &; Hosten, O. (2022). Laser frequency-offset locking at 10-Hz-level instability using hybrid electronic filters. Physical Review Applied. American Physical Society.https://doi.org/10.1103/physrevapplied.17.054031 

Gonzalez Somermeyer, L., Fleiss, A., Mishin, A. S., Bozhanova, N. G., Igolkina, A. A., Meiler, J.,https://doi.org/10.7554/elife.75842__Kondrashov, F. (2022). Heterogeneity of the GFP fitness landscape and data-driven protein design. ELife. eLife Sciences Publications.https://doi.org/10.7554/elife.75842 

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 

Kim, O. (2022). Nanoarchitecture of hippocampal mossy fiber-C pyramidal neuron synapses. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11196 

Metzler, S. (2022). Pathogen-mediated sexual selection and immunization in ant colonies. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:10727 

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 

Nardin, M. (2022). On the encoding, transfer, and consolidation of spatial memories. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11932 

Colombo, G. (2022). MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12378 

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 

Tasciyan, S. (2022). Role of microenvironment heterogeneity in cancer cell invasion. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12401 

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 

Dotter, C. (2022). Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12094 

Elkrewi, M. N. (2022). Data from Elkrewi, Khauratovich, Toups et al. 2022, “ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp.”https://doi.org/10.15479/AT:ISTA:11653__Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:11653 

Nardin, M., Käfer, K., &; Csicsvari, J. L. (n.d.). The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus. bioRxiv. Cold Spring Harbor Laboratory.https://doi.org/10.1101/2021.09.30.462269 

Nardin, M., Phillips, J. W., Podlaski, W. F., &; Keemink, S. W. (2021). Nonlinear computations in spiking neural networks through multiplicative synapses. Peer Community Journal. Centre Mersennef; Peer Community In.https://doi.org/10.24072/pcjournal.69 

Grunbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., &; Grosu, R. (2021). On the verification of neural ODEs with stochastic guarantees. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 11525–11535). Virtual: AAAI Press.

Hasani, R., Lechner, M., Amini, A., Rus, D., &; Grosu, R. (2021). Liquid time-constant networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 7657–7666). Virtual: AAAI Press.

Babaiee, Z., Hasani, R., Lechner, M., Rus, D., &; Grosu, R. (2021). On-off center-surround receptive fields for accurate and robust image classification. In Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 478–489). Virtual: ML Research Press.

Vorbach, C. J., Hasani, R., Amini, A., Lechner, M., &; Rus, D. (2021). Causal navigation by continuous-time neural networks. In 35th Conference on Neural Information Processing Systems. Virtual.

Avni, G., Jecker, I. R., &; Zikelic, D. (2021). Infinite-duration all-pay bidding games. In D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (pp. 617–636). Virtual: Society for Industrial and Applied Mathematics.https://doi.org/10.1137/1.9781611976465.38 

Schmid, L., &; Hilbe, C. (2021). The evolution of strategic ignorance in strategic interaction. In R. Hertwig &; C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know (Vol. 29, pp. 139–152). MIT Press.

Auerbach, B., Chakraborty, S., Klein, K., Pascual Perez, G., Pietrzak, K. Z., Walter, M., &; Yeo, M. X. (2021). Inverse-Sybil attacks in automated contact tracing. In Topics in Cryptology – CT-RSA 2021 (Vol. 12704, pp. 399–421). Virtual Event: Springer Nature.https://doi.org/10.1007/978-3-030-75539-3_17 

Peste, E.-A., Iofinova, E. B., Vladu, A., &; Alistarh, D.-A. (2021). AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. In 35th Conference on Neural Information Processing Systems (Vol. 34, pp. 8557–8570). Virtual, Online: Curran Associates.

Henzinger, T. A., Lechner, M., &; Zikelic, D. (2021). Scalable verification of quantized neural networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 3787–3795). Virtual: AAAI Press.

Lechner, M., dikeli, Ð., Chatterjee, K., &; Henzinger, T. A. (2021). Infinite time horizon safety of Bayesian neural networks. In 35th Conference on Neural Information Processing Systems. Virtual.https://doi.org/10.48550/arXiv.2111.03165 

Samarasinghe, R. A., Miranda, O., Buth, J. E., Mitchell, S., Ferando, I., Watanabe, M.,https://doi.org/10.1038/s41593-021-00906-5__Novitch, B. G. (2021). Identification of neural oscillations and epileptiform changes in human brain organoids (Vol. 24). Springer Nature.https://doi.org/10.1038/s41593-021-00906-5 

Khudiakova, K., Neretina, T. Y., &; Kondrashov, A. S. (2021). Two linked loci under mutation-selection balance and Muller’s ratchet. Journal of Theoretical Biology. Elsevier .https://doi.org/10.1016/j.jtbi.2021.110729 

Henzinger, T. A., &; Sarac, N. E. (2021). Quantitative and approximate monitoring. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Online: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/LICS52264.2021.9470547 

Yalniz, G., Hof, B., &; Budanur, N. B. (2021). Coarse graining the state space of a turbulent flow using periodic orbits. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.126.244502 

Sperl, G., Narain, R., &; Wojtan, C. (2021). Mechanics-aware deformation of yarn pattern geometry. ACM Transactions on Graphics. Association for Computing Machinery.https://doi.org/10.1145/3450626.3459816 

Sperl, G., Narain, R., &; Wojtan, C. (2021). Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data). IST Austria.https://doi.org/10.15479/AT:ISTA:9327 

Lauritsen, A. B. (2021). Floating Wigner crystal and periodic jellium configurations. Journal of Mathematical Physics. AIP Publishing.https://doi.org/10.1063/5.0053494 

Karle, V., Serbyn, M., &; Michailidis, A. (2021). Area-law entangled eigenstates from nullspaces of local Hamiltonians. Physical Review Letters. American Physical Society.https://doi.org/10.1103/physrevlett.127.060602 

Lechner, M., Hasani, R., Grosu, R., Rus, D., &; Henzinger, T. A. (2021). Adversarial training is not ready for robot learning. In 2021 IEEE International Conference on Robotics and Automation (pp. 4140–4147). Xi’an, China.https://doi.org/10.1109/ICRA48506.2021.9561036 

Lauritsen, A. B. (2021). The BCS energy gap at low density. Letters in Mathematical Physics. Springer Nature.https://doi.org/10.1007/s11005-021-01358-5 

Osang, G. F. (2021). Multi-cover persistence and Delaunay mosaics. Institute of Science and Technology Austria, Klosterneuburg.https://doi.org/10.15479/AT:ISTA:9056 

Cipolloni, G. (2021). Fluctuations in the spectrum of random matrices. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:9022 

Phuong, M., &; Lampert, C. (2021). The inductive bias of ReLU networks on orthogonally separable data. In 9th International Conference on Learning Representations. Virtual.

Hensel, S. (2021). Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:10007 

Bui, T. L., Chatterjee, K., Gautam, T., Pavlogiannis, A., &; Toman, V. (2021). The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages. Association for Computing Machinery.https://doi.org/10.1145/3485541 

Portinale, L. (2021). Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:10030 

Peruzzo, M. (2021). Geometric superinductors and their applications in circuit quantum electrodynamics. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:9920 

Piankov, A. (2021). Towards designer materials using customizable particle shape. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:10422 

Phuong, M. (2021). Underspecification in deep learning. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:9418 

Koval, I. (n.d.). Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse. arXiv.https://doi.org/10.48550/ARXIV.2111.12171 

Toman, V. (2021). Improved verification techniques for concurrent systems. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:10199 

Klein, K. (2021). On the adaptive security of graph-based games. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:10035 

Nadiradze, G. (2021). On achieving scalability through relaxation. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:10429 

Sack, S., &; Serbyn, M. (2021). Quantum annealing initialization of the quantum approximate optimization algorithm. Quantum. Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften.https://doi.org/10.22331/Q-2021-07-01-491 

Jirovec, D. (2021). Research data for “A singlet-triplet hole spin qubit planar Ge.”https://doi.org/10.15479/AT:ISTA:9323__Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:9323 

Valentini, M. (2021). Research data for “Non-topological zero bias peaks in full-shell nanowires induced by flux tunable Andreev states.”https://doi.org/10.15479/AT:ISTA:9389__Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:9389 

Surendranadh, P., Arathoon, L. S., Baskett, C., Field, D., Pickup, M., &; Barton, N. H. (2021). Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:9192 

Feliciangeli, D. (2021). The polaron at strong coupling. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:9733 

Dvorak, M., &; Nicholson, S. (2021). Massively winning configurations in the convex grabbing game on the plane. In Proceedings of the 33rd Canadian Conference on Computational Geometry. Halifax, NS, Canada; Virtual: CCCG.

Hörmayer, L. (2021). Wound healing in the Arabidopsis root meristem. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:9992 

Nardin, M., Csicsvari, J. L., Tkadik, G., &; Savin, C. (n.d.). The structure of hippocampal C interactions optimizes spatial coding across experience. bioRxiv. Cold Spring Harbor Laboratory.https://doi.org/10.1101/2021.09.28.460602 

Caballero Mancebo, S. (2021). Fertilization-induced deformations are controlled by the actin cortex and a mitochondria-rich subcortical layer in ascidian oocytes. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:9623 

Huljev, K. (2021). Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:9397 

Kleindienst, D. (2021). 2B or not 2B: Hippocampal asymmetries mediated by NMDA receptor subunit GluN2B C-terminus and high-throughput image analysis by Deep-Learning. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:9562 

Tomasek, K. (2021). Pathogenic Escherichia coli hijack the host immune response. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:10307 

Vega, A., Fredes, I., O’Brien, J., Shen, Z., Ötvös, K., Abualia, R.,https://doi.org/10.15252/embr.202051813__Gutiérrez, R. A. (2021). Nitrate triggered phosphoproteome changes and a PIN2 phosphosite modulating root system architecture. EMBO Reports. Wiley.https://doi.org/10.15252/embr.202051813 

Abualia, R. (2021). Role of hormones in nitrate regulated growth. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:10303 

Hansen, A. H. (2021). Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:9962 

Li, L. (2021). Rapid cell growth regulation in Arabidopsis. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:10083 

Schmid, L. (2021). Evolution of cooperation via (in)direct reciprocity under imperfect information. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:10293 

Schmid, L., Shati, P., Hilbe, C., &; Chatterjee, K. (2021). The evolution of indirect reciprocity under action and assessment generosity. Scientific Reports. Springer Nature.https://doi.org/10.1038/s41598-021-96932-1 

Schmid, L., Chatterjee, K., Hilbe, C., &; Nowak, M. A. (2021). A unified framework of direct and indirect reciprocity. Nature Human Behaviour. Springer Nature.https://doi.org/10.1038/s41562-021-01114-8 

Semerádová, H. (2021). Molecular mechanisms of the cytokinin-regulated endomembrane trafficking to coordinate plant organogenesis. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:10135 

Agrawal, N. (2021). Transition to turbulence and drag reduction in particle-laden pipe flows. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:9728 

Goharshady, A. K. (2021). Parameterized and algebro-geometric advances in static program analysis. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:8934 

Jirovec, D., Hofmann, A. C., Ballabio, A., Mutter, P. M., Tavani, G., Botifoll, M.,https://doi.org/10.1038/s41563-021-01022-2__Katsaros, G. (2021). A singlet triplet hole spin qubit in planar Ge. Nature Materials. Springer Nature.https://doi.org/10.1038/s41563-021-01022-2 

Jirovec, D. (2021). Singlet-Triplet qubits and spin-orbit interaction in 2-dimensional Ge hole gases. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:10058 

Hasani, R., Lechner, M., Amini, A., Rus, D., &; Grosu, R. (2020). A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits. In Proceedings of the 37th International Conference on Machine Learning (pp. 4082–4093). Virtual.

Lechner, M. (2020). Learning representations for binary-classification without backpropagation. In 8th International Conference on Learning Representations. Virtualf; Addis Ababa, Ethiopia: ICLR.

Mayer, S. (2020). The free energy of a dilute two-dimensional Bose gas. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:7514 

Ölsböck, K. (2020). The hole system of triangulated shapes. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:7460 

Hensel, S., &; Rosati, T. (2020). Modelled distributions of Triebel–Lizorkin type. Studia Mathematica. Instytut Matematyczny.https://doi.org/10.4064/sm180411-11-2 

Tkadlec, J. (2020). A role of graphs in evolutionary processes. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:7196 

Chatterjee, K., Pavlogiannis, A., &; Toman, V. (2019). Value-centric dynamic partial order reduction. In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (Vol. 3). Athens, Greece: ACM.https://doi.org/10.1145/3360550 

Käfer, K. (2019). The hippocampus and medial prefrontal cortex during flexible behavior. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:6825 

Seitner, D., Uhse, S., Gallei, M. C., &; Djamei, A. (2018). The core effector Cce1 is required for early infection of maize by Ustilago maydis. Molecular Plant Pathology. Wiley.https://doi.org/10.1111/mpp.12698 

Vukusi, L. (2018). Charge sensing and spin relaxation times of holes in Ge hut wires. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:TH_1047 

Tarrach, T. (2016). Automatic synthesis of synchronisation primitives for concurrent programs. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:1130 

Sharmanska, V. (2015). Learning with attributes for object recognition: Parametric and non-parametrics views. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:1401 

Zufferey, D. (2013). Analysis of dynamic message passing programs. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:1405 

Kim, S. (2012). Active properties of hippocampal C pyramidal neuron dendrites. Institute of Science and Technology Austria.

Pflicke, H. (2010).   Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology Austria.