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.
6941 Publications
2023 | Conference Paper | IST-REx-ID: 13967 | 
J. Kretinsky, T. Meggendorfer, and M. Weininger, “Stopping criteria for value iteration on stochastic games with quantitative objectives,” in 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, MA, United States, 2023, vol. 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Thesis | IST-REx-ID: 14058 |
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 |
G. Puixeu Sala, A. Macon, and B. Vicoso, “Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster,” G3: Genes, Genomes, Genetics, vol. 13, no. 8. Oxford University Press, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14082
T. Higashi et al., “ZnUMBA - a live imaging method to detect local barrier breaches,” Journal of Cell Science, vol. 136, no. 15. The Company of Biologists, 2023.
View
| Files available
| DOI
| WoS
2023 | Research Data | IST-REx-ID: 12933 |
G. Puixeu Sala, “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.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14246 |
F. Brauneis, A. Ghazaryan, H.-W. Hammer, and A. Volosniev, “Emergence of a Bose polaron in a small ring threaded by the Aharonov-Bohm flux,” Communications Physics, vol. 6. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14192 |
J. Lampart, D. J. Mitrouskas, and K. Mysliwy, “On the global minimum of the energy–momentum relation for the polaron,” Mathematical Physics, Analysis and Geometry, vol. 26, no. 3. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14238 |
L. Kranabetter et al., “Nonadiabatic laser-induced alignment dynamics of molecules on a surface,” Physical Review Letters, vol. 131, no. 5. American Physical Society, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Journal Article | IST-REx-ID: 14255 |
J. Koch et al., “The phenuivirus Toscana virus makes an atypical use of vacuolar acidity to enter host cells,” PLoS Pathogens, vol. 19, no. 8. Public Library of Science, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14339 |
S. Roychoudhry et al., “Antigravitropic PIN polarization maintains non-vertical growth in lateral roots,” Nature Plants, vol. 9. Springer Nature, pp. 1500–1513, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14363 |
M. E. Maes et al., “Mitochondrial network adaptations of microglia reveal sex-specific stress response after injury and UCP2 knockout,” iScience, vol. 26, no. 10. Elsevier, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14343 |
G. Cipolloni, L. Erdös, S. J. Henheik, and O. Kolupaiev, “Gaussian fluctuations in the equipartition principle for Wigner matrices,” Forum of Mathematics, Sigma, vol. 11. Cambridge University Press, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14364 |
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, and L. Zhu, “Why extension-based proofs fail,” SIAM Journal on Computing, vol. 52, no. 4. Society for Industrial and Applied Mathematics, pp. 913–944, 2023.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14345 |
H. Edelsbrunner, A. Garber, M. Ghafari, T. Heiss, and M. Saghafian, “On angles in higher order Brillouin tessellations and related tilings in the plane,” Discrete and Computational Geometry. Springer Nature, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14378 |
M. C. Ucar et al., “Self-organized and directed branching results in optimal coverage in developing dermal lymphatic networks,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14361 |
M. Riedl, I. D. Mayer, J. Merrin, M. K. Sixt, and B. Hof, “Synchronization in collectively moving inanimate and living active matter,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14434
R. He et al., “A 3d‐4d‐5d high entropy alloy as a bifunctional oxygen catalyst for robust aqueous zinc–air batteries,” Advanced Materials. Wiley, 2023.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14435
G. Zeng et al., “A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries,” Advanced Materials. Wiley.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14455 |
A. Narzisi, A. Halladay, G. Masi, G. Novarino, and C. Lord, “Tempering expectations: Considerations on the current state of stem cells therapy for autism treatment,” Frontiers in Psychiatry, vol. 14. Frontiers, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13125 |
S. Sack, R. A. Medina Ramos, R. Kueng, and M. Serbyn, “Recursive greedy initialization of the quantum approximate optimization algorithm with guaranteed improvement,” Physical Review A, vol. 107, no. 6. American Physical Society, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14445 |
U. Wagner and P. Wild, “Coboundary expansion, equivariant overlap, and crossing numbers of simplicial complexes,” Israel Journal of Mathematics, vol. 256, no. 2. Springer Nature, pp. 675–717, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14447 |
K. Bieleszová et al., “New fluorescent auxin derivatives: anti-auxin activity and accumulation patterns in Arabidopsis thaliana,” Plant Growth Regulation. Springer Nature, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 | Thesis | IST-REx-ID: 14622
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 |
N. Amberg, G. T. Cheung, and S. Hippenmeyer, “Protocol for sorting cells from mouse brains labeled with mosaic analysis with double markers by flow cytometry,” STAR Protocols, vol. 5, no. 1. Elsevier, 2023.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 14691 |
B. Auerbach, M. Cueto Noval, G. Pascual Perez, and K. Z. Pietrzak, “On the cost of post-compromise security in concurrent Continuous Group-Key Agreement,” in 21st International Conference on Theory of Cryptography, Taipei, Taiwan, 2023, vol. 14371, pp. 271–300.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Conference Paper | IST-REx-ID: 14692 |
B. Auerbach, C. Hoffmann, and G. Pascual Perez, “Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing,” in 21st International Conference on Theory of Cryptography, 2023, vol. 14371, pp. 301–330.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Journal Article | IST-REx-ID: 14689
E. Ing-Simmons, N. N. Machnik, and J. M. Vaquerizas, “Reply to: Revisiting the use of structural similarity index in Hi-C,” Nature Genetics, vol. 55, no. 12. Springer Nature, pp. 2053–2055, 2023.
View
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14360 |
E. Sitarska et al., “Sensing their plasma membrane curvature allows migrating cells to circumvent obstacles,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14274 |
J. H. Alanko et al., “CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration,” Science Immunology, vol. 8, no. 87. American Association for the Advancement of Science, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 14697
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 |
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 |
S. Pastva and T. A. Henzinger, “Binary decision diagrams on modern hardware,” in Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, Ames, IA, United States, 2023, pp. 122–131.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14240 |
S. Jeschke and C. Wojtan, “Generalizing shallow water simulations with dispersive surface waves,” ACM Transactions on Graphics, vol. 42, no. 4. Association for Computing Machinery, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14709 |
M. Del Bianco, J. Friml, L. Strader, and S. Kepinski, “Auxin research: Creating tools for a greener future,” Journal of Experimental Botany, vol. 74, no. 22. Oxford University Press, pp. 6889–6892, 2023.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12833 |
A. Biniaz et al., “Token swapping on trees,” Discrete Mathematics and Theoretical Computer Science, vol. 24, no. 2. EPI Sciences, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14734
S. Wan et al., “Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4,” Small Methods. Wiley, 2023.
View
| DOI
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 14736
M. Bastankhah, K. Chatterjee, M. A. Maddah-Ali, S. Schmid, J. Svoboda, and M. X. Yeo, “R2: Boosting liquidity in payment channel networks with online admission control,” in 27th International Conference on Financial Cryptography and Data Security, Bol, Brac, Croatia, 2023, vol. 13950, pp. 309–325.
View
| DOI
2023 | Journal Article | IST-REx-ID: 14742 |
K. Lucek et al., “The impact of chromosomal rearrangements in speciation: From micro- to macroevolution,” Cold Spring Harbor Perspectives in Biology, vol. 15, no. 11. Cold Spring Harbor Laboratory, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14749
U. Mishra, V. Li, S. Wald, S. Agafonova, F. R. Diorico, and O. Hosten, “Monitoring and active stabilization of laser injection locking using beam ellipticity,” Optics Letters, vol. 48, no. 15. Optica Publishing Group, pp. 3973–3976, 2023.
[Preprint]
View
| DOI
| arXiv
2023 | Book Chapter | IST-REx-ID: 14757
A. Villalba Requena, N. Amberg, and S. Hippenmeyer, “Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression,” in Neocortical Neurogenesis in Development and Evolution, W. Huttner, Ed. Wiley, 2023, pp. 169–191.
View
| DOI
2023 | Journal Article | IST-REx-ID: 14759 |
S. Wald, F. R. Diorico, and O. Hosten, “Analog stabilization of an electro-optic I/Q modulator with an auxiliary modulation tone,” Applied Optics, vol. 62, no. 1. Optica Publishing Group, pp. 1–7, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data | IST-REx-ID: 12817 |
J. G. Danzl, “Research data for the publication ‘Dense 4D nanoscale reconstruction of living brain tissue.’” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13267 |
P. Velicky et al., “Dense 4D nanoscale reconstruction of living brain tissue,” Nature Methods, vol. 20. Springer Nature, pp. 1256–1265, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 14771 |
E. B. Iofinova, E.-A. Peste, and D.-A. Alistarh, “Bias in pruned vision models: In-depth analysis and countermeasures,” in 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition, Vancouver, BC, Canada, 2023, pp. 24364–24373.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14770
J. G. Danzl and P. Velicky, “LIONESS enables 4D nanoscale reconstruction of living brain tissue,” Nature Methods, vol. 20, no. 8. Springer Nature, pp. 1141–1142, 2023.
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14775 |
K. Schnelli and Y. Xu, “Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices,” The Annals of Applied Probability, vol. 33, no. 1. Institute of Mathematical Statistics, pp. 677–725, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14783 |
G. T. Cheung et al., “Astroglial connexin 43 regulates synaptic vesicle release at hippocampal synapses,” Cells, vol. 12, no. 8. MDPI, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14781 |
K. J. Westerich et al., “Spatial organization and function of RNA molecules within phase-separated condensates in zebrafish are controlled by Dnd1,” Developmental Cell, vol. 58, no. 17. Elsevier, p. 1578–1592.e5, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 14539 |
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 |
B. Corominas-Murtra and E. B. Hannezo, “Modelling the dynamics of mammalian gut homeostasis,” Seminars in Cell & Developmental Biology, vol. 150–151. Elsevier, pp. 58–65, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14661 |
M. Carioni, J. L. Fischer, and A. Schlömerkemper, “External forces in the continuum limit of discrete systems with non-convex interaction potentials: Compactness for a Γ-development,” Journal of Convex Analysis, vol. 30, no. 1. Heldermann Verlag, pp. 217–247, 2023.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14778 |
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, and D. Zikelic, “On lexicographic proof rules for probabilistic termination,” Formal Aspects of Computing, vol. 35, no. 2. Association for Computing Machinery, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14827
C. Schwayer and D. Brückner, “Connecting theory and experiment in cell and tissue mechanics,” Journal of Cell Science, vol. 136, no. 24. The Company of Biologists, 2023.
View
| DOI
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 14830
D. Zikelic, M. Lechner, T. A. Henzinger, and K. Chatterjee, “Learning control policies for stochastic systems with reach-avoid guarantees,” in Proceedings of the 37th AAAI Conference on Artificial Intelligence, Washington, DC, United States, 2023, vol. 37, no. 10, pp. 11926–11935.
[Preprint]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14849 |
G. Cipolloni, L. Erdös, D. J. Schröder, and Y. Xu, “On the rightmost eigenvalue of non-Hermitian random matrices,” The Annals of Probability, vol. 51, no. 6. Institute of Mathematical Statistics, pp. 2192–2242, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Abstract | IST-REx-ID: 14864 |
A. Stöllner, I. C. Lenton, C. J. Muller, and S. R. Waitukaitis, “Measuring spontaneous charging of single aerosol particles,” in EGU General Assembly 2023, Vienna, Austria & Virtual, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Conference Abstract | IST-REx-ID: 14862 |
S. Rella, Y. Kulikova, A. Minnegalieva, and F. Kondrashov, “Complex vaccination strategies prevent the emergence of vaccine resistance,” in European Journal of Public Health, 2023, vol. 33, no. Supplement_2.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13049 |
M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, and S. Lefebvre, “PCBend: Light up your 3D shapes with foldable circuit boards,” Transactions on Graphics, vol. 42, no. 4. Association for Computing Machinery, 2023.
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13212 |
H. Chen, L. Li, M. Zou, L. Qi, and J. Friml, “Distinct functions of TIR1 and AFB1 receptors in auxin signalling.,” Molecular Plant, vol. 16, no. 7. Elsevier , pp. 1117–1119, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14032 |
S. Mukhopadhyay et al., “Superconductivity from a melted insulator in Josephson junction arrays,” Nature Physics, vol. 19. Springer Nature, pp. 1630–1635, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13266 |
L. Qi and J. Friml, “Tale of cAMP as a second messenger in auxin signaling and beyond,” New Phytologist, vol. 240, no. 2. Wiley, pp. 489–495, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13136 |
T. Minchington, S. Rus, and A. Kicheva, “Control of tissue dimensions in the developing neural tube and somites,” Current Opinion in Systems Biology, vol. 35. Elsevier, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13209 |
J. Xia et al., “Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen,” Plant Communications, vol. 4, no. 6. Elsevier , 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13971 |
D. Grober, I. Palaia, M. C. Ucar, E. B. Hannezo, A. Šarić, and J. A. Palacci, “Unconventional colloidal aggregation in chiral bacterial baths,” Nature Physics, vol. 19. Springer Nature, pp. 1680–1688, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 10551 |
F. Cornalba and J. L. Fischer, “The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles,” Archive for Rational Mechanics and Analysis, vol. 247, no. 5. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13234 |
K. Kueffner, A. Lukina, C. Schilling, and T. A. Henzinger, “Into the unknown: Active monitoring of neural networks (extended version),” International Journal on Software Tools for Technology Transfer, vol. 25. Springer Nature, pp. 575–592, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14244 |
T. Hausel, M. L. Wong, and D. Wyss, “Arithmetic and metric aspects of open de Rham spaces,” Proceedings of the London Mathematical Society, vol. 127, no. 4. Wiley, pp. 958–1027, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14254 |
R. Seiringer and J. P. Solovej, “A simple approach to Lieb-Thirring type inequalities,” Journal of Functional Analysis, vol. 285, no. 10. Elsevier, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14401 |
M. E. Maes, R. J. Donahue, C. L. Schlamp, O. J. Marola, R. T. Libby, and R. W. Nickells, “BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps,” Molecular Neurodegeneration, vol. 18. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 14921 |
P. Súkeník, M. Mondelli, and C. Lampert, “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 |
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 |
L. Knaus et al., “Large neutral amino acid levels tune perinatal neuronal excitability and survival,” Cell, vol. 186, no. 9. Elsevier, p. 1950–1967.e25, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Preprint | IST-REx-ID: 13312 |
M. Valentini et al., “Radio frequency driven superconducting diode and parity conserving Cooper pair transport in a two-dimensional germanium hole gas,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14466 |
E. Marensi, G. Yalniz, and B. Hof, “Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows,” Journal of Fluid Mechanics, vol. 974. Cambridge University Press, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Book Chapter | IST-REx-ID: 14992 |
M. Lewin, E. H. Lieb, and R. Seiringer, “Universal Functionals in Density Functional Theory,” in Density Functional Theory, 1st ed., E. Cances and G. Friesecke, Eds. Springer, 2023, pp. 115–182.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data | IST-REx-ID: 13126 |
J. G. Danzl, “Research data for the publication ‘Imaging brain tissue architecture across millimeter to nanometer scales.’” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 13116 |
Z. Dunajova et al., “Chiral and nematic phases of flexible active filaments.” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13314 |
Z. Dunajova et al., “Chiral and nematic phases of flexible active filaments,” Nature Physics, vol. 19. Springer Nature, pp. 1916–1926, 2023.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14257 |
J. M. Michalska et al., “Imaging brain tissue architecture across millimeter to nanometer scales,” Nature Biotechnology. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2023 | Thesis | IST-REx-ID: 14280
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 |
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 |
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM,” in 35th International Conference on Computer Aided Verification , Paris, France, 2023, vol. 13964, pp. 156–169.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14995 |
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 15023 |
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, and T. A. Henzinger, “Compositional policy learning in stochastic control systems with formal guarantees,” in 37th Conference on Neural Information Processing Systems, New Orleans, LO, United States, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14076 |
M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers,” in 23nd International Conference on Runtime Verification, Thessaloniki, Greek, 2023, vol. 14245, pp. 168–190.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 15035 |
M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Thesis | IST-REx-ID: 13984
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 |
B. Prach and C. Lampert, “1-Lipschitz neural networks are more expressive with N-activations,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14812 |
S. Stankowski, “Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 13214 |
R. Abualia, S. Riegler, and E. Benková, “Nitrate, auxin and cytokinin - a trio to tango,” Cells, vol. 12, no. 12. MDPI, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 14323
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 |
C. Zhang et al., “Causality in the time of LLMs: Round table discussion results of CLeaR 2023,” in 2nd Conference on Causal Learning and Reasoning, Tübingen, Germany, 2023.
[Submitted Version]
View
| Files available
2023 | Research Data | IST-REx-ID: 13173 |
R. Shigemoto, “Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals.” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13182 |
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, and M. Saghafian, “Geometric characterization of the persistence of 1D maps,” Journal of Applied and Computational Topology. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13044 |
S. Mondal, R. B. Jethwa, B. Pant, R. Hauschild, and S. A. 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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 | Thesis | IST-REx-ID: 14587 |
A. Marveggio, “Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI