Kretinsky, J., Meggendorfer, T., &; Weininger, M. (2023). Stopping criteria for value iteration on stochastic games with quantitative objectives. In 38th Annual ACM/IEEE Symposium on Logic in Computer Science (Vol. 2023). Boston, MA, United States: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/LICS56636.2023.10175771 

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 

Higashi, T., Stephenson, R. E., Schwayer, C., Huljev, K., Higashi, A. Y., Heisenberg, C.-P. J.,https://doi.org/10.1242/jcs.260668__Miller, A. L. (2023). ZnUMBA - a live imaging method to detect local barrier breaches. Journal of Cell Science. The Company of Biologists.https://doi.org/10.1242/jcs.260668 

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 

Brauneis, F., Ghazaryan, A., Hammer, H.-W., &; Volosniev, A. (2023). Emergence of a Bose polaron in a small ring threaded by the Aharonov-Bohm flux. Communications Physics. Springer Nature.https://doi.org/10.1038/s42005-023-01281-2 

Lampart, J., Mitrouskas, D. J., &; Mysliwy, K. (2023). On the global minimum of the energy–momentum relation for the polaron. Mathematical Physics, Analysis and Geometry. Springer Nature.https://doi.org/10.1007/s11040-023-09460-x 

Kranabetter, L., Kristensen, H. H., Ghazaryan, A., Schouder, C. A., Chatterley, A. S., Janssen, P.,https://doi.org/10.1103/PhysRevLett.131.053201__Stapelfeldt, H. (2023). Nonadiabatic laser-induced alignment dynamics of molecules on a surface. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.131.053201 

Koch, J., Xin, Q., Obr, M., Schäfer, A., Rolfs, N., Anagho, H. A.,https://doi.org/10.1371/journal.ppat.1011562__Lozach, P. Y. (2023). The phenuivirus Toscana virus makes an atypical use of vacuolar acidity to enter host cells. PLoS Pathogens. Public Library of Science.https://doi.org/10.1371/journal.ppat.1011562 

Roychoudhry, S., Sageman-Furnas, K., Wolverton, C., Grones, P., Tan, S., Molnar, G.,https://doi.org/10.1038/s41477-023-01478-x__Kepinski, S. (2023). Antigravitropic PIN polarization maintains non-vertical growth in lateral roots. Nature Plants. Springer Nature.https://doi.org/10.1038/s41477-023-01478-x 

Maes, M. E., Colombo, G., Schoot Uiterkamp, F. E., Sternberg, F., Venturino, A., Pohl, E. E., &; Siegert, S. (2023). Mitochondrial network adaptations of microglia reveal sex-specific stress response after injury and UC knockout. IScience. Elsevier.https://doi.org/10.1016/j.isci.2023.107780 

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 

Alistarh, D.-A., Aspnes, J., Ellen, F., Gelashvili, R., &; Zhu, L. (2023). Why extension-based proofs fail. SIAM Journal on Computing. Society for Industrial and Applied Mathematics.https://doi.org/10.1137/20M1375851 

Edelsbrunner, H., Garber, A., Ghafari, M., Heiss, T., &; Saghafian, M. (2023). On angles in higher order Brillouin tessellations and related tilings in the plane. Discrete and Computational Geometry. Springer Nature.https://doi.org/10.1007/s00454-023-00566-1 

Ucar, M. C., Hannezo, E. B., Tiilikainen, E., Liaqat, I., Jakobsson, E., Nurmi, H., &; Vaahtomeri, K. (2023). Self-organized and directed branching results in optimal coverage in developing dermal lymphatic networks. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-023-41456-7 

Riedl, M., Mayer, I. D., Merrin, J., Sixt, M. K., &; Hof, B. (2023). Synchronization in collectively moving inanimate and living active matter. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-023-41432-1 

He, R., Yang, L., Zhang, Y., Jiang, D., Lee, S., Horta, S.,https://doi.org/10.1002/adma.202303719__Cabot, A. (2023). A 3d4d5d high entropy alloy as a bifunctional oxygen catalyst for robust aqueous zinc–air batteries. Advanced Materials. Wiley.https://doi.org/10.1002/adma.202303719 

Zeng, G., Sun, Q., Horta, S., Wang, S., Lu, X., Zhang, C.,https://doi.org/10.1002/adma.202305128__Cabot, A. (n.d.). A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries. Advanced Materials. Wiley.https://doi.org/10.1002/adma.202305128 

Narzisi, A., Halladay, A., Masi, G., Novarino, G., &; Lord, C. (2023). Tempering expectations: Considerations on the current state of stem cells therapy for autism treatment. Frontiers in Psychiatry. Frontiers.https://doi.org/10.3389/fpsyt.2023.1287879 

Sack, S., Medina Ramos, R. A., Kueng, R., &; Serbyn, M. (2023). Recursive greedy initialization of the quantum approximate optimization algorithm with guaranteed improvement. Physical Review A. American Physical Society.https://doi.org/10.1103/physreva.107.062404 

Wagner, U., &; Wild, P. (2023). Coboundary expansion, equivariant overlap, and crossing numbers of simplicial complexes. Israel Journal of Mathematics. Springer Nature.https://doi.org/10.1007/s11856-023-2521-9 

Bieleszová, K., Hladík, P., Kubala, M., Napier, R., Brunoni, F., Gelová, Z.,https://doi.org/10.1007/s10725-023-01083-0__dukauskait, A. (2023). New fluorescent auxin derivatives: anti-auxin activity and accumulation patterns in Arabidopsis thaliana. Plant Growth Regulation. Springer Nature.https://doi.org/10.1007/s10725-023-01083-0 

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 

Amberg, N., Cheung, G. T., &; Hippenmeyer, S. (2023). Protocol for sorting cells from mouse brains labeled with mosaic analysis with double markers by flow cytometry. STAR Protocols. Elsevier.https://doi.org/10.1016/j.xpro.2023.102771 

Auerbach, B., Cueto Noval, M., Pascual Perez, G., &; Pietrzak, K. Z. (2023). On the cost of post-compromise security in concurrent Continuous Group-Key Agreement. In 21st International Conference on Theory of Cryptography (Vol. 14371, pp. 271–300). Taipei, Taiwan: Springer Nature.https://doi.org/10.1007/978-3-031-48621-0_10 

Auerbach, B., Hoffmann, C., &; Pascual Perez, G. (2023). Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing. In 21st International Conference on Theory of Cryptography (Vol. 14371, pp. 301–330). Springer Nature.https://doi.org/10.1007/978-3-031-48621-0_11 

Ing-Simmons, E., Machnik, N. N., &; Vaquerizas, J. M. (2023). Reply to: Revisiting the use of structural similarity index in Hi-C. Nature Genetics. Springer Nature.https://doi.org/10.1038/s41588-023-01595-5 

Sitarska, E., Almeida, S. D., Beckwith, M. S., Stopp, J. A., Czuchnowski, J., Siggel, M.,https://doi.org/10.1038/s41467-023-41173-1__Diz-Muñoz, A. (2023). Sensing their plasma membrane curvature allows migrating cells to circumvent obstacles. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-023-41173-1 

Alanko, J. H., Ucar, M. C., Canigova, N., Stopp, J. A., Schwarz, J., Merrin, J.,https://doi.org/10.1126/sciimmunol.adc9584__Sixt, M. K. (2023). CC acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration. Science Immunology. American Association for the Advancement of Science.https://doi.org/10.1126/sciimmunol.adc9584 

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 

Pastva, S., &; Henzinger, T. A. (2023). Binary decision diagrams on modern hardware. In Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design (pp. 122–131). Ames, IA, United States: TU Vienna Academic Press.https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20 

Mollania, H., Zhang, C., Du, R., Qi, X., Li, J., Horta, S.,https://doi.org/10.1021/acsami.3c14072__Cabot, A. (2023). Nanostructured LiS cathodes for silicon-sulfur batteries. ACS Applied Materials and Interfaces. American Chemical Society.https://doi.org/10.1021/acsami.3c14072 

Jeschke, S., &; Wojtan, C. (2023). Generalizing shallow water simulations with dispersive surface waves. ACM Transactions on Graphics. Association for Computing Machinery.https://doi.org/10.1145/3592098 

Del Bianco, M., Friml, J., Strader, L., &; Kepinski, S. (2023). Auxin research: Creating tools for a greener future. Journal of Experimental Botany. Oxford University Press.https://doi.org/10.1093/jxb/erad420 

Biniaz, A., Jain, K., Lubiw, A., Masárová, Z., Miltzow, T., Mondal, D.,https://doi.org/10.46298/DMTCS.8383__Turcotte, A. (2023). Token swapping on trees. Discrete Mathematics and Theoretical Computer Science. EPI Sciences.https://doi.org/10.46298/DMTCS.8383 

Wan, S., Xiao, S., Li, M., Wang, X., Lim, K. H., Hong, M.,https://doi.org/10.1002/smtd.202301377__Liu, Y. (2023). Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4. Small Methods. Wiley.https://doi.org/10.1002/smtd.202301377 

Bastankhah, M., Chatterjee, K., Maddah-Ali, M. A., Schmid, S., Svoboda, J., &; Yeo, M. X. (2023). : Boosting liquidity in payment channel networks with online admission control. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13950, pp. 309–325). Bol, Brac, Croatia: Springer Nature.https://doi.org/10.1007/978-3-031-47754-6_18 

Lucek, K., Giménez, M. D., Joron, M., Rafajlovi, M., Searle, J. B., Walden, N.,https://doi.org/10.1101/cshperspect.a041447__Faria, R. (2023). The impact of chromosomal rearrangements in speciation: From micro- to macroevolution. Cold Spring Harbor Perspectives in Biology. Cold Spring Harbor Laboratory.https://doi.org/10.1101/cshperspect.a041447 

Mishra, U., Li, V., Wald, S., Agafonova, S., Diorico, F. R., &; Hosten, O. (2023). Monitoring and active stabilization of laser injection locking using beam ellipticity. Optics Letters. Optica Publishing Group.https://doi.org/10.1364/ol.495553 

Villalba Requena, A., Amberg, N., &; Hippenmeyer, S. (2023). Interplay of Cellautonomous Gene Function and Tissuewide Mechanisms Regulating Radial Glial Progenitor Lineage Progression. In W. Huttner (Ed.), Neocortical Neurogenesis in Development and Evolution (pp. 169–191). Wiley.https://doi.org/10.1002/9781119860914.ch10 

Wald, S., Diorico, F. R., &; Hosten, O. (2023). Analog stabilization of an electro-optic I/Q modulator with an auxiliary modulation tone. Applied Optics. Optica Publishing Group.https://doi.org/10.1364/ao.474118 

Danzl, J. G. (2023). Research data for the publication “Dense 4D nanoscale reconstruction of living brain tissue.”https://doi.org/10.15479/AT:ISTA:12817__Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:12817 

Velicky, P., Miguel Villalba, E., Michalska, J. M., Lyudchik, J., Wei, D., Lin, Z.,https://doi.org/10.1038/s41592-023-01936-6__Danzl, J. G. (2023). Dense 4D nanoscale reconstruction of living brain tissue. Nature Methods. Springer Nature.https://doi.org/10.1038/s41592-023-01936-6 

Iofinova, E. B., Peste, E.-A., &; Alistarh, D.-A. (2023). Bias in pruned vision models: In-depth analysis and countermeasures. In 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 24364–24373). Vancouver, BC, Canada: IEEE.https://doi.org/10.1109/cvpr52729.2023.02334 

Danzl, J. G., &; Velicky, P. (2023). LIONESS enables 4D nanoscale reconstruction of living brain tissue. Nature Methods. Springer Nature.https://doi.org/10.1038/s41592-023-01937-5 

Schnelli, K., &; Xu, Y. (2023). Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices. The Annals of Applied Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/22-aap1826 

Cheung, G. T., Chever, O., Rollenhagen, A., Quenech’du, N., Ezan, P., Lübke, J. H. R., &; Rouach, N. (2023). Astroglial connexin 43 regulates synaptic vesicle release at hippocampal synapses. Cells. MDPI.https://doi.org/10.3390/cells12081133 

Westerich, K. J., Tarbashevich, K., Schick, J., Gupta, A., Zhu, M., Hull, K.,https://doi.org/10.1016/j.devcel.2023.06.009__Raz, E. (2023). Spatial organization and function of RNA molecules within phase-separated condensates in zebrafish are controlled by Dnd1. Developmental Cell. Elsevier.https://doi.org/10.1016/j.devcel.2023.06.009 

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

Corominas-Murtra, B., &; Hannezo, E. B. (2023). Modelling the dynamics of mammalian gut homeostasis. Seminars in Cell &; Developmental Biology. Elsevier.https://doi.org/10.1016/j.semcdb.2022.11.005 

Carioni, M., Fischer, J. L., &; Schlömerkemper, A. (2023). External forces in the continuum limit of discrete systems with non-convex interaction potentials: Compactness for a -development. Journal of Convex Analysis. Heldermann Verlag.

Schwayer, C., &; Brückner, D. (2023). Connecting theory and experiment in cell and tissue mechanics. Journal of Cell Science. The Company of Biologists.https://doi.org/10.1242/jcs.261515 

Zikelic, D., Lechner, M., Henzinger, T. A., &; Chatterjee, K. (2023). Learning control policies for stochastic systems with reach-avoid guarantees. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 11926–11935). Washington, DC, United States: Association for the Advancement of Artificial Intelligence.https://doi.org/10.1609/aaai.v37i10.26407 

Cipolloni, G., Erdös, L., Schröder, D. J., &; Xu, Y. (2023). On the rightmost eigenvalue of non-Hermitian random matrices. The Annals of Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/23-aop1643 

Mitrouskas, D. J., &; Seiringer, R. (2023). Ubiquity of bound states for the strongly coupled polaron. Pure and Applied Analysis. Mathematical Sciences Publishers.https://doi.org/10.2140/paa.2023.5.973 

Sahu, R., Qiu, L., Hease, W. J., Arnold, G. M., Minoguchi, Y., Rabl, P., &; Fink, J. M. (2023). Entangling microwaves and telecom wavelength light. In Frontiers in Optics + Laser Science 2023. Tacoma, WA, United States: Optica Publishing Group.https://doi.org/10.1364/ls.2023.lm1f.3 

Stöllner, A., Lenton, I. C., Muller, C. J., &; Waitukaitis, S. R. (2023). Measuring spontaneous charging of single aerosol particles. In EGU General Assembly 2023. Vienna, Austria &; Virtual: European Geosciences Union.https://doi.org/10.5194/egusphere-egu23-6166 

Rella, S., Kulikova, Y., Minnegalieva, A., &; Kondrashov, F. (2023). Complex vaccination strategies prevent the emergence of vaccine resistance. In European Journal of Public Health (Vol. 33). Oxford University Press.https://doi.org/10.1093/eurpub/ckad160.597 

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 

Chen, H., Li, L., Zou, M., Qi, L., &; Friml, J. (2023). Distinct functions of TI and AF receptors in auxin signalling. Molecular Plant. Elsevier .https://doi.org/10.1016/j.molp.2023.06.007 

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 

Qi, L., &; Friml, J. (2023). Tale of cAMP as a second messenger in auxin signaling and beyond. New Phytologist. Wiley.https://doi.org/10.1111/nph.19123 

Minchington, T., Rus, S., &; Kicheva, A. (2023). Control of tissue dimensions in the developing neural tube and somites. Current Opinion in Systems Biology. Elsevier.https://doi.org/10.1016/j.coisb.2023.100459 

Xia, J., Kong, M., Yang, Z., Sun, L., Peng, Y., Mao, Y.,https://doi.org/10.1016/j.xplc.2023.100632__Tan, S. (2023). Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen. Plant Communications. Elsevier .https://doi.org/10.1016/j.xplc.2023.100632 

Grober, D., Palaia, I., Ucar, M. C., Hannezo, E. B., Sari, A., &; Palacci, J. A. (2023). Unconventional colloidal aggregation in chiral bacterial baths. Nature Physics. Springer Nature.https://doi.org/10.1038/s41567-023-02136-x 

Cornalba, F., &; Fischer, J. L. (2023). The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles. Archive for Rational Mechanics and Analysis. Springer Nature.https://doi.org/10.1007/s00205-023-01903-7 

Kueffner, K., Lukina, A., Schilling, C., &; Henzinger, T. A. (2023). Into the unknown: Active monitoring of neural networks (extended version). International Journal on Software Tools for Technology Transfer. Springer Nature.https://doi.org/10.1007/s10009-023-00711-4 

Hausel, T., Wong, M. L., &; Wyss, D. (2023). Arithmetic and metric aspects of open de Rham spaces. Proceedings of the London Mathematical Society. Wiley.https://doi.org/10.1112/plms.12555 

Seiringer, R., &; Solovej, J. P. (2023). A simple approach to Lieb-Thirring type inequalities. Journal of Functional Analysis. Elsevier.https://doi.org/10.1016/j.jfa.2023.110129 

Maes, M. E., Donahue, R. J., Schlamp, C. L., Marola, O. J., Libby, R. T., &; Nickells, R. W. (2023). BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps. Molecular Neurodegeneration. Springer Nature.https://doi.org/10.1186/s13024-023-00659-8 

Súkeník, P., Mondelli, M., &; Lampert, C. (n.d.). Deep neural collapse is provably optimal for the deep unconstrained features model. In 37th Annual Conference on Neural Information Processing Systems. New Orleans, LA, United States.

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 

Knaus, L., Basilico, B., Malzl, D., Gerykova Bujalkova, M., Smogavec, M., Schwarz, L. A.,https://doi.org/10.1016/j.cell.2023.02.037__Novarino, G. (2023). Large neutral amino acid levels tune perinatal neuronal excitability and survival. Cell. Elsevier.https://doi.org/10.1016/j.cell.2023.02.037 

Valentini, M., Sagi, O., Baghumyan, L., Gijsel, T. de, Jung, J., Calcaterra, S.,https://doi.org/10.48550/arXiv.2306.07109__Katsaros, G. (n.d.). Radio frequency driven superconducting diode and parity conserving  Cooper pair transport in a two-dimensional germanium hole gas. arXiv.https://doi.org/10.48550/arXiv.2306.07109 

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 

Lewin, M., Lieb, E. H., &; Seiringer, R. (2023). Universal Functionals in Density Functional Theory. In E. Cances &; G. Friesecke (Eds.), Density Functional Theory (1st ed., pp. 115–182). Springer.https://doi.org/10.1007/978-3-031-22340-2_3 

Danzl, J. G. (2023). Research data for the publication “Imaging brain tissue architecture across millimeter to nanometer scales.”https://doi.org/10.15479/AT:ISTA:13126__Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:13126 

Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P.,https://doi.org/10.15479/AT:ISTA:13116__Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:13116 

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 

Michalska, J. M., Lyudchik, J., Velicky, P., Korinkova, H., Watson, J., Cenameri, A.,https://doi.org/10.1038/s41587-023-01911-8__Danzl, J. G. (2023). Imaging brain tissue architecture across millimeter to nanometer scales. Nature Biotechnology. Springer Nature.https://doi.org/10.1038/s41587-023-01911-8 

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 

Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., &; Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. Zenodo.https://doi.org/10.5281/ZENODO.7877757 

Zikelic, D., Lechner, M., Verma, A., Chatterjee, K., &; Henzinger, T. A. (2023). Compositional policy learning in stochastic control systems with formal guarantees. In 37th Conference on Neural Information Processing Systems. New Orleans, LO, United States.

Chalupa, M., &; Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. In 23nd International Conference on Runtime Verification (Vol. 14245, pp. 168–190). Thessaloniki, Greek: Springer Nature.https://doi.org/10.1007/978-3-031-44267-4_9 

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

Chalupa, M., &; Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. Zenodo.https://doi.org/10.5281/ZENODO.8191723 

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 

Stankowski, S. (2023). Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails. Zenodo.https://doi.org/10.5281/ZENODO.8318995 

Abualia, R., Riegler, S., &; Benková, E. (2023). Nitrate, auxin and cytokinin - a trio to tango. Cells. MDPI.https://doi.org/10.3390/cells12121613 

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 

Zhang, C., Janzing, D., van der Schaar, M., Locatello, F., Spirtes, P., Zhang, K.,  Uhler, C. (2023). Causality in the time of LLMs: Round table discussion results of CLeaR 2023. In 2nd Conference on Causal Learning and Reasoning. Tübingen, Germany.

Shigemoto, R. (2023). Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:13173 

Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., &; Saghafian, M. (2023). Geometric characterization of the persistence of 1D maps. Journal of Applied and Computational Topology. Springer Nature.https://doi.org/10.1007/s41468-023-00126-9 

Mondal, S., Jethwa, R. B., Pant, B., Hauschild, R., &; Freunberger, S. A. (2023). Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes. Faraday Discussions. Royal Society of Chemistry.https://doi.org/10.1039/d3fd00088e 

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 

Olusanya, O. O., Khudiakova, K., &; Sachdeva, H. (n.d.). Genetic load, eco-evolutionary feedback and extinction in a metapopulation. bioRxiv.https://doi.org/10.1101/2023.12.02.569702