ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6936 Publications

2023 | Journal Article | IST-REx-ID: 14246 |

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

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Journal Article | IST-REx-ID: 14192 |

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

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Journal Article | IST-REx-ID: 14238 |

Kranabetter, L., Kristensen, H. H., Ghazaryan, A., Schouder, C. A., Chatterley, A. S., Janssen, P., … 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

2023 | Journal Article | IST-REx-ID: 14255 |

Koch, J., Xin, Q., Obr, M., Schäfer, A., Rolfs, N., Anagho, H. A., … 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

2023 | Journal Article | IST-REx-ID: 14339 |

Roychoudhry, S., Sageman-Furnas, K., Wolverton, C., Grones, P., Tan, S., Molnar, G., … 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

2023 | Journal Article | IST-REx-ID: 14363 |

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 UCP2 knockout. IScience. Elsevier. https://doi.org/10.1016/j.isci.2023.107780

2023 | Journal Article | IST-REx-ID: 14343 |

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

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Journal Article | IST-REx-ID: 14364 |

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

2023 | Journal Article | IST-REx-ID: 14345 |

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

[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv

2023 | Journal Article | IST-REx-ID: 14378 |

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

2023 | Journal Article | IST-REx-ID: 14361 |

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

2023 | Journal Article | IST-REx-ID: 14434

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

View | DOI | WoS | PubMed | Europe PMC

2023 | Journal Article | IST-REx-ID: 14435

Zeng, G., Sun, Q., Horta, S., Wang, S., Lu, X., Zhang, C., … 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

View | DOI | WoS | PubMed | Europe PMC

2023 | Journal Article | IST-REx-ID: 14455 |

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

2023 | Journal Article | IST-REx-ID: 13125 |

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

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Journal Article | IST-REx-ID: 14445 |

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

[Published Version] View | Files available | DOI | WoS

2023 | Journal Article | IST-REx-ID: 14447 |

Bieleszová, K., Hladík, P., Kubala, M., Napier, R., Brunoni, F., Gelová, Z., … Žukauskaitė, 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

[Published Version] View | DOI | Download Published Version (ext.) | WoS

2023 | Thesis | IST-REx-ID: 14622

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

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 14683 |

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

[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC

2023 | Conference Paper | IST-REx-ID: 14691 |

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

[Preprint] View | DOI | Download Preprint (ext.)

2023 | Conference Paper | IST-REx-ID: 14692 |

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

[Preprint] View | DOI | Download Preprint (ext.)

2023 | Journal Article | IST-REx-ID: 14689

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

View | DOI | PubMed | Europe PMC

2023 | Journal Article | IST-REx-ID: 14360 |

Sitarska, E., Almeida, S. D., Beckwith, M. S., Stopp, J. A., Czuchnowski, J., Siggel, M., … 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

2023 | Journal Article | IST-REx-ID: 14274 |

Alanko, J. H., Ucar, M. C., Canigova, N., Stopp, J. A., Schwarz, J., Merrin, J., … Sixt, M. K. (2023). CCR7 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

2023 | Thesis | IST-REx-ID: 14697

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

[Published Version] View | Files available | DOI

2023 | Thesis | IST-REx-ID: 14651 |

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

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 14718 |

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

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 14719

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

View | DOI

2023 | Journal Article | IST-REx-ID: 14240 |

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

[Published Version] View | Files available | DOI | WoS

2023 | Journal Article | IST-REx-ID: 14709 |

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

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2023 | Journal Article | IST-REx-ID: 12833 |

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

[Published Version] View | Files available | DOI | arXiv

2023 | Journal Article | IST-REx-ID: 14734

Wan, S., Xiao, S., Li, M., Wang, X., Lim, K. H., Hong, M., … 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

View | DOI | PubMed | Europe PMC

2023 | Conference Paper | IST-REx-ID: 14736

Bastankhah, M., Chatterjee, K., Maddah-Ali, M. A., Schmid, S., Svoboda, J., & Yeo, M. X. (2023). R2: 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

View | DOI

2023 | Journal Article | IST-REx-ID: 14742 |

Lucek, K., Giménez, M. D., Joron, M., Rafajlović, M., Searle, J. B., Walden, N., … 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

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2023 | Journal Article | IST-REx-ID: 14749

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

[Preprint] View | DOI | arXiv

2023 | Book Chapter | IST-REx-ID: 14757

Villalba Requena, A., Amberg, N., & Hippenmeyer, S. (2023). Interplay of Cell‐autonomous Gene Function and Tissue‐wide 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

View | DOI

2023 | Journal Article | IST-REx-ID: 14759 |

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

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2023 | Research Data | IST-REx-ID: 12817 |

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

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 13267 |

Velicky, P., Miguel Villalba, E., Michalska, J. M., Lyudchik, J., Wei, D., Lin, Z., … 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

2023 | Conference Paper | IST-REx-ID: 14771 |

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

2023 | Journal Article | IST-REx-ID: 14770

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

View | Files available | DOI | WoS

2023 | Journal Article | IST-REx-ID: 14775 |

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

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2023 | Journal Article | IST-REx-ID: 14783 |

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

2023 | Journal Article | IST-REx-ID: 14781 |

Westerich, K. J., Tarbashevich, K., Schick, J., Gupta, A., Zhu, M., Hull, K., … 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

[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC

2023 | Thesis | IST-REx-ID: 14539 |

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

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 12162 |

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

2023 | Journal Article | IST-REx-ID: 14661 |

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.

[Preprint] View | Download Preprint (ext.) | WoS | arXiv

2023 | Journal Article | IST-REx-ID: 14778 |

Chatterjee, K., Kafshdar Goharshady, E., Novotný, P., Zárevúcky, J., & Zikelic, D. (2023). On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. Association for Computing Machinery. https://doi.org/10.1145/3585391

[Published Version] View | Files available | DOI | arXiv

2023 | Journal Article | IST-REx-ID: 14827

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

View | DOI | PubMed | Europe PMC

2023 | Conference Paper | IST-REx-ID: 14830

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

[Preprint] View | Files available | DOI | arXiv

2023 | Journal Article | IST-REx-ID: 14849 |

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

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2023 | Journal Article | IST-REx-ID: 14854

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

View | DOI

2023 | Conference Paper | IST-REx-ID: 14872

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

View | DOI

2023 | Conference Abstract | IST-REx-ID: 14864 |

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

[Published Version] View | Files available | DOI

2023 | Conference Abstract | IST-REx-ID: 14862 |

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

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 13049 |

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

[Submitted Version] View | Files available | DOI | WoS

2023 | Journal Article | IST-REx-ID: 13212 |

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

2023 | Journal Article | IST-REx-ID: 14032 |

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

[Published Version] View | Files available | DOI | WoS

2023 | Journal Article | IST-REx-ID: 13266 |

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

2023 | Journal Article | IST-REx-ID: 13136 |

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

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 13209 |

Xia, J., Kong, M., Yang, Z., Sun, L., Peng, Y., Mao, Y., … 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

2023 | Journal Article | IST-REx-ID: 13971 |

Grober, D., Palaia, I., Ucar, M. C., Hannezo, E. B., Šarić, 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

[Published Version] View | Files available | DOI | WoS

2023 | Journal Article | IST-REx-ID: 10551 |

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

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Journal Article | IST-REx-ID: 13234 |

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

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Journal Article | IST-REx-ID: 14244 |

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

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Journal Article | IST-REx-ID: 14254 |

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

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Journal Article | IST-REx-ID: 14401 |

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

2023 | Conference Paper | IST-REx-ID: 14921 |

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.

[Preprint] View | Download Preprint (ext.) | arXiv

2023 | Thesis | IST-REx-ID: 13107 |

Knaus, L. (2023). The metabolism of the developing brain : 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

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 12802 |

Knaus, L., Basilico, B., Malzl, D., Gerykova Bujalkova, M., Smogavec, M., Schwarz, L. A., … 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

[Published Version] View | Files available | DOI | WoS

2023 | Preprint | IST-REx-ID: 13312 |

Valentini, M., Sagi, O., Baghumyan, L., Gijsel, T. de, Jung, J., Calcaterra, S., … 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

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2023 | Journal Article | IST-REx-ID: 14466 |

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

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Book Chapter | IST-REx-ID: 14992 |

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

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2023 | Research Data | IST-REx-ID: 13126 |

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

[Published Version] View | Files available | DOI

2023 | Research Data | IST-REx-ID: 13116 |

Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P., … 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

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 13314 |

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

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2023 | Journal Article | IST-REx-ID: 14257 |

Michalska, J. M., Lyudchik, J., Velicky, P., Korinkova, H., Watson, J., Cenameri, A., … 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

[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS

2023 | Thesis | IST-REx-ID: 14280

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

[Published Version] View | Files available | DOI

2023 | Thesis | IST-REx-ID: 13286 |

Valentini, M. (2023). Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : 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

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 14260 |

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

[Published Version] View | Files available | DOI

2023 | Research Data Reference | IST-REx-ID: 14995 |

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

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2023 | Conference Paper | IST-REx-ID: 15023 |

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.

[Preprint] View | Download Preprint (ext.) | arXiv

2023 | Conference Paper | IST-REx-ID: 14076 |

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

[Published Version] View | Files available | DOI

2023 | Conference Abstract | IST-REx-ID: 14748

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

View | DOI

2023 | Research Data Reference | IST-REx-ID: 15035 |

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

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2023 | Thesis | IST-REx-ID: 13984

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

[Published Version] View | Files available | DOI

2023 | Preprint | IST-REx-ID: 15039 |

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

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2023 | Research Data Reference | IST-REx-ID: 14812 |

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

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2023 | Journal Article | IST-REx-ID: 13214 |

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

2023 | Thesis | IST-REx-ID: 14323

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

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 14974 |

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.

[Submitted Version] View | Files available

2023 | Research Data | IST-REx-ID: 13173 |

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

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 13182 |

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

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 13044 |

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

[Published Version] View | DOI | Download Published Version (ext.) | WoS

2023 | Thesis | IST-REx-ID: 14587 |

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

[Published Version] View | Files available | DOI

2023 | Preprint | IST-REx-ID: 14732 |

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

[Preprint] View | Files available | DOI | Download Preprint (ext.)

2023 | Conference Paper | IST-REx-ID: 13262 |

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

[Published Version] View | Files available | DOI | arXiv

2023 | Conference Paper | IST-REx-ID: 12979 |

Condor, J., Piovarci, M., Bickel, B., & Didyk, P. (2023). Gloss-aware color correction for 3D printing. In SIGGRAPH ’23 Conference Proceedings. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3588432.3591546

[Published Version] View | Files available | DOI | WoS

2023 | Conference Paper | IST-REx-ID: 13228 |

Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Runtime monitoring of dynamic fairness properties. In FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency (pp. 604–614). Chicago, IL, United States: Association for Computing Machinery. https://doi.org/10.1145/3593013.3594028

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Journal Article | IST-REx-ID: 12984 |

Piovarci, M., Chapiro, A., & Bickel, B. (2023). Skin-Screen: A computational fabrication framework for color tattoos. Transactions on Graphics. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3592432

[Published Version] View | Files available | DOI | WoS

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

6936 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

6936 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options