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.

6942 Publications


2023 | Journal Article | IST-REx-ID: 14040 | OA
Zhao, Ziyu, Irene Vercellino, Jana Knoppová, Roman Sobotka, James W. Murray, Peter J. Nixon, Leonid A Sazanov, and Josef Komenda. “The Ycf48 Accessory Factor Occupies the Site of the Oxygen-Evolving Manganese Cluster during Photosystem II Biogenesis.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-40388-6.
[Published Version] View | Files available | DOI | WoS
 

2023 | Conference Paper | IST-REx-ID: 13967 | OA
Kretinsky, Jan, Tobias Meggendorfer, and Maximilian Weininger. “Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.” In 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Vol. 2023. Institute of Electrical and Electronics Engineers, 2023. https://doi.org/10.1109/LICS56636.2023.10175771.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Thesis | IST-REx-ID: 14058 | OA
Puixeu Sala, Gemma. “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, 2023. https://doi.org/10.15479/at:ista:14058.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14077 | OA
Puixeu Sala, Gemma, Ariana Macon, and Beatriz Vicoso. “Sex-Specific Estimation of Cis and Trans Regulation of Gene Expression in Heads and Gonads of Drosophila Melanogaster.” G3: Genes, Genomes, Genetics. Oxford University Press, 2023. https://doi.org/10.1093/g3journal/jkad121.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 14082
Higashi, Tomohito, Rachel E. Stephenson, Cornelia Schwayer, Karla Huljev, Atsuko Y. Higashi, Carl-Philipp J Heisenberg, Hideki Chiba, and Ann L. Miller. “ZnUMBA - a Live Imaging Method to Detect Local Barrier Breaches.” Journal of Cell Science. The Company of Biologists, 2023. https://doi.org/10.1242/jcs.260668.
View | Files available | DOI | WoS
 

2023 | Research Data | IST-REx-ID: 12933 | OA
Puixeu Sala, Gemma. “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, 2023. https://doi.org/10.15479/AT:ISTA:12933.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14246 | OA
Brauneis, Fabian, Areg Ghazaryan, Hans-Werner Hammer, and Artem Volosniev. “Emergence of a Bose Polaron in a Small Ring Threaded by the Aharonov-Bohm Flux.” Communications Physics. Springer Nature, 2023. https://doi.org/10.1038/s42005-023-01281-2.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14192 | OA
Lampart, Jonas, David Johannes Mitrouskas, and Krzysztof Mysliwy. “On the Global Minimum of the Energy–Momentum Relation for the Polaron.” Mathematical Physics, Analysis and Geometry. Springer Nature, 2023. https://doi.org/10.1007/s11040-023-09460-x.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14238 | OA
Kranabetter, Lorenz, Henrik H. Kristensen, Areg Ghazaryan, Constant A. Schouder, Adam S. Chatterley, Paul Janssen, Frank Jensen, Robert E. Zillich, Mikhail Lemeshko, and Henrik Stapelfeldt. “Nonadiabatic Laser-Induced Alignment Dynamics of Molecules on a Surface.” Physical Review Letters. American Physical Society, 2023. https://doi.org/10.1103/PhysRevLett.131.053201.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2023 | Journal Article | IST-REx-ID: 14255 | OA
Koch, Jana, Qilin Xin, Martin Obr, Alicia Schäfer, Nina Rolfs, Holda A. Anagho, Aiste Kudulyte, et al. “The Phenuivirus Toscana Virus Makes an Atypical Use of Vacuolar Acidity to Enter Host Cells.” PLoS Pathogens. Public Library of Science, 2023. https://doi.org/10.1371/journal.ppat.1011562.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14339 | OA
Roychoudhry, S, K Sageman-Furnas, C Wolverton, Peter Grones, Shutang Tan, Gergely Molnar, M De Angelis, et al. “Antigravitropic PIN Polarization Maintains Non-Vertical Growth in Lateral Roots.” Nature Plants. Springer Nature, 2023. https://doi.org/10.1038/s41477-023-01478-x.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14363 | OA
Maes, Margaret E, Gloria Colombo, Florianne E Schoot Uiterkamp, Felix Sternberg, Alessandro Venturino, Elena E. Pohl, and Sandra Siegert. “Mitochondrial Network Adaptations of Microglia Reveal Sex-Specific Stress Response after Injury and UCP2 Knockout.” IScience. Elsevier, 2023. https://doi.org/10.1016/j.isci.2023.107780.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14343 | OA
Cipolloni, Giorgio, László Erdös, Sven Joscha Henheik, and Oleksii Kolupaiev. “Gaussian Fluctuations in the Equipartition Principle for Wigner Matrices.” Forum of Mathematics, Sigma. Cambridge University Press, 2023. https://doi.org/10.1017/fms.2023.70.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14364 | OA
Alistarh, Dan-Adrian, James Aspnes, Faith Ellen, Rati Gelashvili, and Leqi Zhu. “Why Extension-Based Proofs Fail.” SIAM Journal on Computing. Society for Industrial and Applied Mathematics, 2023. https://doi.org/10.1137/20M1375851.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14345 | OA
Edelsbrunner, Herbert, Alexey Garber, Mohadese Ghafari, Teresa Heiss, and Morteza Saghafian. “On Angles in Higher Order Brillouin Tessellations and Related Tilings in the Plane.” Discrete and Computational Geometry. Springer Nature, 2023. 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 | OA
Ucar, Mehmet C, Edouard B Hannezo, Emmi Tiilikainen, Inam Liaqat, Emma Jakobsson, Harri Nurmi, and Kari Vaahtomeri. “Self-Organized and Directed Branching Results in Optimal Coverage in Developing Dermal Lymphatic Networks.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-41456-7.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14361 | OA
Riedl, Michael, Isabelle D Mayer, Jack Merrin, Michael K Sixt, and Björn Hof. “Synchronization in Collectively Moving Inanimate and Living Active Matter.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-41432-1.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14434
He, Ren, Linlin Yang, Yu Zhang, Daochuan Jiang, Seungho Lee, Sharona Horta, Zhifu Liang, et al. “A 3d‐4d‐5d High Entropy Alloy as a Bifunctional Oxygen Catalyst for Robust Aqueous Zinc–Air Batteries.” Advanced Materials. Wiley, 2023. https://doi.org/10.1002/adma.202303719.
View | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14435
Zeng, Guifang, Qing Sun, Sharona Horta, Shang Wang, Xuan Lu, Chaoyue Zhang, Jing Li, et al. “A Layered Bi2Te3@PPy Cathode for Aqueous Zinc Ion Batteries: Mechanism and Application in Printed Flexible Batteries.” Advanced Materials. Wiley, n.d. https://doi.org/10.1002/adma.202305128.
View | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14455 | OA
Narzisi, Antonio, Alycia Halladay, Gabriele Masi, Gaia Novarino, and Catherine Lord. “Tempering Expectations: Considerations on the Current State of Stem Cells Therapy for Autism Treatment.” Frontiers in Psychiatry. Frontiers, 2023. https://doi.org/10.3389/fpsyt.2023.1287879.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 13125 | OA
Sack, Stefan, Raimel A Medina Ramos, Richard Kueng, and Maksym Serbyn. “Recursive Greedy Initialization of the Quantum Approximate Optimization Algorithm with Guaranteed Improvement.” Physical Review A. American Physical Society, 2023. https://doi.org/10.1103/physreva.107.062404.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14445 | OA
Wagner, Uli, and Pascal Wild. “Coboundary Expansion, Equivariant Overlap, and Crossing Numbers of Simplicial Complexes.” Israel Journal of Mathematics. Springer Nature, 2023. https://doi.org/10.1007/s11856-023-2521-9.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 14447 | OA
Bieleszová, Kristýna, Pavel Hladík, Martin Kubala, Richard Napier, Federica Brunoni, Zuzana Gelová, Lukas Fiedler, et al. “New Fluorescent Auxin Derivatives: Anti-Auxin Activity and Accumulation Patterns in Arabidopsis Thaliana.” Plant Growth Regulation. Springer Nature, 2023. 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, Stefan. “Improving Variational Quantum Algorithms: Innovative Initialization Techniques and Extensions to Qudit Systems.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14622.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14683 | OA
Amberg, Nicole, Giselle T Cheung, and Simon Hippenmeyer. “Protocol for Sorting Cells from Mouse Brains Labeled with Mosaic Analysis with Double Markers by Flow Cytometry.” STAR Protocols. Elsevier, 2023. 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 | OA
Auerbach, Benedikt, Miguel Cueto Noval, Guillermo Pascual Perez, and Krzysztof Z Pietrzak. “On the Cost of Post-Compromise Security in Concurrent Continuous Group-Key Agreement.” In 21st International Conference on Theory of Cryptography, 14371:271–300. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-48621-0_10.
[Preprint] View | DOI | Download Preprint (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14692 | OA
Auerbach, Benedikt, Charlotte Hoffmann, and Guillermo Pascual Perez. “Generic-Group Lower Bounds via Reductions between Geometric-Search Problems: With and without Preprocessing.” In 21st International Conference on Theory of Cryptography, 14371:301–30. Springer Nature, 2023. 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, Elizabeth, Nick N Machnik, and Juan M. Vaquerizas. “Reply to: Revisiting the Use of Structural Similarity Index in Hi-C.” Nature Genetics. Springer Nature, 2023. https://doi.org/10.1038/s41588-023-01595-5.
View | DOI | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14360 | OA
Sitarska, Ewa, Silvia Dias Almeida, Marianne Sandvold Beckwith, Julian A Stopp, Jakub Czuchnowski, Marc Siggel, Rita Roessner, et al. “Sensing Their Plasma Membrane Curvature Allows Migrating Cells to Circumvent Obstacles.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-41173-1.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14274 | OA
Alanko, Jonna H, Mehmet C Ucar, Nikola Canigova, Julian A Stopp, Jan Schwarz, Jack Merrin, Edouard B Hannezo, and Michael K Sixt. “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, 2023. https://doi.org/10.1126/sciimmunol.adc9584.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2023 | Thesis | IST-REx-ID: 14697
Stopp, Julian A. “Neutrophils on the Hunt: Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14697.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 14651 | OA
Arathoon, Louise S. “Investigating Inbreeding Depression and the Self-Incompatibility Locus of Antirrhinum Majus.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14651.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14718 | OA
Pastva, Samuel, and Thomas A Henzinger. “Binary Decision Diagrams on Modern Hardware.” In Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, 122–31. TU Vienna Academic Press, 2023. 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, Hamid, Chaoqi Zhang, Ruifeng Du, Xueqiang Qi, Junshan Li, Sharona Horta, Maria Ibáñez, et al. “Nanostructured Li₂S Cathodes for Silicon-Sulfur Batteries.” ACS Applied Materials and Interfaces. American Chemical Society, 2023. https://doi.org/10.1021/acsami.3c14072.
View | DOI
 

2023 | Journal Article | IST-REx-ID: 14240 | OA
Jeschke, Stefan, and Chris Wojtan. “Generalizing Shallow Water Simulations with Dispersive Surface Waves.” ACM Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3592098.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 14709 | OA
Del Bianco, Marta, Jiří Friml, Lucia Strader, and Stefan Kepinski. “Auxin Research: Creating Tools for a Greener Future.” Journal of Experimental Botany. Oxford University Press, 2023. https://doi.org/10.1093/jxb/erad420.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12833 | OA
Biniaz, Ahmad, Kshitij Jain, Anna Lubiw, Zuzana Masárová, Tillmann Miltzow, Debajyoti Mondal, Anurag Murty Naredla, Josef Tkadlec, and Alexi Turcotte. “Token Swapping on Trees.” Discrete Mathematics and Theoretical Computer Science. EPI Sciences, 2023. https://doi.org/10.46298/DMTCS.8383.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 14734
Wan, Shanhong, Shanshan Xiao, Mingquan Li, Xin Wang, Khak Ho Lim, Min Hong, Maria Ibáñez, Andreu Cabot, and Yu Liu. “Band Engineering through Pb-Doping of Nanocrystal Building Blocks to Enhance Thermoelectric Performance in Cu3SbSe4.” Small Methods. Wiley, 2023. https://doi.org/10.1002/smtd.202301377.
View | DOI | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 14736
Bastankhah, Mahsa, Krishnendu Chatterjee, Mohammad Ali Maddah-Ali, Stefan Schmid, Jakub Svoboda, and Michelle X Yeo. “R2: Boosting Liquidity in Payment Channel Networks with Online Admission Control.” In 27th International Conference on Financial Cryptography and Data Security, 13950:309–25. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-47754-6_18.
View | DOI
 

2023 | Journal Article | IST-REx-ID: 14742 | OA
Lucek, Kay, Mabel D. Giménez, Mathieu Joron, Marina Rafajlović, Jeremy B. Searle, Nora Walden, Anja M Westram, and Rui Faria. “The Impact of Chromosomal Rearrangements in Speciation: From Micro- to Macroevolution.” Cold Spring Harbor Perspectives in Biology. Cold Spring Harbor Laboratory, 2023. 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, Umang, Vyacheslav Li, Sebastian Wald, Sofya Agafonova, Fritz R Diorico, and Onur Hosten. “Monitoring and Active Stabilization of Laser Injection Locking Using Beam Ellipticity.” Optics Letters. Optica Publishing Group, 2023. https://doi.org/10.1364/ol.495553.
[Preprint] View | DOI | arXiv
 

2023 | Book Chapter | IST-REx-ID: 14757
Villalba Requena, Ana, Nicole Amberg, and Simon Hippenmeyer. “Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression.” In Neocortical Neurogenesis in Development and Evolution, edited by Wieland Huttner, 169–91. Wiley, 2023. https://doi.org/10.1002/9781119860914.ch10.
View | DOI
 

2023 | Journal Article | IST-REx-ID: 14759 | OA
Wald, Sebastian, Fritz R Diorico, and Onur Hosten. “Analog Stabilization of an Electro-Optic I/Q Modulator with an Auxiliary Modulation Tone.” Applied Optics. Optica Publishing Group, 2023. https://doi.org/10.1364/ao.474118.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Research Data | IST-REx-ID: 12817 | OA
Danzl, Johann G. “Research Data for the Publication ‘Dense 4D Nanoscale Reconstruction of Living Brain Tissue.’” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:12817.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13267 | OA
Velicky, Philipp, Eder Miguel Villalba, Julia M Michalska, Julia Lyudchik, Donglai Wei, Zudi Lin, Jake Watson, et al. “Dense 4D Nanoscale Reconstruction of Living Brain Tissue.” Nature Methods. Springer Nature, 2023. https://doi.org/10.1038/s41592-023-01936-6.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 14771 | OA
Iofinova, Eugenia B, Elena-Alexandra Peste, and Dan-Adrian Alistarh. “Bias in Pruned Vision Models: In-Depth Analysis and Countermeasures.” In 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 24364–73. IEEE, 2023. https://doi.org/10.1109/cvpr52729.2023.02334.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14770
Danzl, Johann G, and Philipp Velicky. “LIONESS Enables 4D Nanoscale Reconstruction of Living Brain Tissue.” Nature Methods. Springer Nature, 2023. https://doi.org/10.1038/s41592-023-01937-5.
View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 14775 | OA
Schnelli, Kevin, and Yuanyuan Xu. “Convergence Rate to the Tracy–Widom Laws for the Largest Eigenvalue of Sample Covariance Matrices.” The Annals of Applied Probability. Institute of Mathematical Statistics, 2023. https://doi.org/10.1214/22-aap1826.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14783 | OA
Cheung, Giselle T, Oana Chever, Astrid Rollenhagen, Nicole Quenech’du, Pascal Ezan, Joachim H. R. Lübke, and Nathalie Rouach. “Astroglial Connexin 43 Regulates Synaptic Vesicle Release at Hippocampal Synapses.” Cells. MDPI, 2023. https://doi.org/10.3390/cells12081133.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14781 | OA
Westerich, Kim Joana, Katsiaryna Tarbashevich, Jan Schick, Antra Gupta, Mingzhao Zhu, Kenneth Hull, Daniel Romo, et al. “Spatial Organization and Function of RNA Molecules within Phase-Separated Condensates in Zebrafish Are Controlled by Dnd1.” Developmental Cell. Elsevier, 2023. 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 | OA
Zikelic, Dorde. “Automated Verification and Control of Infinite State Stochastic Systems.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14539.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 12162 | OA
Corominas-Murtra, Bernat, and Edouard B Hannezo. “Modelling the Dynamics of Mammalian Gut Homeostasis.” Seminars in Cell & Developmental Biology. Elsevier, 2023. https://doi.org/10.1016/j.semcdb.2022.11.005.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14661 | OA
Carioni, Marcello, Julian L Fischer, and Anja Schlömerkemper. “External Forces in the Continuum Limit of Discrete Systems with Non-Convex Interaction Potentials: Compactness for a Γ-Development.” Journal of Convex Analysis. Heldermann Verlag, 2023.
[Preprint] View | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14778 | OA
Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevúcky, and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.” Formal Aspects of Computing. Association for Computing Machinery, 2023. https://doi.org/10.1145/3585391.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 14827
Schwayer, Cornelia, and David Brückner. “Connecting Theory and Experiment in Cell and Tissue Mechanics.” Journal of Cell Science. The Company of Biologists, 2023. https://doi.org/10.1242/jcs.261515.
View | DOI | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 14830
Zikelic, Dorde, Mathias Lechner, Thomas A Henzinger, and Krishnendu Chatterjee. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.” In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:11926–35. Association for the Advancement of Artificial Intelligence, 2023. https://doi.org/10.1609/aaai.v37i10.26407.
[Preprint] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 14849 | OA
Cipolloni, Giorgio, László Erdös, Dominik J Schröder, and Yuanyuan Xu. “On the Rightmost Eigenvalue of Non-Hermitian Random Matrices.” The Annals of Probability. Institute of Mathematical Statistics, 2023. https://doi.org/10.1214/23-aop1643.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 14854
Mitrouskas, David Johannes, and Robert Seiringer. “Ubiquity of Bound States for the Strongly Coupled Polaron.” Pure and Applied Analysis. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/paa.2023.5.973.
View | DOI
 

2023 | Conference Paper | IST-REx-ID: 14872
Sahu, Rishabh, Liu Qiu, William J Hease, Georg M Arnold, Yuri Minoguchi, Peter Rabl, and Johannes M Fink. “Entangling Microwaves and Telecom Wavelength Light.” In Frontiers in Optics + Laser Science 2023. Optica Publishing Group, 2023. https://doi.org/10.1364/ls.2023.lm1f.3.
View | DOI
 

2023 | Conference Abstract | IST-REx-ID: 14864 | OA
Stöllner, Andrea, Isaac C Lenton, Caroline J Muller, and Scott R Waitukaitis. “Measuring Spontaneous Charging of Single Aerosol Particles.” In EGU General Assembly 2023. European Geosciences Union, 2023. https://doi.org/10.5194/egusphere-egu23-6166.
[Published Version] View | Files available | DOI
 

2023 | Conference Abstract | IST-REx-ID: 14862 | OA
Rella, Simon, Y Kulikova, Aygul Minnegalieva, and Fyodor Kondrashov. “Complex Vaccination Strategies Prevent the Emergence of Vaccine Resistance.” In European Journal of Public Health, Vol. 33. Oxford University Press, 2023. https://doi.org/10.1093/eurpub/ckad160.597.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13049 | OA
Freire, Marco, Manas Bhargava, Camille Schreck, Pierre-Alexandre Hugron, Bernd Bickel, and Sylvain Lefebvre. “PCBend: Light up Your 3D Shapes with Foldable Circuit Boards.” Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3592411.
[Submitted Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 13212 | OA
Chen, Huihuang, Lanxin Li, Minxia Zou, Linlin Qi, and Jiří Friml. “Distinct Functions of TIR1 and AFB1 Receptors in Auxin Signalling.” Molecular Plant. Elsevier , 2023. https://doi.org/10.1016/j.molp.2023.06.007.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14032 | OA
Mukhopadhyay, Soham, Jorden L Senior, Jaime Saez Mollejo, Denise Puglia, Martin Zemlicka, Johannes M Fink, and Andrew P Higginbotham. “Superconductivity from a Melted Insulator in Josephson Junction Arrays.” Nature Physics. Springer Nature, 2023. https://doi.org/10.1038/s41567-023-02161-w.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 13266 | OA
Qi, Linlin, and Jiří Friml. “Tale of CAMP as a Second Messenger in Auxin Signaling and Beyond.” New Phytologist. Wiley, 2023. https://doi.org/10.1111/nph.19123.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 13136 | OA
Minchington, Thomas, Stefanie Rus, and Anna Kicheva. “Control of Tissue Dimensions in the Developing Neural Tube and Somites.” Current Opinion in Systems Biology. Elsevier, 2023. https://doi.org/10.1016/j.coisb.2023.100459.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13209 | OA
Xia, Jing, Mengjuan Kong, Zhisen Yang, Lianghanxiao Sun, Yakun Peng, Yanbo Mao, Hong Wei, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.” Plant Communications. Elsevier , 2023. https://doi.org/10.1016/j.xplc.2023.100632.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 13971 | OA
Grober, Daniel, Ivan Palaia, Mehmet C Ucar, Edouard B Hannezo, Anđela Šarić, and Jérémie A Palacci. “Unconventional Colloidal Aggregation in Chiral Bacterial Baths.” Nature Physics. Springer Nature, 2023. https://doi.org/10.1038/s41567-023-02136-x.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 10551 | OA
Cornalba, Federico, and Julian L Fischer. “The Dean-Kawasaki Equation and the Structure of Density Fluctuations in Systems of Diffusing Particles.” Archive for Rational Mechanics and Analysis. Springer Nature, 2023. https://doi.org/10.1007/s00205-023-01903-7.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13234 | OA
Kueffner, Konstantin, Anna Lukina, Christian Schilling, and Thomas A Henzinger. “Into the Unknown: Active Monitoring of Neural Networks (Extended Version).” International Journal on Software Tools for Technology Transfer. Springer Nature, 2023. https://doi.org/10.1007/s10009-023-00711-4.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14244 | OA
Hausel, Tamás, Michael Lennox Wong, and Dimitri Wyss. “Arithmetic and Metric Aspects of Open de Rham Spaces.” Proceedings of the London Mathematical Society. Wiley, 2023. https://doi.org/10.1112/plms.12555.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14254 | OA
Seiringer, Robert, and Jan Philip Solovej. “A Simple Approach to Lieb-Thirring Type Inequalities.” Journal of Functional Analysis. Elsevier, 2023. https://doi.org/10.1016/j.jfa.2023.110129.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14401 | OA
Maes, Margaret E, Ryan J. Donahue, Cassandra L. Schlamp, Olivia J. Marola, Richard T. Libby, and Robert W. Nickells. “BAX Activation in Mouse Retinal Ganglion Cells Occurs in Two Temporally and Mechanistically Distinct Steps.” Molecular Neurodegeneration. Springer Nature, 2023. https://doi.org/10.1186/s13024-023-00659-8.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 14921 | OA
Súkeník, Peter, Marco Mondelli, and Christoph Lampert. “Deep Neural Collapse Is Provably Optimal for the Deep Unconstrained Features Model.” In 37th Annual Conference on Neural Information Processing Systems, n.d.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2023 | Thesis | IST-REx-ID: 13107 | OA
Knaus, Lisa. “The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13107.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 12802 | OA
Knaus, Lisa, Bernadette Basilico, Daniel Malzl, Maria Gerykova Bujalkova, Mateja Smogavec, Lena A. Schwarz, Sarah Gorkiewicz, et al. “Large Neutral Amino Acid Levels Tune Perinatal Neuronal Excitability and Survival.” Cell. Elsevier, 2023. https://doi.org/10.1016/j.cell.2023.02.037.
[Published Version] View | Files available | DOI | WoS
 

2023 | Preprint | IST-REx-ID: 13312 | OA
Valentini, Marco, Oliver Sagi, Levon Baghumyan, Thijs de Gijsel, Jason Jung, Stefano Calcaterra, Andrea Ballabio, et al. “Radio Frequency Driven Superconducting Diode and Parity Conserving  Cooper Pair Transport in a Two-Dimensional Germanium Hole Gas.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2306.07109.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 14466 | OA
Marensi, Elena, Gökhan Yalniz, and Björn Hof. “Dynamics and Proliferation of Turbulent Stripes in Plane-Poiseuille and Plane-Couette Flows.” Journal of Fluid Mechanics. Cambridge University Press, 2023. https://doi.org/10.1017/jfm.2023.780.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Book Chapter | IST-REx-ID: 14992 | OA
Lewin, Mathieu, Elliott H. Lieb, and Robert Seiringer. “Universal Functionals in Density Functional Theory.” In Density Functional Theory, edited by Eric Cances and Gero Friesecke, 1st ed., 115–82. MAMOMO. Springer, 2023. 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 | OA
Danzl, Johann G. “Research Data for the Publication ‘Imaging Brain Tissue Architecture across Millimeter to Nanometer Scales.’” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:13126.
[Published Version] View | Files available | DOI
 

2023 | Research Data | IST-REx-ID: 13116 | OA
Dunajova, Zuzana, Batirtze Prats Mateu, Philipp Radler, Keesiang Lim, Dörte Brandis, Philipp Velicky, Johann G Danzl, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:13116.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13314 | OA
Dunajova, Zuzana, Batirtze Prats Mateu, Philipp Radler, Keesiang Lim, Dörte Brandis, Philipp Velicky, Johann G Danzl, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” Nature Physics. Springer Nature, 2023. 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 | OA
Michalska, Julia M, Julia Lyudchik, Philipp Velicky, Hana Korinkova, Jake Watson, Alban Cenameri, Christoph M Sommer, et al. “Imaging Brain Tissue Architecture across Millimeter to Nanometer Scales.” Nature Biotechnology. Springer Nature, 2023. 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, Philipp. “Spatiotemporal Signaling during Assembly of the Bacterial Divisome.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14280.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 13286 | OA
Valentini, Marco. “Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13286.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14260 | OA
Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” In 35th International Conference on Computer Aided Verification , 13964:156–69. Springer Nature, 2023. 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 | OA
Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7877757.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 15023 | OA
Zikelic, Dorde, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, and Thomas A Henzinger. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” In 37th Conference on Neural Information Processing Systems, 2023.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14076 | OA
Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” In 23nd International Conference on Runtime Verification, 14245:168–90. Springer Nature, 2023. 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, Yi-Lu, Mickaël Ly, and Chris Wojtan. “Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation.” In Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. Association for Computing Machinery, 2023. https://doi.org/10.1145/3606037.3606836.
View | DOI
 

2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.8191723.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Thesis | IST-REx-ID: 13984
Franschitz, Anna. “Individual and Social Immunity against Viral Infections in Ants.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13984.
[Published Version] View | Files available | DOI
 

2023 | Preprint | IST-REx-ID: 15039 | OA
Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2311.06103.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Research Data Reference | IST-REx-ID: 14812 | OA
Stankowski, Sean. “Data and Code for: The Genetic Architecture of a Recent Transition to Live-Bearing in Marine Snails.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.8318995.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 13214 | OA
Abualia, R, Stefan Riegler, and Eva Benková. “Nitrate, Auxin and Cytokinin - a Trio to Tango.” Cells. MDPI, 2023. https://doi.org/10.3390/cells12121613.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Thesis | IST-REx-ID: 14323
Kuzmicz-Kowalska, Katarzyna. “Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14323.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14974 | OA
Zhang, Cheng, Dominik Janzing, Mihaela van der Schaar, Francesco Locatello, Peter Spirtes, Kun Zhang, Bernhard Schölkopf, and Caroline Uhler. “Causality in the Time of LLMs: Round Table Discussion Results of CLeaR 2023.” In 2nd Conference on Causal Learning and Reasoning, 2023.
[Submitted Version] View | Files available
 

2023 | Research Data | IST-REx-ID: 13173 | OA
Shigemoto, Ryuichi. “Transition from Tonic to Phasic Neurotransmitter Release by Presynaptic GABAB Receptor Activation in Medial Habenula Terminals.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:13173.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13182 | OA
Biswas, Ranita, Sebastiano Cultrera di Montesano, Herbert Edelsbrunner, and Morteza Saghafian. “Geometric Characterization of the Persistence of 1D Maps.” Journal of Applied and Computational Topology. Springer Nature, 2023. https://doi.org/10.1007/s41468-023-00126-9.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13044 | OA
Mondal, Soumyadip, Rajesh B Jethwa, Bhargavi Pant, Robert Hauschild, and Stefan Alexander Freunberger. “Singlet Oxygen in Non-Aqueous Oxygen Redox: Direct Spectroscopic Evidence for Formation Pathways and Reliability of Chemical Probes.” Faraday Discussions. Royal Society of Chemistry, 2023. https://doi.org/10.1039/d3fd00088e.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

Filters and Search Terms

supervisor%3D3D50B0BA-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications