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 

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 

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 

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

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 

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 

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 

Kaiyrzhanov, R., Rad, A., Lin, S.-J., Bertoli-Avella, A., Kallemeijn, W. W., Godwin, A.,https://doi.org/10.1093/brain/awad380__Maroofian, R. (2023). 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 

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 

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

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 

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 

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 

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

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 

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 

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 

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 

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

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 

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 

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 

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

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 

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