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
The Ycf48 accessory factor occupies the site of the oxygen-evolving manganese cluster during photosystem II biogenesis
Z. Zhao, I. Vercellino, J. Knoppová, R. Sobotka, J.W. Murray, P.J. Nixon, L.A. Sazanov, J. Komenda, Nature Communications 14 (2023).
[Published Version] View | Files available | DOI | WoS
 

2023 | Conference Paper | IST-REx-ID: 13967 | OA
Stopping criteria for value iteration on stochastic games with quantitative objectives
J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2023.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Thesis | IST-REx-ID: 14058 | OA
The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation
G. Puixeu Sala, 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.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14077 | OA
Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster
G. Puixeu Sala, A. Macon, B. Vicoso, G3: Genes, Genomes, Genetics 13 (2023).
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 14082
ZnUMBA - a live imaging method to detect local barrier breaches
T. Higashi, R.E. Stephenson, C. Schwayer, K. Huljev, A.Y. Higashi, C.-P.J. Heisenberg, H. Chiba, A.L. Miller, Journal of Cell Science 136 (2023).
View | Files available | DOI | WoS
 

2023 | Research Data | IST-REx-ID: 12933 | OA
Data from: Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster
G. Puixeu Sala, (2023).
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14246 | OA
Emergence of a Bose polaron in a small ring threaded by the Aharonov-Bohm flux
F. Brauneis, A. Ghazaryan, H.-W. Hammer, A. Volosniev, Communications Physics 6 (2023).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14192 | OA
On the global minimum of the energy–momentum relation for the polaron
J. Lampart, D.J. Mitrouskas, K. Mysliwy, Mathematical Physics, Analysis and Geometry 26 (2023).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14238 | OA
Nonadiabatic laser-induced alignment dynamics of molecules on a surface
L. Kranabetter, H.H. Kristensen, A. Ghazaryan, C.A. Schouder, A.S. Chatterley, P. Janssen, F. Jensen, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 131 (2023).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2023 | Journal Article | IST-REx-ID: 14255 | OA
The phenuivirus Toscana virus makes an atypical use of vacuolar acidity to enter host cells
J. Koch, Q. Xin, M. Obr, A. Schäfer, N. Rolfs, H.A. Anagho, A. Kudulyte, L. Woltereck, S. Kummer, J. Campos, Z.M. Uckeley, L. Bell-Sakyi, H.G. Kräusslich, F.K. Schur, C. Acuna, P.Y. Lozach, PLoS Pathogens 19 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14339 | OA
Antigravitropic PIN polarization maintains non-vertical growth in lateral roots
S. Roychoudhry, K. Sageman-Furnas, C. Wolverton, P. Grones, S. Tan, G. Molnar, M. De Angelis, H. Goodman, N. Capstaff, L. JPB, J. Mullen, R. Hangarter, J. Friml, S. Kepinski, Nature Plants 9 (2023) 1500–1513.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14363 | OA
Mitochondrial network adaptations of microglia reveal sex-specific stress response after injury and UCP2 knockout
M.E. Maes, G. Colombo, F.E. Schoot Uiterkamp, F. Sternberg, A. Venturino, E.E. Pohl, S. Siegert, IScience 26 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14343 | OA
Gaussian fluctuations in the equipartition principle for Wigner matrices
G. Cipolloni, L. Erdös, S.J. Henheik, O. Kolupaiev, Forum of Mathematics, Sigma 11 (2023).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14364 | OA
Why extension-based proofs fail
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, SIAM Journal on Computing 52 (2023) 913–944.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14345 | OA
On angles in higher order Brillouin tessellations and related tilings in the plane
H. Edelsbrunner, A. Garber, M. Ghafari, T. Heiss, M. Saghafian, Discrete and Computational Geometry (2023).
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14378 | OA
Self-organized and directed branching results in optimal coverage in developing dermal lymphatic networks
M.C. Ucar, E.B. Hannezo, E. Tiilikainen, I. Liaqat, E. Jakobsson, H. Nurmi, K. Vaahtomeri, Nature Communications 14 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14361 | OA
Synchronization in collectively moving inanimate and living active matter
M. Riedl, I.D. Mayer, J. Merrin, M.K. Sixt, B. Hof, Nature Communications 14 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14434
A 3d‐4d‐5d high entropy alloy as a bifunctional oxygen catalyst for robust aqueous zinc–air batteries
R. He, L. Yang, Y. Zhang, D. Jiang, S. Lee, S. Horta, Z. Liang, X. Lu, A. Ostovari Moghaddam, J. Li, M. Ibáñez, Y. Xu, Y. Zhou, A. Cabot, Advanced Materials (2023).
View | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14435
A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries
G. Zeng, Q. Sun, S. Horta, S. Wang, X. Lu, C. Zhang, J. Li, J. Li, L. Ci, Y. Tian, M. Ibáñez, A. Cabot, Advanced Materials (n.d.).
View | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14455 | OA
Tempering expectations: Considerations on the current state of stem cells therapy for autism treatment
A. Narzisi, A. Halladay, G. Masi, G. Novarino, C. Lord, Frontiers in Psychiatry 14 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 13125 | OA
Recursive greedy initialization of the quantum approximate optimization algorithm with guaranteed improvement
S. Sack, R.A. Medina Ramos, R. Kueng, M. Serbyn, Physical Review A 107 (2023).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14445 | OA
Coboundary expansion, equivariant overlap, and crossing numbers of simplicial complexes
U. Wagner, P. Wild, Israel Journal of Mathematics 256 (2023) 675–717.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 14447 | OA
New fluorescent auxin derivatives: anti-auxin activity and accumulation patterns in Arabidopsis thaliana
K. Bieleszová, P. Hladík, M. Kubala, R. Napier, F. Brunoni, Z. Gelová, L. Fiedler, I. Kulich, M. Strnad, K. Doležal, O. Novák, J. Friml, A. Žukauskaitė, Plant Growth Regulation (2023).
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2023 | Thesis | IST-REx-ID: 14622
Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems
S. Sack, Improving Variational Quantum Algorithms: Innovative Initialization Techniques and Extensions to Qudit Systems, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14683 | OA
Protocol for sorting cells from mouse brains labeled with mosaic analysis with double markers by flow cytometry
N. Amberg, G.T. Cheung, S. Hippenmeyer, STAR Protocols 5 (2023).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 14691 | OA
On the cost of post-compromise security in concurrent Continuous Group-Key Agreement
B. Auerbach, M. Cueto Noval, G. Pascual Perez, K.Z. Pietrzak, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 271–300.
[Preprint] View | DOI | Download Preprint (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14692 | OA
Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing
B. Auerbach, C. Hoffmann, G. Pascual Perez, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 301–330.
[Preprint] View | DOI | Download Preprint (ext.)
 

2023 | Journal Article | IST-REx-ID: 14689
Reply to: Revisiting the use of structural similarity index in Hi-C
E. Ing-Simmons, N.N. Machnik, J.M. Vaquerizas, Nature Genetics 55 (2023) 2053–2055.
View | DOI | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14360 | OA
Sensing their plasma membrane curvature allows migrating cells to circumvent obstacles
E. Sitarska, S.D. Almeida, M.S. Beckwith, J.A. Stopp, J. Czuchnowski, M. Siggel, R. Roessner, A. Tschanz, C. Ejsing, Y. Schwab, J. Kosinski, M.K. Sixt, A. Kreshuk, A. Erzberger, A. Diz-Muñoz, Nature Communications 14 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14274 | OA
CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration
J.H. Alanko, M.C. Ucar, N. Canigova, J.A. Stopp, J. Schwarz, J. Merrin, E.B. Hannezo, M.K. Sixt, Science Immunology 8 (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2023 | Thesis | IST-REx-ID: 14697
Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function
J.A. Stopp, Neutrophils on the Hunt: Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 14651 | OA
Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus
L.S. Arathoon, Investigating Inbreeding Depression and the Self-Incompatibility Locus of Antirrhinum Majus, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14718 | OA
Binary decision diagrams on modern hardware
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14719
Nanostructured Li₂S cathodes for silicon-sulfur batteries
H. Mollania, C. Zhang, R. Du, X. Qi, J. Li, S. Horta, M. Ibáñez, C. Keller, P. Chenevier, M. Oloomi-Buygi, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 58462–58475.
View | DOI
 

2023 | Journal Article | IST-REx-ID: 14240 | OA
Generalizing shallow water simulations with dispersive surface waves
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 42 (2023).
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 14709 | OA
Auxin research: Creating tools for a greener future
M. Del Bianco, J. Friml, L. Strader, S. Kepinski, Journal of Experimental Botany 74 (2023) 6889–6892.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12833 | OA
Token swapping on trees
A. Biniaz, K. Jain, A. Lubiw, Z. Masárová, T. Miltzow, D. Mondal, A.M. Naredla, J. Tkadlec, A. Turcotte, Discrete Mathematics and Theoretical Computer Science 24 (2023).
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 14734
Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4
S. Wan, S. Xiao, M. Li, X. Wang, K.H. Lim, M. Hong, M. Ibáñez, A. Cabot, Y. Liu, Small Methods (2023).
View | DOI | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 14736
R2: Boosting liquidity in payment channel networks with online admission control
M. Bastankhah, K. Chatterjee, M.A. Maddah-Ali, S. Schmid, J. Svoboda, M.X. Yeo, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 309–325.
View | DOI
 

2023 | Journal Article | IST-REx-ID: 14742 | OA
The impact of chromosomal rearrangements in speciation: From micro- to macroevolution
K. Lucek, M.D. Giménez, M. Joron, M. Rafajlović, J.B. Searle, N. Walden, A.M. Westram, R. Faria, Cold Spring Harbor Perspectives in Biology 15 (2023).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14749
Monitoring and active stabilization of laser injection locking using beam ellipticity
U. Mishra, V. Li, S. Wald, S. Agafonova, F.R. Diorico, O. Hosten, Optics Letters 48 (2023) 3973–3976.
[Preprint] View | DOI | arXiv
 

2023 | Book Chapter | IST-REx-ID: 14757
Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression
A. Villalba Requena, N. Amberg, S. Hippenmeyer, in:, W. Huttner (Ed.), Neocortical Neurogenesis in Development and Evolution, Wiley, 2023, pp. 169–191.
View | DOI
 

2023 | Journal Article | IST-REx-ID: 14759 | OA
Analog stabilization of an electro-optic I/Q modulator with an auxiliary modulation tone
S. Wald, F.R. Diorico, O. Hosten, Applied Optics 62 (2023) 1–7.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Research Data | IST-REx-ID: 12817 | OA
Research data for the publication "Dense 4D nanoscale reconstruction of living brain tissue"
J.G. Danzl, (2023).
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13267 | OA
Dense 4D nanoscale reconstruction of living brain tissue
P. Velicky, E. Miguel Villalba, J.M. Michalska, J. Lyudchik, D. Wei, Z. Lin, J. Watson, J. Troidl, J. Beyer, Y. Ben Simon, C.M. Sommer, W. Jahr, A. Cenameri, J. Broichhagen, S.G.N. Grant, P.M. Jonas, G. Novarino, H. Pfister, B. Bickel, J.G. Danzl, Nature Methods 20 (2023) 1256–1265.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 14771 | OA
Bias in pruned vision models: In-depth analysis and countermeasures
E.B. Iofinova, E.-A. Peste, D.-A. Alistarh, in:, 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2023, pp. 24364–24373.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14770
LIONESS enables 4D nanoscale reconstruction of living brain tissue
J.G. Danzl, P. Velicky, Nature Methods 20 (2023) 1141–1142.
View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 14775 | OA
Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices
K. Schnelli, Y. Xu, The Annals of Applied Probability 33 (2023) 677–725.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14783 | OA
Astroglial connexin 43 regulates synaptic vesicle release at hippocampal synapses
G.T. Cheung, O. Chever, A. Rollenhagen, N. Quenech’du, P. Ezan, J.H.R. Lübke, N. Rouach, Cells 12 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14781 | OA
Spatial organization and function of RNA molecules within phase-separated condensates in zebrafish are controlled by Dnd1
K.J. Westerich, K. Tarbashevich, J. Schick, A. Gupta, M. Zhu, K. Hull, D. Romo, D. Zeuschner, M. Goudarzi, T. Gross-Thebing, E. Raz, Developmental Cell 58 (2023) 1578–1592.e5.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2023 | Thesis | IST-REx-ID: 14539 | OA
Automated verification and control of infinite state stochastic systems
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 12162 | OA
Modelling the dynamics of mammalian gut homeostasis
B. Corominas-Murtra, E.B. Hannezo, Seminars in Cell & Developmental Biology 150–151 (2023) 58–65.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14661 | OA
External forces in the continuum limit of discrete systems with non-convex interaction potentials: Compactness for a Γ-development
M. Carioni, J.L. Fischer, A. Schlömerkemper, Journal of Convex Analysis 30 (2023) 217–247.
[Preprint] View | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14778 | OA
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 14827
Connecting theory and experiment in cell and tissue mechanics
C. Schwayer, D. Brückner, Journal of Cell Science 136 (2023).
View | DOI | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 14830
Learning control policies for stochastic systems with reach-avoid guarantees
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–11935.
[Preprint] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 14849 | OA
On the rightmost eigenvalue of non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Y. Xu, The Annals of Probability 51 (2023) 2192–2242.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 14854
Ubiquity of bound states for the strongly coupled polaron
D.J. Mitrouskas, R. Seiringer, Pure and Applied Analysis 5 (2023) 973–1008.
View | DOI
 

2023 | Conference Paper | IST-REx-ID: 14872
Entangling microwaves and telecom wavelength light
R. Sahu, L. Qiu, W.J. Hease, G.M. Arnold, Y. Minoguchi, P. Rabl, J.M. Fink, in:, Frontiers in Optics + Laser Science 2023, Optica Publishing Group, 2023.
View | DOI
 

2023 | Conference Abstract | IST-REx-ID: 14864 | OA
Measuring spontaneous charging of single aerosol particles
A. Stöllner, I.C. Lenton, C.J. Muller, S.R. Waitukaitis, in:, EGU General Assembly 2023, European Geosciences Union, 2023.
[Published Version] View | Files available | DOI
 

2023 | Conference Abstract | IST-REx-ID: 14862 | OA
Complex vaccination strategies prevent the emergence of vaccine resistance
S. Rella, Y. Kulikova, A. Minnegalieva, F. Kondrashov, in:, European Journal of Public Health, Oxford University Press, 2023.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13049 | OA
PCBend: Light up your 3D shapes with foldable circuit boards
M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, S. Lefebvre, Transactions on Graphics 42 (2023).
[Submitted Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 13212 | OA
Distinct functions of TIR1 and AFB1 receptors in auxin signalling.
H. Chen, L. Li, M. Zou, L. Qi, J. Friml, Molecular Plant 16 (2023) 1117–1119.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14032 | OA
Superconductivity from a melted insulator in Josephson junction arrays
S. Mukhopadhyay, J.L. Senior, J. Saez Mollejo, D. Puglia, M. Zemlicka, J.M. Fink, A.P. Higginbotham, Nature Physics 19 (2023) 1630–1635.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 13266 | OA
Tale of cAMP as a second messenger in auxin signaling and beyond
L. Qi, J. Friml, New Phytologist 240 (2023) 489–495.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 13136 | OA
Control of tissue dimensions in the developing neural tube and somites
T. Minchington, S. Rus, A. Kicheva, Current Opinion in Systems Biology 35 (2023).
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13209 | OA
Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen
J. Xia, M. Kong, Z. Yang, L. Sun, Y. Peng, Y. Mao, H. Wei, W. Ying, Y. Gao, J. Friml, J. Weng, X. Liu, L. Sun, S. Tan, Plant Communications 4 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 13971 | OA
Unconventional colloidal aggregation in chiral bacterial baths
D. Grober, I. Palaia, M.C. Ucar, E.B. Hannezo, A. Šarić, J.A. Palacci, Nature Physics 19 (2023) 1680–1688.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 10551 | OA
The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles
F. Cornalba, J.L. Fischer, Archive for Rational Mechanics and Analysis 247 (2023).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13234 | OA
Into the unknown: Active monitoring of neural networks (extended version)
K. Kueffner, A. Lukina, C. Schilling, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 25 (2023) 575–592.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14244 | OA
Arithmetic and metric aspects of open de Rham spaces
T. Hausel, M.L. Wong, D. Wyss, Proceedings of the London Mathematical Society 127 (2023) 958–1027.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14254 | OA
A simple approach to Lieb-Thirring type inequalities
R. Seiringer, J.P. Solovej, Journal of Functional Analysis 285 (2023).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14401 | OA
BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps
M.E. Maes, R.J. Donahue, C.L. Schlamp, O.J. Marola, R.T. Libby, R.W. Nickells, Molecular Neurodegeneration 18 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 14921 | OA
Deep neural collapse is provably optimal for the deep unconstrained features model
P. Súkeník, M. Mondelli, C. Lampert, in:, 37th Annual Conference on Neural Information Processing Systems, n.d.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2023 | Thesis | IST-REx-ID: 13107 | OA
The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival
L. Knaus, The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 12802 | OA
Large neutral amino acid levels tune perinatal neuronal excitability and survival
L. Knaus, B. Basilico, D. Malzl, M. Gerykova Bujalkova, M. Smogavec, L.A. Schwarz, S. Gorkiewicz, N. Amberg, F. Pauler, C. Knittl-Frank, M. Tassinari, N. Maulide, T. Rülicke, J. Menche, S. Hippenmeyer, G. Novarino, Cell 186 (2023) 1950–1967.e25.
[Published Version] View | Files available | DOI | WoS
 

2023 | Preprint | IST-REx-ID: 13312 | OA
Radio frequency driven superconducting diode and parity conserving Cooper pair transport in a two-dimensional germanium hole gas
M. Valentini, O. Sagi, L. Baghumyan, T. de Gijsel, J. Jung, S. Calcaterra, A. Ballabio, J.A. Servin, K. Aggarwal, M. Janik, T. Adletzberger, R.S. Souto, M. Leijnse, J. Danon, C. Schrade, E. Bakkers, D. Chrastina, G. Isella, G. Katsaros, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 14466 | OA
Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows
E. Marensi, G. Yalniz, B. Hof, Journal of Fluid Mechanics 974 (2023).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Book Chapter | IST-REx-ID: 14992 | OA
Universal Functionals in Density Functional Theory
M. Lewin, E.H. Lieb, R. Seiringer, in:, E. Cances, G. Friesecke (Eds.), Density Functional Theory, 1st ed., Springer, 2023, pp. 115–182.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Research Data | IST-REx-ID: 13126 | OA
Research data for the publication "Imaging brain tissue architecture across millimeter to nanometer scales"
J.G. Danzl, (2023).
[Published Version] View | Files available | DOI
 

2023 | Research Data | IST-REx-ID: 13116 | OA
Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, (2023).
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13314 | OA
Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023) 1916–1926.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14257 | OA
Imaging brain tissue architecture across millimeter to nanometer scales
J.M. Michalska, J. Lyudchik, P. Velicky, H. Korinkova, J. Watson, A. Cenameri, C.M. Sommer, N. Amberg, A. Venturino, K. Roessler, T. Czech, R. Höftberger, S. Siegert, G. Novarino, P.M. Jonas, J.G. Danzl, Nature Biotechnology (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2023 | Thesis | IST-REx-ID: 14280
Spatiotemporal signaling during assembly of the bacterial divisome
P. Radler, Spatiotemporal Signaling during Assembly of the Bacterial Divisome, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 13286 | OA
Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium
M. Valentini, 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.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14260 | OA
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.
[Published Version] View | Files available | DOI
 

2023 | Research Data Reference | IST-REx-ID: 14995 | OA
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 15023 | OA
Compositional policy learning in stochastic control systems with formal guarantees
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14076 | OA
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, in:, 23nd International Conference on Runtime Verification, Springer Nature, 2023, pp. 168–190.
[Published Version] View | Files available | DOI
 

2023 | Conference Abstract | IST-REx-ID: 14748
Unified treatment of contact, friction and shock-propagation in rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Association for Computing Machinery, 2023.
View | DOI
 

2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Thesis | IST-REx-ID: 13984
Individual and social immunity against viral infections in ants
A. Franschitz, Individual and Social Immunity against Viral Infections in Ants, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Preprint | IST-REx-ID: 15039 | OA
1-Lipschitz neural networks are more expressive with N-activations
B. Prach, C. Lampert, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Research Data Reference | IST-REx-ID: 14812 | OA
Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails
S. Stankowski, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 13214 | OA
Nitrate, auxin and cytokinin - a trio to tango
R. Abualia, S. Riegler, E. Benková, Cells 12 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Thesis | IST-REx-ID: 14323
Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord
K. Kuzmicz-Kowalska, Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14974 | OA
Causality in the time of LLMs: Round table discussion results of CLeaR 2023
C. Zhang, D. Janzing, M. van der Schaar, F. Locatello, P. Spirtes, K. Zhang, B. Schölkopf, C. Uhler, in:, 2nd Conference on Causal Learning and Reasoning, 2023.
[Submitted Version] View | Files available
 

2023 | Research Data | IST-REx-ID: 13173 | OA
Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals
R. Shigemoto, (2023).
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13182 | OA
Geometric characterization of the persistence of 1D maps
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Journal of Applied and Computational Topology (2023).
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13044 | OA
Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes
S. Mondal, R.B. Jethwa, B. Pant, R. Hauschild, S.A. Freunberger, Faraday Discussions (2023).
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

Filters and Search Terms

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

Search

Filter Publications