Kleinhanns, T., Milillo, F., Calcabrini, M., Fiedler, C., Horta, S., Balazs, D.,https://doi.org/10.1002/aenm.202400408__Ibáñez, M. (2024). A route to high thermoelectric performance: Solutionbased control of microstructure and composition in ASe. Advanced Energy Materials. Wiley.https://doi.org/10.1002/aenm.202400408 
LibreCat: https://research-explorer.ista.ac.at/record/15182
DOI: 10.1002/aenm.202400408

GOSWAMI, B. B. (2024). A pre-monsoon signal of false alarms of Indian monsoon droughts. Geophysical Research Letters. Wiley.https://doi.org/10.1029/2023GL106569 
LibreCat: https://research-explorer.ista.ac.at/record/15165
DOI: 10.1029/2023GL106569

Jakhar, N., &; Ibáñez, M. (2024). Electron highways are cooler. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.ado4077 
LibreCat: https://research-explorer.ista.ac.at/record/15166
DOI: 10.1126/science.ado4077

Zens, B., Fäßler, F., Hansen, J., Hauschild, R., Datler, J., Hodirnau, V.-V.,https://doi.org/10.1083/jcb.202309125__Schur, F. K. (2024). Lift-out cryo-FIBSEM and cryo-ET reveal the ultrastructural landscape of extracellular matrix. Journal of Cell Biology. Rockefeller University Press.https://doi.org/10.1083/jcb.202309125 
LibreCat: https://research-explorer.ista.ac.at/record/15146
DOI: 10.1083/jcb.202309125
PMID: 38506714

Lauritsen, A. B., &; Seiringer, R. (2024). Ground state energy of the dilute spin-polarized Fermi gas: Upper bound via cluster expansion. Journal of Functional Analysis. Elsevier.https://doi.org/10.1016/j.jfa.2024.110320 
LibreCat: https://research-explorer.ista.ac.at/record/14931
DOI: 10.1016/j.jfa.2024.110320
arXiv: 2301.04894

Henzinger, M. H., Upadhyay, J., &; Upadhyay, S. (2024). A unifying framework for differentially private sums under continual observation. In Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (Vol. 2024, pp. 995–1018). Alexandria, VA, United States: Society for Industrial and Applied Mathematics.https://doi.org/10.1137/1.9781611977912.38 
LibreCat: https://research-explorer.ista.ac.at/record/15253
DOI: 10.1137/1.9781611977912.38
arXiv: 2307.08970

Matthee, J. J., Golling, C., Mackenzie, R., Pezzulli, G., Lilly, S., Schaye, J.,https://doi.org/10.1093/mnras/stae673__Wisotzki, L. (2024). Large-scale excess H I absorption around zhttps://doi.org/10.1093/mnras/stae673__4 galaxies detected in a background galaxy spectrum in the MUSE eXtremely deep field. Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stae673 
LibreCat: https://research-explorer.ista.ac.at/record/15249
DOI: 10.1093/mnras/stae673
arXiv: 2305.15346

Boytsov, D., Madej, G. M., Horn, G., Blaha, N., Köcher, T., Sitte, H. H.,https://doi.org/10.1073/pnas.2319686121__Roblek, M. (2024). Orphan lysosomal solute carrier MFS facilitates highly selective dipeptide transport. Proceedings of the National Academy of Sciences of the United States of America. Proceedings of the National Academy of Sciences.https://doi.org/10.1073/pnas.2319686121 
LibreCat: https://research-explorer.ista.ac.at/record/15250
DOI: 10.1073/pnas.2319686121
PMID: 38507452

Ying, W., Wang, Y., Wei, H., Luo, Y., Ma, Q., Zhu, H.,https://doi.org/10.1126/science.adj4591__Sun, L. (2024). Structure and function of the Arabidopsis ABC transporter ABC in brassinosteroid export. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.adj4591 
LibreCat: https://research-explorer.ista.ac.at/record/15251
DOI: 10.1126/science.adj4591
PMID: 38513023

Shen, S. (2024). Mirror symmetry for parabolic Higgs bundles via p-adic integration. Advances in Mathematics. Elsevier.https://doi.org/10.1016/j.aim.2024.109616 
LibreCat: https://research-explorer.ista.ac.at/record/15248
DOI: 10.1016/j.aim.2024.109616

Frankl, P., Pach, J., &; Pálvölgyi, D. (2024). Odd-sunflowers. Journal of Combinatorial Theory, Series A. Elsevier.https://doi.org/10.1016/j.jcta.2024.105889 
LibreCat: https://research-explorer.ista.ac.at/record/15247
DOI: 10.1016/j.jcta.2024.105889
arXiv: 2310.16701

Dello Schiavo, L. (2024). A characterization of maps of bounded compression. Mathematical Communications. Udruga Matematicara Osijek.
LibreCat: https://research-explorer.ista.ac.at/record/15252
arXiv: 2304.11348

Kulich, I., Schmid, J., Teplova, A., Qi, L., &; Friml, J. (2024). Rapid translocation of NGR proteins driving polarization of PIN-activatinghttps://doi.org/10.7554/elife.91523.3__protein kinase during root gravitropism. ELife. eLife Sciences Publications.https://doi.org/10.7554/elife.91523.3 
LibreCat: https://research-explorer.ista.ac.at/record/15257
DOI: 10.7554/elife.91523.3

Hall, S. M., Kochin, D., Carne, C., Herterich, P., Lewers, K. L., Abdelhack, M.,https://doi.org/10.1371/journal.pcbi.1011797__Sharan, M. (2024). Ten simple rules for pushing boundaries of inclusion at academic events. PLOS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1011797 
LibreCat: https://research-explorer.ista.ac.at/record/15258
DOI: 10.1371/journal.pcbi.1011797
PMID: 38427633

Buri, P., Fatichi, S., Shaw, T., Fyffe, C. L., Miles, E. S., McCarthy, M.,https://doi.org/10.1080/10095020.2024.2330546__Pellicciotti, F. (n.d.). Land surface modeling informed by earth observation data: Toward understanding blue–green–white water fluxes in High Mountain Asia. Geo-Spatial Information Science. Taylor &; Francis.https://doi.org/10.1080/10095020.2024.2330546 
LibreCat: https://research-explorer.ista.ac.at/record/15298
DOI: 10.1080/10095020.2024.2330546

Beyer, C., Currin, C., Williams, T., &; Stein, D. J. (n.d.). Meta-analysis of the comparative efficacy of benzodiazepines and antidepressants for psychic versus somatic symptoms of generalized anxiety disorder. Comprehensive Psychiatry. Elsevier.https://doi.org/10.1016/j.comppsych.2024.152479 
LibreCat: https://research-explorer.ista.ac.at/record/15295
DOI: 10.1016/j.comppsych.2024.152479
PMID: 38564872

Lopushanski, M., &; Ivanov, G. (2024). A constructive algorithm for building rectifiable curves in weakly convex sets. In AIP Conference Proceedings (Vol. 3030). Virtual: AIP Publishing.https://doi.org/10.1063/5.0195908 
LibreCat: https://research-explorer.ista.ac.at/record/15296
DOI: 10.1063/5.0195908

Svoboda, J., Joshi, S. S., Tkadlec, J., &; Chatterjee, K. (2024). Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1012008 
LibreCat: https://research-explorer.ista.ac.at/record/15297
DOI: 10.1371/journal.pcbi.1012008
arXiv: 2401.14914

Hörmayer, L., Montesinos López, J. C., Trozzi, N., Spona, L., Yoshida, S., Marhavá, P.,https://doi.org/10.1016/j.devcel.2024.03.009__Friml, J. (2024). Mechanical forces in plant tissue matrix orient cell divisions via microtubule stabilization. Dev Cell. Elsevier.https://doi.org/10.1016/j.devcel.2024.03.009 
LibreCat: https://research-explorer.ista.ac.at/record/15301
DOI: 10.1016/j.devcel.2024.03.009
PMID: 38579717

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 
LibreCat: https://research-explorer.ista.ac.at/record/14711
DOI: 10.15479/at:ista:14711

Sobarzo Ponce, J. C. A., &; Waitukaitis, S. R. (2024). Multiple charge carrier species as a possible cause for triboelectric cycles. Physical Review E. American Physical Society.https://doi.org/10.1103/PhysRevE.109.L032108 
LibreCat: https://research-explorer.ista.ac.at/record/15322
DOI: 10.1103/PhysRevE.109.L032108

Bossmann, L., Leopold, N. K., Mitrouskas, D. J., &; Petrat, S. P. (2024). A note on the binding energy for Bosons in the mean-field limit. Journal of Statistical Physics. Springer Nature.https://doi.org/10.1007/s10955-024-03260-5 
LibreCat: https://research-explorer.ista.ac.at/record/15318
DOI: 10.1007/s10955-024-03260-5
arXiv: 2307.13115

Dello Schiavo, L., Portinale, L., &; Sau, F. (2024). Scaling limits of random walks, harmonic profiles, and stationary nonequilibrium states in Lipschitz domains. Annals of Applied Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/23-AAP2007 
LibreCat: https://research-explorer.ista.ac.at/record/15317
DOI: 10.1214/23-AAP2007
arXiv: 2112.14196

Vercellino, I., &; Sazanov, L. A. (2024). SCA drives the compositional diversity of mammalian respirasomes. Nature Structural and Molecular Biology. Springer Nature.https://doi.org/10.1038/s41594-024-01255-0 
LibreCat: https://research-explorer.ista.ac.at/record/15323
DOI: 10.1038/s41594-024-01255-0
PMID: 38575788

Huebbers, J. W., Caldarescu, G. A., Kubátová, Z., Sabol, P., Levecque, S. C. J., Kuhn, H.,https://doi.org/10.1093/plcell/koad319__dárský, V. (2024). Interplay of EXO70 and MLO proteins modulates trichome cell wall composition and susceptibility to powdery mildew. Plant Cell. Oxford University Press.https://doi.org/10.1093/plcell/koad319 
LibreCat: https://research-explorer.ista.ac.at/record/15319
DOI: 10.1093/plcell/koad319
PMID: 38124479

Seoane Souto, R., Leijnse, M., Schrade, C., Valentini, M., Katsaros, G., &; Danon, J. (2024). Tuning the Josephson diode response with an ac current. Physical Review Research. American Physical Society.https://doi.org/10.1103/PhysRevResearch.6.L022002 
LibreCat: https://research-explorer.ista.ac.at/record/15320
DOI: 10.1103/PhysRevResearch.6.L022002

Brückner, D., &; Broedersz, C. P. (2024). Learning dynamical models of single and collective cell migration: a review. Reports on Progress in Physics. IOP Publishing.https://doi.org/10.1088/1361-6633/ad36d2 
LibreCat: https://research-explorer.ista.ac.at/record/15315
DOI: 10.1088/1361-6633/ad36d2

Agasthya, L. N., &; Muller, C. J. (2024). Dynamics and scaling of internally cooled convection. Communications in Nonlinear Science and Numerical Simulation. Elsevier.https://doi.org/10.1016/j.cnsns.2024.108011 
LibreCat: https://research-explorer.ista.ac.at/record/15313
DOI: 10.1016/j.cnsns.2024.108011
arXiv: 2311.04114

Mahato, N., Singh, S., Sreekanth, T. V. M., Yoo, K., &; Kim, J. (2024). Polycrystalline phases engineered in-situ in polyaniline-graphene composite evoluting an exceptional stability and high charge storage capacity: An EIS investigative approach to evaluate material’s stability. Journal of Energy Storage. Elsevier.https://doi.org/10.1016/j.est.2024.111464 
LibreCat: https://research-explorer.ista.ac.at/record/15314
DOI: 10.1016/j.est.2024.111464

Trinh, G., Benhamou, B., Pastva, S., &; Soliman, S. (2024). Scalable enumeration of trap spaces in boolean networks via answer set programming. In Proceedings of the 38th AAAI Conference on Artificial Intelligence (Vol. 38, pp. 10714–10722). Association for the Advancement of Artificial Intelligence.https://doi.org/10.1609/aaai.v38i9.28943 
LibreCat: https://research-explorer.ista.ac.at/record/15321
DOI: 10.1609/aaai.v38i9.28943

Zocher, S., Mccloskey, A., Karasinsky, A., Schulte, R., Friedrich, U., Lesche, M.,https://doi.org/10.1126/science.adf3481__Toda, T. (2024). Lifelong persistence of nuclear RNAs in the mouse brain. Science. AAAS.https://doi.org/10.1126/science.adf3481 
LibreCat: https://research-explorer.ista.ac.at/record/15316
DOI: 10.1126/science.adf3481
PMID: 38574132

González, M., &; Hausel, T. (2024). Hitchin map on even very stable upward flows. International Journal of Mathematics. World Scientific Publishing.https://doi.org/10.1142/S0129167X2441009X 
LibreCat: https://research-explorer.ista.ac.at/record/15339
DOI: 10.1142/S0129167X2441009X
arXiv: 2303.01404

Bonolis, D., Browning, T. D., &; Huang, Z. (2024). Density of rational points on some quadric bundle threefolds. Mathematische Annalen. Springer Nature.https://doi.org/10.1007/s00208-024-02854-4 
LibreCat: https://research-explorer.ista.ac.at/record/15337
DOI: 10.1007/s00208-024-02854-4
arXiv: 2204.09322

Pensabene, A., Cantalupo, S., Cicone, C., Decarli, R., Galbiati, M., Ginolfi, M.,https://doi.org/10.1051/0004-6361/202348659__Maseda, M. V. (2024). ALMA survey of a massive node of the Cosmic Web at z c 3: I. Discovery of a large overdensity of CO emitters. Astronomy and Astrophysics. EDP Sciences.https://doi.org/10.1051/0004-6361/202348659 
LibreCat: https://research-explorer.ista.ac.at/record/15336
DOI: 10.1051/0004-6361/202348659
arXiv: 2401.04765

Godavarthi, S. K., Hiramoto, M., Ignatyev, Y., Levin, J. B., Li, H. Q., Pratelli, M.,https://doi.org/10.1073/pnas.2318041121__Spitzer, N. C. (2024). Postsynaptic receptors regulate presynaptic transmitter stability through transsynaptic bridges. PNAS. Proceedings of the National Academy of Sciences.https://doi.org/10.1073/pnas.2318041121 
LibreCat: https://research-explorer.ista.ac.at/record/15335
DOI: 10.1073/pnas.2318041121
PMID: 38568976

Abels, H., Fei, M., &; Moser, M. (2024). Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility. Calculus of Variations and Partial Differential Equations. Springer Nature.https://doi.org/10.1007/s00526-024-02715-7 
LibreCat: https://research-explorer.ista.ac.at/record/15334
DOI: 10.1007/s00526-024-02715-7
arXiv: 2304.12096

Browning, T. D., Pierce, L. B., &; Schindler, D. (2024). Generalised quadratic forms over totally real number fields. Journal of the Institute of Mathematics of Jussieu. Cambridge University Press.https://doi.org/10.1017/S1474748024000161 
LibreCat: https://research-explorer.ista.ac.at/record/15338
DOI: 10.1017/S1474748024000161
arXiv: 2212.11038

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 
LibreCat: https://research-explorer.ista.ac.at/record/10045
DOI: 10.1007/s10107-024-02064-5
arXiv: 2109.10203

Zeng, Z., Shen, X., Cheng, R., Perez, O., Ouyang, N., Fan, Z.,https://doi.org/10.1038/s41467-024-46799-3__Chen, Y. (2024). Pushing thermal conductivity to its lower limit in crystals with simple structures. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-024-46799-3 
LibreCat: https://research-explorer.ista.ac.at/record/15311
DOI: 10.1038/s41467-024-46799-3
arXiv: 2310.01838

Browning, T. D., &; Shparlinski, I. E. (2024). Square-free values of random polynomials. Journal of Number Theory. Elsevier.https://doi.org/10.1016/j.jnt.2024.02.013 
LibreCat: https://research-explorer.ista.ac.at/record/15312
DOI: 10.1016/j.jnt.2024.02.013
arXiv: 2305.15493

Chalupa, M., &; Richter, C. (2024). Bubaak-SpLit: Split what you cannot verify (Competition contribution). In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 353–358). Luxembourg City, Luxembourg: Springer Nature.https://doi.org/10.1007/978-3-031-57256-2_20 
LibreCat: https://research-explorer.ista.ac.at/record/15333
DOI: 10.1007/978-3-031-57256-2_20

Gnyliukh, N., Johnson, A. J., Nagel, M., Monzer, A., Babic, D., Hlavata, A.,https://doi.org/10.1242/jcs.261720__Friml, J. (2024). Role of dynamin-related proteins 2 and S in clathrin-mediated endocytosis in Arabidopsis thaliana. Journal of Cell Science. The Company of Biologists.https://doi.org/10.1242/jcs.261720 
LibreCat: https://research-explorer.ista.ac.at/record/15330
DOI: 10.1242/jcs.261720
PMID: 38506228

Mahato, N., Singh, S., Sreekanth, T. V. M., Yoo, K., &; Kim, J. (2024). In-situ engineered highly crystalline polythiophene empowered electrochemical capacitor-I: Synthesis, characterization, and electrochemical charge storage. Materials Letters. Elsevier.https://doi.org/10.1016/j.matlet.2024.136483 
LibreCat: https://research-explorer.ista.ac.at/record/15348
DOI: 10.1016/j.matlet.2024.136483

Rouzé, C., Wirth, M., &; Zhang, H. (2024). Quantum Talagrand, KKL and Friedgut’s theorems and the learnability of quantum boolean functions. Communications in Mathematical Physics. Springer Nature.https://doi.org/10.1007/s00220-024-04981-0 
LibreCat: https://research-explorer.ista.ac.at/record/15350
DOI: 10.1007/s00220-024-04981-0
arXiv: 2209.07279

Jayasree, A., Salava, H., Nodzynski, T., &; Sravankumar, T. (2024). Protein-Protein Interactions Visualized by Bimolecular Fluorescence Complementation in Arabidopsis thaliana Protoplasts from Leaf. In F. Maghuly (Ed.), Plant Functional Genomics (Vol. 2787, pp. 305–313). Springer Nature.https://doi.org/10.1007/978-1-0716-3778-4_21 
LibreCat: https://research-explorer.ista.ac.at/record/15361
DOI: 10.1007/978-1-0716-3778-4_21
PMID: 38656499

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 
LibreCat: https://research-explorer.ista.ac.at/record/15101
DOI: 10.15479/at:ista:15101

Chen, J., Kaufmann, W., Chen, C., Arai,https://doi.org/10.1016/j.neuron.2023.12.002__itaru, Kim, O., Shigemoto, R., &; Jonas, P. M. (n.d.). Developmental transformation of C+ channel-vesicle nanotopography at a central GABAergic synapse. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2023.12.002 
LibreCat: https://research-explorer.ista.ac.at/record/14843
DOI: 10.1016/j.neuron.2023.12.002
PMID: 38215739

Andrianova, M. A., Seplyarskiy, V. B., Terradas, M., Sánchez-Heras, A. B., Mur, P., Soto, J. L.,https://doi.org/10.1038/s41431-024-01598-8__Valle, L. (2024). Discovery of recessive effect of human polymerase ;4 proofreading deficiency through mutational analysis of POL-mutated normal and cancer cells. European Journal of Human Genetics. Springer Nature.https://doi.org/10.1038/s41431-024-01598-8 
LibreCat: https://research-explorer.ista.ac.at/record/15362
DOI: 10.1038/s41431-024-01598-8
PMID: 38658779

Babkin, S., Higginbotham, A. P., &; Serbyn, M. (2024). Proximity-induced gapless superconductivity in two-dimensional Rashba semiconductor in magnetic field. SciPost Physics. SciPost Foundation.https://doi.org/10.21468/scipostphys.16.5.115 
LibreCat: https://research-explorer.ista.ac.at/record/15367
DOI: 10.21468/scipostphys.16.5.115
arXiv: 2311.09347

Hannezo, E. B., &; Scheele, C. L. G. J. (2023). A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In C. Margadant (Ed.), Cell Migration in Three Dimensions (Vol. 2608, pp. 183–205). Springer Nature.https://doi.org/10.1007/978-1-0716-2887-4_12 
LibreCat: https://research-explorer.ista.ac.at/record/12428
DOI: 10.1007/978-1-0716-2887-4_12
PMID: 36653709

Ghazaryan, A., Cappellaro, A., Lemeshko, M., &; Volosniev, A. (2023). Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. American Physical Society.https://doi.org/10.1103/physrevresearch.5.013029 
LibreCat: https://research-explorer.ista.ac.at/record/12534
DOI: 10.1103/physrevresearch.5.013029

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 
LibreCat: https://research-explorer.ista.ac.at/record/12676
DOI: 10.1137/1.9781611977554.ch173

Arroyo-Urea, S., Watson, J., &; García-Nafría, J. (2023). Molecular Cloning Using In Vivo DNA Assembly. In G. Scarlett (Ed.), DNA Manipulation and Analysis (Vol. 2633, pp. 33–44). New York, NY, United States: Springer Nature.https://doi.org/10.1007/978-1-0716-3004-4_3 
LibreCat: https://research-explorer.ista.ac.at/record/12720
DOI: 10.1007/978-1-0716-3004-4_3
PMID: 36853454

Koval, N., Alistarh, D.-A., &; Elizarov, R. (2023). Fast and scalable channels in Kotlin Coroutines. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 107–118). Montreal, QC, Canada: Association for Computing Machinery.https://doi.org/10.1145/3572848.3577481 
LibreCat: https://research-explorer.ista.ac.at/record/12735
DOI: 10.1145/3572848.3577481
arXiv: 2211.04986

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 
LibreCat: https://research-explorer.ista.ac.at/record/12736
DOI: 10.1145/3572848.3577512

Henzinger, M. H., Neumann, S., Räcke, H., &; Schmid, S. (2023). Dynamic maintenance of monotone dynamic programs and applications. In 40th International Symposium on Theoretical Aspects of Computer Science (Vol. 254). Hamburg, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.STACS.2023.36 
LibreCat: https://research-explorer.ista.ac.at/record/12760
DOI: 10.4230/LIPIcs.STACS.2023.36
arXiv: 2301.01744

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 
LibreCat: https://research-explorer.ista.ac.at/record/12716
DOI: 10.15479/at:ista:12716

Chalupa, M., &; Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30820-8_32 
LibreCat: https://research-explorer.ista.ac.at/record/12854
DOI: 10.1007/978-3-031-30820-8_32

Chern, A., &; Ishida, S. (n.d.). Area formula for spherical polygons via prequantization. arXiv.https://doi.org/10.48550/arXiv.2303.14555 
LibreCat: https://research-explorer.ista.ac.at/record/12846
DOI: 10.48550/arXiv.2303.14555
arXiv: 2303.14555

Chalupa, M., Mühlböck, F., Muroya Lei, S., &; Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30826-0_15 
LibreCat: https://research-explorer.ista.ac.at/record/12856
DOI: 10.1007/978-3-031-30826-0_15

Chalupa, M., Mühlböck, F., Muroya Lei, S., &; Henzinger, T. A. (2023). VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:12407 
LibreCat: https://research-explorer.ista.ac.at/record/12407
DOI: 10.15479/AT:ISTA:12407

Currin, C., &; Beyer, C. (2023). Altered childhood brain development in autism and epilepsy. In B. Halpern-Felsher (Ed.), Encyclopedia of Child and Adolescent Health (1st ed., pp. 86–98). Elsevier.https://doi.org/10.1016/b978-0-12-818872-9.00129-1 
LibreCat: https://research-explorer.ista.ac.at/record/12866
DOI: 10.1016/b978-0-12-818872-9.00129-1

Zhao, L., Yang, Y., Chen, J., Lin, X., Zhang, H., Wang, H.,https://doi.org/10.1186/s13059-022-02844-2__Xiao, J. (2023). Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat. Genome Biology. Springer Nature.https://doi.org/10.1186/s13059-022-02844-2 
LibreCat: https://research-explorer.ista.ac.at/record/12668
DOI: 10.1186/s13059-022-02844-2
PMID: 36639687

Lieutier, A., &; Wintraecken, M. (2023). Hausdorff and Gromov-Hausdorff stable subsets of the medial axis. In Proceedings of the 55th Annual ACM Symposium on Theory of Computing (pp. 1768–1776). Orlando, FL, United States: Association for Computing Machinery.https://doi.org/10.1145/3564246.3585113 
LibreCat: https://research-explorer.ista.ac.at/record/13048
DOI: 10.1145/3564246.3585113
arXiv: 2303.04014

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 .
LibreCat: https://research-explorer.ista.ac.at/record/13053
arXiv: 2207.14200

Hoffmann, C., Hubádek, P., Kamath, C., &; Pietrzak, K. Z. (2023). Certifying giant nonprimes. In Public-Key Cryptography - PKC 2023 (Vol. 13940, pp. 530–553). Atlanta, GA, United States: Springer Nature.https://doi.org/10.1007/978-3-031-31368-4_19 
LibreCat: https://research-explorer.ista.ac.at/record/13143
DOI: 10.1007/978-3-031-31368-4_19

Chatterjee, K., Henzinger, T. A., Lechner, M., &; Zikelic, D. (2023). A learner-verifier framework for neural network controllers and certificates of stochastic systems. In Tools and Algorithms for the Construction and Analysis of Systems  (Vol. 13993, pp. 3–25). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30823-9_1 
LibreCat: https://research-explorer.ista.ac.at/record/13142
DOI: 10.1007/978-3-031-30823-9_1

Anand, A., Mallik, K., Nayak, S. P., &; Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 211–228). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30820-8_15 
LibreCat: https://research-explorer.ista.ac.at/record/13141
DOI: 10.1007/978-3-031-30820-8_15

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 
LibreCat: https://research-explorer.ista.ac.at/record/12826
DOI: 10.15479/at:ista:12826

Edelsbrunner, H., &; Osang, G. F. (2023). A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. Springer Nature.https://doi.org/10.1007/s00453-022-01027-6 
LibreCat: https://research-explorer.ista.ac.at/record/12086
DOI: 10.1007/s00453-022-01027-6
WoS: 000846967100001

Dello Schiavo, L., &; Wirth, M. (2023). Ergodic decompositions of Dirichlet forms under order isomorphisms. Journal of Evolution Equations. Springer Nature.https://doi.org/10.1007/s00028-022-00859-7 
LibreCat: https://research-explorer.ista.ac.at/record/12104
DOI: 10.1007/s00028-022-00859-7
WoS: 000906214600004

GOSWAMI, B. B. (2023). Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. Springer Nature.https://doi.org/10.1007/s00382-022-06337-7 
LibreCat: https://research-explorer.ista.ac.at/record/11434
DOI: 10.1007/s00382-022-06337-7
WoS: 000803119400002

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 
LibreCat: https://research-explorer.ista.ac.at/record/12467
DOI: 10.1007/978-3-031-30829-1_17
arXiv: 2301.11175

Koval, N., Khalanskiy, D., &; Alistarh, D.-A. (2023). CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. Association for Computing Machinery .https://doi.org/10.1145/3591230 
LibreCat: https://research-explorer.ista.ac.at/record/13179
DOI: 10.1145/3591230

Browning, T. D., Lyczak, J., &; Sarapin, R. (2023). Local solubility for a family of quadrics over a split quadric surface. Involve. Mathematical Sciences Publishers.https://doi.org/10.2140/involve.2023.16.331 
LibreCat: https://research-explorer.ista.ac.at/record/13180
DOI: 10.2140/involve.2023.16.331
arXiv: 2203.06881

Wei, Y., Volosniev, A., Lorenc, D., Zhumekenov, A. A., Bakr, O. M., Lemeshko, M., &; Alpichshev, Z. (2023). Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites. The Journal of Physical Chemistry Letters. American Chemical Society.https://doi.org/10.1021/acs.jpclett.3c01158 
LibreCat: https://research-explorer.ista.ac.at/record/13251
DOI: 10.1021/acs.jpclett.3c01158
WoS: 001022811500001
arXiv: 2304.14198

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 
LibreCat: https://research-explorer.ista.ac.at/record/13292
DOI: 10.4230/LIPIcs.ICALP.2023.129
arXiv: 2305.03447

Tucci, G., De Nicola, S., Wald, S., &; Gambassi, A. (2023). Stochastic representation of the quantum quartic oscillator. SciPost Physics Core. SciPost Foundation.https://doi.org/10.21468/scipostphyscore.6.2.029 
LibreCat: https://research-explorer.ista.ac.at/record/13277
DOI: 10.21468/scipostphyscore.6.2.029
arXiv: 2211.01923

Rammelmüller, L., Huber, D., &; Volosniev, A. (2023). A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D. SciPost Physics Codebases. SciPost Foundation.https://doi.org/10.21468/scipostphyscodeb.12 
LibreCat: https://research-explorer.ista.ac.at/record/13276
DOI: 10.21468/scipostphyscodeb.12
arXiv: 2202.04603

Rammelmüller, L., Huber, D., &; Volosniev, A. (2023). Codebase release 1.0 for FermiFCI. SciPost Foundation.https://doi.org/10.21468/scipostphyscodeb.12-r1.0 
LibreCat: https://research-explorer.ista.ac.at/record/13275
DOI: 10.21468/scipostphyscodeb.12-r1.0

De Jode, A., Le Moan, A., Johannesson, K., Faria, R., Stankowski, S., Westram, A. M.,https://doi.org/10.1111/eva.13428__Fraisse, C. (2023). Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. Wiley.https://doi.org/10.1111/eva.13428 
LibreCat: https://research-explorer.ista.ac.at/record/11479
DOI: 10.1111/eva.13428
WoS: 000815663700001

Gómez, A., &; Oliveira, G. (2023). New approaches to epidemic modeling on networks. Scientific Reports. Springer Nature.https://doi.org/10.1038/s41598-022-19827-9 
LibreCat: https://research-explorer.ista.ac.at/record/12329
DOI: 10.1038/s41598-022-19827-9
WoS: 001003345000051

Wilsch, F. A. (2023). Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. Oxford Academic.https://doi.org/10.1093/imrn/rnac048 
LibreCat: https://research-explorer.ista.ac.at/record/9034
DOI: 10.1093/imrn/rnac048
WoS: 000773116000001
arXiv: 1901.08503

Viljakainen, L., Fürst, M., Grasse, A. V., Jurvansuu, J., Oh, J., Tolonen, L.,https://doi.org/10.3389/fmicb.2023.1119002__Cremer, S. (2023). Antiviral immune response reveals host-specific virus infections in natural ant populations. Frontiers in Microbiology. Frontiers.https://doi.org/10.3389/fmicb.2023.1119002 
LibreCat: https://research-explorer.ista.ac.at/record/12469
DOI: 10.3389/fmicb.2023.1119002
WoS: 000961542100001
PMID: PPR559293 

Boissonnat, J.-D., Dyer, R., Ghosh, A., &; Wintraecken, M. (2023). Local criteria for triangulating general manifolds. Discrete &; Computational Geometry. Springer Nature.https://doi.org/10.1007/s00454-022-00431-7 
LibreCat: https://research-explorer.ista.ac.at/record/12287
DOI: 10.1007/s00454-022-00431-7
WoS: 000862193600001

Hof, B. (2023). Directed percolation and the transition to turbulence. Nature Reviews Physics. Springer Nature.https://doi.org/10.1038/s42254-022-00539-y 
LibreCat: https://research-explorer.ista.ac.at/record/12165
DOI: 10.1038/s42254-022-00539-y
WoS: 000890148700002

Fäßler, F., Javoor, M., &; Schur, F. K. (2023). Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. Portland Press.https://doi.org/10.1042/bst20220221 
LibreCat: https://research-explorer.ista.ac.at/record/12421
DOI: 10.1042/bst20220221
WoS: 000926043100001

Marensi, E., Yalniz, G., Hof, B., &; Budanur, N. B. (2023). Symmetry-reduced dynamic mode decomposition of near-wall turbulence. Journal of Fluid Mechanics. Cambridge University Press.https://doi.org/10.1017/jfm.2022.1001 
LibreCat: https://research-explorer.ista.ac.at/record/12105
DOI: 10.1017/jfm.2022.1001
WoS: 000903336600001
arXiv: 2101.07516

Bolnick, D. I., Hund, A. K., Nosil, P., Peng, F., Ravinet, M., Stankowski, S.,https://doi.org/10.1093/evolut/qpac004__Yukilevich, R. (2023). A multivariate view of the speciation continuum. Evolution: International Journal of Organic Evolution. Oxford University Press.https://doi.org/10.1093/evolut/qpac004 
LibreCat: https://research-explorer.ista.ac.at/record/12514
DOI: 10.1093/evolut/qpac004
WoS: 001021686300024
PMID: 36622661

Forghani, M., Claramunt, C., Karimipour, F., &; Heiler, G. (2023). Visual analytics of mobility network changes observed using mobile phone data during COVID-19 pandemic. In 2022 IEEE International Conference on Data Mining Workshops. Orlando, FL, United States: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/icdmw58026.2022.00093 
LibreCat: https://research-explorer.ista.ac.at/record/12548
DOI: 10.1109/icdmw58026.2022.00093
WoS: 000971492200145

Krokhin, A., Oprsal, J., Wrochna, M., &; divný, S. (2023). Topology and adjunction in promise constraint satisfaction. SIAM Journal on Computing. Society for Industrial &; Applied Mathematics.https://doi.org/10.1137/20m1378223 
LibreCat: https://research-explorer.ista.ac.at/record/12563
DOI: 10.1137/20m1378223
WoS: 000955000000001
arXiv: 2003.11351

Balestrieri, F. (2023). Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups. Proceedings of the American Mathematical Society. American Mathematical Society.https://doi.org/10.1090/proc/15239 
LibreCat: https://research-explorer.ista.ac.at/record/12427
DOI: 10.1090/proc/15239
WoS: 000898440000001

Villalba Requena, A., &; Hippenmeyer, S. (2023). Going back in time with TEMPO. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2023.01.006 
LibreCat: https://research-explorer.ista.ac.at/record/12542
DOI: 10.1016/j.neuron.2023.01.006
WoS: 000994473300001

Mrestani, A., Lichter, K., Sirén, A. L., Heckmann, M., Paul, M. M., &; Pauli, M. (2023). Single-molecule localization microscopy of presynaptic active zones in Drosophila melanogaster after rapid cryofixation. International Journal of Molecular Sciences. MDPI.https://doi.org/10.3390/ijms24032128 
LibreCat: https://research-explorer.ista.ac.at/record/12567
DOI: 10.3390/ijms24032128
WoS: 000930324700001

Alistarh, D.-A., Ellen, F., &; Rybicki, J. (2023). Wait-free approximate agreement on graphs. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2023.113733 
LibreCat: https://research-explorer.ista.ac.at/record/12566
DOI: 10.1016/j.tcs.2023.113733
WoS: 000934262700001

Dubief, Y., Terrapon, V. E., &; Hof, B. (2023). Elasto-inertial turbulence. Annual Review of Fluid Mechanics. Annual Reviews.https://doi.org/10.1146/annurev-fluid-032822-025933 
LibreCat: https://research-explorer.ista.ac.at/record/12681
DOI: 10.1146/annurev-fluid-032822-025933
WoS: 000915418100026

Avila, M., Barkley, D., &; Hof, B. (2023). Transition to turbulence in pipe flow. Annual Review of Fluid Mechanics. Annual Reviews.https://doi.org/10.1146/annurev-fluid-120720-025957 
LibreCat: https://research-explorer.ista.ac.at/record/12682
DOI: 10.1146/annurev-fluid-120720-025957
WoS: 000915418100023

Araújo, N. A. M., Janssen, L. M. C., Barois, T., Boffetta, G., Cohen, I., Corbetta, A.,https://doi.org/10.1039/d2sm01562e__Volpe, G. (2023). Steering self-organisation through confinement. Soft Matter. Royal Society of Chemistry.https://doi.org/10.1039/d2sm01562e 
LibreCat: https://research-explorer.ista.ac.at/record/12708
DOI: 10.1039/d2sm01562e
WoS: 000940388100001
arXiv: 2204.10059

Cheng, B., Hamel, S., &; Bethkenhagen, M. (2023). Thermodynamics of diamond formation from hydrocarbon mixtures in planets. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-023-36841-1 
LibreCat: https://research-explorer.ista.ac.at/record/12702
DOI: 10.1038/s41467-023-36841-1
WoS: 000939678300002
PMID: 36843123

Bernabeu, E., Mccartney, D. L., Gadd, D. A., Hillary, R. F., Lu, A. T., Murphy, L.,https://doi.org/10.1186/s13073-023-01161-y__Marioni, R. E. (2023). Refining epigenetic prediction of chronological and biological age. Genome Medicine. Springer Nature.https://doi.org/10.1186/s13073-023-01161-y 
LibreCat: https://research-explorer.ista.ac.at/record/12719
DOI: 10.1186/s13073-023-01161-y
WoS: 000940286600001