Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6936 Publications
2023 | Journal Article | IST-REx-ID: 14246 | 
Brauneis F, Ghazaryan A, Hammer H-W, Volosniev A. Emergence of a Bose polaron in a small ring threaded by the Aharonov-Bohm flux. Communications Physics. 2023;6. doi:10.1038/s42005-023-01281-2
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14192 |
Lampart J, Mitrouskas DJ, Mysliwy K. On the global minimum of the energy–momentum relation for the polaron. Mathematical Physics, Analysis and Geometry. 2023;26(3). doi:10.1007/s11040-023-09460-x
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14238 |
Kranabetter L, Kristensen HH, Ghazaryan A, et al. Nonadiabatic laser-induced alignment dynamics of molecules on a surface. Physical Review Letters. 2023;131(5). doi:10.1103/PhysRevLett.131.053201
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Journal Article | IST-REx-ID: 14255 |
Koch J, Xin Q, Obr M, et al. The phenuivirus Toscana virus makes an atypical use of vacuolar acidity to enter host cells. PLoS Pathogens. 2023;19(8). doi:10.1371/journal.ppat.1011562
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14339 |
Roychoudhry S, Sageman-Furnas K, Wolverton C, et al. Antigravitropic PIN polarization maintains non-vertical growth in lateral roots. Nature Plants. 2023;9:1500-1513. doi:10.1038/s41477-023-01478-x
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14363 |
Maes ME, Colombo G, Schoot Uiterkamp FE, et al. Mitochondrial network adaptations of microglia reveal sex-specific stress response after injury and UCP2 knockout. iScience. 2023;26(10). doi:10.1016/j.isci.2023.107780
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14343 |
Cipolloni G, Erdös L, Henheik SJ, Kolupaiev O. Gaussian fluctuations in the equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. 2023;11. doi:10.1017/fms.2023.70
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14364 |
Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. Why extension-based proofs fail. SIAM Journal on Computing. 2023;52(4):913-944. doi:10.1137/20M1375851
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14345 |
Edelsbrunner H, Garber A, Ghafari M, Heiss T, Saghafian M. On angles in higher order Brillouin tessellations and related tilings in the plane. Discrete and Computational Geometry. 2023. doi:10.1007/s00454-023-00566-1
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14378 |
Ucar MC, Hannezo EB, Tiilikainen E, et al. Self-organized and directed branching results in optimal coverage in developing dermal lymphatic networks. Nature Communications. 2023;14. doi:10.1038/s41467-023-41456-7
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14361 |
Riedl M, Mayer ID, Merrin J, Sixt MK, Hof B. Synchronization in collectively moving inanimate and living active matter. Nature Communications. 2023;14. doi:10.1038/s41467-023-41432-1
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14434
He R, Yang L, Zhang Y, et al. A 3d‐4d‐5d high entropy alloy as a bifunctional oxygen catalyst for robust aqueous zinc–air batteries. Advanced Materials. 2023. doi:10.1002/adma.202303719
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14435
Zeng G, Sun Q, Horta S, et al. A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries. Advanced Materials. doi:10.1002/adma.202305128
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14455 |
Narzisi A, Halladay A, Masi G, Novarino G, Lord C. Tempering expectations: Considerations on the current state of stem cells therapy for autism treatment. Frontiers in Psychiatry. 2023;14. doi:10.3389/fpsyt.2023.1287879
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13125 |
Sack S, Medina Ramos RA, Kueng R, Serbyn M. Recursive greedy initialization of the quantum approximate optimization algorithm with guaranteed improvement. Physical Review A. 2023;107(6). doi:10.1103/physreva.107.062404
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14445 |
Wagner U, Wild P. Coboundary expansion, equivariant overlap, and crossing numbers of simplicial complexes. Israel Journal of Mathematics. 2023;256(2):675-717. doi:10.1007/s11856-023-2521-9
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14447 |
Bieleszová K, Hladík P, Kubala M, et al. New fluorescent auxin derivatives: anti-auxin activity and accumulation patterns in Arabidopsis thaliana. Plant Growth Regulation. 2023. doi:10.1007/s10725-023-01083-0
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 | Thesis | IST-REx-ID: 14622
Sack S. Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems. 2023. doi:10.15479/at:ista:14622
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14683 |
Amberg N, Cheung GT, Hippenmeyer S. Protocol for sorting cells from mouse brains labeled with mosaic analysis with double markers by flow cytometry. STAR Protocols. 2023;5(1). doi:10.1016/j.xpro.2023.102771
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 14691 |
Auerbach B, Cueto Noval M, Pascual Perez G, Pietrzak KZ. On the cost of post-compromise security in concurrent Continuous Group-Key Agreement. In: 21st International Conference on Theory of Cryptography. Vol 14371. Springer Nature; 2023:271-300. doi:10.1007/978-3-031-48621-0_10
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Conference Paper | IST-REx-ID: 14692 |
Auerbach B, Hoffmann C, Pascual Perez G. Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing. In: 21st International Conference on Theory of Cryptography. Vol 14371. Springer Nature; 2023:301-330. doi:10.1007/978-3-031-48621-0_11
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Journal Article | IST-REx-ID: 14689
Ing-Simmons E, Machnik NN, Vaquerizas JM. Reply to: Revisiting the use of structural similarity index in Hi-C. Nature Genetics. 2023;55(12):2053-2055. doi:10.1038/s41588-023-01595-5
View
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14360 |
Sitarska E, Almeida SD, Beckwith MS, et al. Sensing their plasma membrane curvature allows migrating cells to circumvent obstacles. Nature Communications. 2023;14. doi:10.1038/s41467-023-41173-1
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14274 |
Alanko JH, Ucar MC, Canigova N, et al. CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration. Science Immunology. 2023;8(87). doi: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 JA. Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function. 2023. doi:10.15479/at:ista:14697
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14651 |
Arathoon LS. Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus. 2023. doi:10.15479/at:ista:14651
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14718 |
Pastva S, Henzinger TA. Binary decision diagrams on modern hardware. In: Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. TU Vienna Academic Press; 2023:122-131. doi:10.34727/2023/isbn.978-3-85448-060-0_20
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14719
Mollania H, Zhang C, Du R, et al. Nanostructured Li₂S cathodes for silicon-sulfur batteries. ACS Applied Materials and Interfaces. 2023;15(50):58462–58475. doi:10.1021/acsami.3c14072
View
| DOI
2023 | Journal Article | IST-REx-ID: 14240 |
Jeschke S, Wojtan C. Generalizing shallow water simulations with dispersive surface waves. ACM Transactions on Graphics. 2023;42(4). doi:10.1145/3592098
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14709 |
Del Bianco M, Friml J, Strader L, Kepinski S. Auxin research: Creating tools for a greener future. Journal of Experimental Botany. 2023;74(22):6889-6892. doi:10.1093/jxb/erad420
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12833 |
Biniaz A, Jain K, Lubiw A, et al. Token swapping on trees. Discrete Mathematics and Theoretical Computer Science. 2023;24(2). doi:10.46298/DMTCS.8383
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14734
Wan S, Xiao S, Li M, et al. Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4. Small Methods. 2023. doi:10.1002/smtd.202301377
View
| DOI
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 14736
Bastankhah M, Chatterjee K, Maddah-Ali MA, Schmid S, Svoboda J, Yeo MX. R2: Boosting liquidity in payment channel networks with online admission control. In: 27th International Conference on Financial Cryptography and Data Security. Vol 13950. Springer Nature; 2023:309-325. doi:10.1007/978-3-031-47754-6_18
View
| DOI
2023 | Journal Article | IST-REx-ID: 14742 |
Lucek K, Giménez MD, Joron M, et al. The impact of chromosomal rearrangements in speciation: From micro- to macroevolution. Cold Spring Harbor Perspectives in Biology. 2023;15(11). doi:10.1101/cshperspect.a041447
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14749
Mishra U, Li V, Wald S, Agafonova S, Diorico FR, Hosten O. Monitoring and active stabilization of laser injection locking using beam ellipticity. Optics Letters. 2023;48(15):3973-3976. doi:10.1364/ol.495553
[Preprint]
View
| DOI
| arXiv
2023 | Book Chapter | IST-REx-ID: 14757
Villalba Requena A, Amberg N, Hippenmeyer S. Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression. In: Huttner W, ed. Neocortical Neurogenesis in Development and Evolution. Wiley; 2023:169-191. doi:10.1002/9781119860914.ch10
View
| DOI
2023 | Journal Article | IST-REx-ID: 14759 |
Wald S, Diorico FR, Hosten O. Analog stabilization of an electro-optic I/Q modulator with an auxiliary modulation tone. Applied Optics. 2023;62(1):1-7. doi:10.1364/ao.474118
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data | IST-REx-ID: 12817 |
Danzl JG. Research data for the publication “Dense 4D nanoscale reconstruction of living brain tissue.” 2023. doi:10.15479/AT:ISTA:12817
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13267 |
Velicky P, Miguel Villalba E, Michalska JM, et al. Dense 4D nanoscale reconstruction of living brain tissue. Nature Methods. 2023;20:1256-1265. doi: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 |
Iofinova EB, Peste E-A, Alistarh D-A. Bias in pruned vision models: In-depth analysis and countermeasures. In: 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition. IEEE; 2023:24364-24373. doi:10.1109/cvpr52729.2023.02334
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14770
Danzl JG, Velicky P. LIONESS enables 4D nanoscale reconstruction of living brain tissue. Nature Methods. 2023;20(8):1141-1142. doi:10.1038/s41592-023-01937-5
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14775 |
Schnelli K, Xu Y. Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices. The Annals of Applied Probability. 2023;33(1):677-725. doi:10.1214/22-aap1826
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14783 |
Cheung GT, Chever O, Rollenhagen A, et al. Astroglial connexin 43 regulates synaptic vesicle release at hippocampal synapses. Cells. 2023;12(8). doi:10.3390/cells12081133
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14781 |
Westerich KJ, Tarbashevich K, Schick J, et al. Spatial organization and function of RNA molecules within phase-separated condensates in zebrafish are controlled by Dnd1. Developmental Cell. 2023;58(17):1578-1592.e5. doi:10.1016/j.devcel.2023.06.009
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 14539 |
Zikelic D. Automated verification and control of infinite state stochastic systems. 2023. doi:10.15479/14539
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12162 |
Corominas-Murtra B, Hannezo EB. Modelling the dynamics of mammalian gut homeostasis. Seminars in Cell & Developmental Biology. 2023;150-151:58-65. doi:10.1016/j.semcdb.2022.11.005
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14661 |
Carioni M, Fischer JL, Schlömerkemper A. External forces in the continuum limit of discrete systems with non-convex interaction potentials: Compactness for a Γ-development. Journal of Convex Analysis. 2023;30(1):217-247.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14778 |
Chatterjee K, Kafshdar Goharshady E, Novotný P, Zárevúcky J, Zikelic D. On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. 2023;35(2). doi:10.1145/3585391
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14827
Schwayer C, Brückner D. Connecting theory and experiment in cell and tissue mechanics. Journal of Cell Science. 2023;136(24). doi:10.1242/jcs.261515
View
| DOI
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 14830
Zikelic D, Lechner M, Henzinger TA, Chatterjee K. Learning control policies for stochastic systems with reach-avoid guarantees. In: Proceedings of the 37th AAAI Conference on Artificial Intelligence. Vol 37. Association for the Advancement of Artificial Intelligence; 2023:11926-11935. doi:10.1609/aaai.v37i10.26407
[Preprint]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14849 |
Cipolloni G, Erdös L, Schröder DJ, Xu Y. On the rightmost eigenvalue of non-Hermitian random matrices. The Annals of Probability. 2023;51(6):2192-2242. doi:10.1214/23-aop1643
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14854
Mitrouskas DJ, Seiringer R. Ubiquity of bound states for the strongly coupled polaron. Pure and Applied Analysis. 2023;5(4):973-1008. doi:10.2140/paa.2023.5.973
View
| DOI
2023 | Conference Paper | IST-REx-ID: 14872
Sahu R, Qiu L, Hease WJ, et al. Entangling microwaves and telecom wavelength light. In: Frontiers in Optics + Laser Science 2023. Optica Publishing Group; 2023. doi:10.1364/ls.2023.lm1f.3
View
| DOI
2023 | Conference Abstract | IST-REx-ID: 14864 |
Stöllner A, Lenton IC, Muller CJ, Waitukaitis SR. Measuring spontaneous charging of single aerosol particles. In: EGU General Assembly 2023. European Geosciences Union; 2023. doi:10.5194/egusphere-egu23-6166
[Published Version]
View
| Files available
| DOI
2023 | Conference Abstract | IST-REx-ID: 14862 |
Rella S, Kulikova Y, Minnegalieva A, Kondrashov F. Complex vaccination strategies prevent the emergence of vaccine resistance. In: European Journal of Public Health. Vol 33. Oxford University Press; 2023. doi:10.1093/eurpub/ckad160.597
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13049 |
Freire M, Bhargava M, Schreck C, Hugron P-A, Bickel B, Lefebvre S. PCBend: Light up your 3D shapes with foldable circuit boards. Transactions on Graphics. 2023;42(4). doi:10.1145/3592411
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13212 |
Chen H, Li L, Zou M, Qi L, Friml J. Distinct functions of TIR1 and AFB1 receptors in auxin signalling. Molecular Plant. 2023;16(7):1117-1119. doi:10.1016/j.molp.2023.06.007
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14032 |
Mukhopadhyay S, Senior JL, Saez Mollejo J, et al. Superconductivity from a melted insulator in Josephson junction arrays. Nature Physics. 2023;19:1630-1635. doi:10.1038/s41567-023-02161-w
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13266 |
Qi L, Friml J. Tale of cAMP as a second messenger in auxin signaling and beyond. New Phytologist. 2023;240(2):489-495. doi:10.1111/nph.19123
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13136 |
Minchington T, Rus S, Kicheva A. Control of tissue dimensions in the developing neural tube and somites. Current Opinion in Systems Biology. 2023;35. doi:10.1016/j.coisb.2023.100459
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13209 |
Xia J, Kong M, Yang Z, et al. Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen. Plant Communications. 2023;4(6). doi:10.1016/j.xplc.2023.100632
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13971 |
Grober D, Palaia I, Ucar MC, Hannezo EB, Šarić A, Palacci JA. Unconventional colloidal aggregation in chiral bacterial baths. Nature Physics. 2023;19:1680-1688. doi:10.1038/s41567-023-02136-x
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 10551 |
Cornalba F, Fischer JL. The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles. Archive for Rational Mechanics and Analysis. 2023;247(5). doi:10.1007/s00205-023-01903-7
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13234 |
Kueffner K, Lukina A, Schilling C, Henzinger TA. Into the unknown: Active monitoring of neural networks (extended version). International Journal on Software Tools for Technology Transfer. 2023;25:575-592. doi:10.1007/s10009-023-00711-4
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14244 |
Hausel T, Wong ML, Wyss D. Arithmetic and metric aspects of open de Rham spaces. Proceedings of the London Mathematical Society. 2023;127(4):958-1027. doi:10.1112/plms.12555
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14254 |
Seiringer R, Solovej JP. A simple approach to Lieb-Thirring type inequalities. Journal of Functional Analysis. 2023;285(10). doi:10.1016/j.jfa.2023.110129
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14401 |
Maes ME, Donahue RJ, Schlamp CL, Marola OJ, Libby RT, Nickells RW. BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps. Molecular Neurodegeneration. 2023;18. doi:10.1186/s13024-023-00659-8
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 14921 |
Súkeník P, Mondelli M, Lampert C. Deep neural collapse is provably optimal for the deep unconstrained features model. In: 37th Annual Conference on Neural Information Processing Systems.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 | Thesis | IST-REx-ID: 13107 |
Knaus L. The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival. 2023. doi:10.15479/at:ista:13107
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12802 |
Knaus L, Basilico B, Malzl D, et al. Large neutral amino acid levels tune perinatal neuronal excitability and survival. Cell. 2023;186(9):1950-1967.e25. doi:10.1016/j.cell.2023.02.037
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Preprint | IST-REx-ID: 13312 |
Valentini M, Sagi O, Baghumyan L, et al. Radio frequency driven superconducting diode and parity conserving Cooper pair transport in a two-dimensional germanium hole gas. arXiv. doi:10.48550/arXiv.2306.07109
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14466 |
Marensi E, Yalniz G, Hof B. Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics. 2023;974. doi:10.1017/jfm.2023.780
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Book Chapter | IST-REx-ID: 14992 |
Lewin M, Lieb EH, Seiringer R. Universal Functionals in Density Functional Theory. In: Cances E, Friesecke G, eds. Density Functional Theory. 1st ed. MAMOMO. Springer; 2023:115-182. doi:10.1007/978-3-031-22340-2_3
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data | IST-REx-ID: 13126 |
Danzl JG. Research data for the publication “Imaging brain tissue architecture across millimeter to nanometer scales.” 2023. doi:10.15479/AT:ISTA:13126
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 13116 |
Dunajova Z, Prats Mateu B, Radler P, et al. Chiral and nematic phases of flexible active filaments. 2023. doi:10.15479/AT:ISTA:13116
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13314 |
Dunajova Z, Prats Mateu B, Radler P, et al. Chiral and nematic phases of flexible active filaments. Nature Physics. 2023;19:1916-1926. doi:10.1038/s41567-023-02218-w
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14257 |
Michalska JM, Lyudchik J, Velicky P, et al. Imaging brain tissue architecture across millimeter to nanometer scales. Nature Biotechnology. 2023. doi:10.1038/s41587-023-01911-8
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2023 | Thesis | IST-REx-ID: 14280
Radler P. Spatiotemporal signaling during assembly of the bacterial divisome. 2023. doi:10.15479/at:ista:14280
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 13286 |
Valentini M. Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium. 2023. doi:10.15479/at:ista:13286
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14260 |
Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. In: 35th International Conference on Computer Aided Verification . Vol 13964. Springer Nature; 2023:156-169. doi:10.1007/978-3-031-37706-8_8
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14995 |
Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. 2023. doi:10.5281/ZENODO.7877757
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 15023 |
Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. 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 |
Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. In: 23nd International Conference on Runtime Verification. Vol 14245. Springer Nature; 2023:168-190. doi:10.1007/978-3-031-44267-4_9
[Published Version]
View
| Files available
| DOI
2023 | Conference Abstract | IST-REx-ID: 14748
Chen Y-L, Ly M, Wojtan C. 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. doi:10.1145/3606037.3606836
View
| DOI
2023 | Research Data Reference | IST-REx-ID: 15035 |
Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. 2023. doi:10.5281/ZENODO.8191723
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Thesis | IST-REx-ID: 13984
Franschitz A. Individual and social immunity against viral infections in ants. 2023. doi:10.15479/at:ista:13984
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 15039 |
Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. arXiv. doi:10.48550/ARXIV.2311.06103
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14812 |
Stankowski S. Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails. 2023. doi:10.5281/ZENODO.8318995
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 13214 |
Abualia R, Riegler S, Benková E. Nitrate, auxin and cytokinin - a trio to tango. Cells. 2023;12(12). doi:10.3390/cells12121613
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 14323
Kuzmicz-Kowalska K. Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. 2023. doi:10.15479/at:ista:14323
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14974 |
Zhang C, Janzing D, van der Schaar M, et al. 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 |
Shigemoto R. Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals. 2023. doi:10.15479/AT:ISTA:13173
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13182 |
Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Geometric characterization of the persistence of 1D maps. Journal of Applied and Computational Topology. 2023. doi:10.1007/s41468-023-00126-9
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13044 |
Mondal S, Jethwa RB, Pant B, Hauschild R, Freunberger SA. Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes. Faraday Discussions. 2023. doi:10.1039/d3fd00088e
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 | Thesis | IST-REx-ID: 14587 |
Marveggio A. Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. 2023. doi:10.15479/at:ista:14587
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 14732 |
Olusanya OO, Khudiakova K, Sachdeva H. Genetic load, eco-evolutionary feedback and extinction in a metapopulation. bioRxiv. doi:10.1101/2023.12.02.569702
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2023 | Conference Paper | IST-REx-ID: 13262 |
Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. Provably-efficient and internally-deterministic parallel Union-Find. In: Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery; 2023:261-271. doi:10.1145/3558481.3591082
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 12979 |
Condor J, Piovarci M, Bickel B, Didyk P. Gloss-aware color correction for 3D printing. In: SIGGRAPH ’23 Conference Proceedings. Association for Computing Machinery; 2023. doi:10.1145/3588432.3591546
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Conference Paper | IST-REx-ID: 13228 |
Henzinger TA, Karimi M, Kueffner K, Mallik K. Runtime monitoring of dynamic fairness properties. In: FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency. Association for Computing Machinery; 2023:604-614. doi:10.1145/3593013.3594028
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12984 |
Piovarci M, Chapiro A, Bickel B. Skin-Screen: A computational fabrication framework for color tattoos. Transactions on Graphics. 2023;42(4). doi:10.1145/3592432
[Published Version]
View
| Files available
| DOI
| WoS