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.
9101 Publications
2023 | Journal Article | IST-REx-ID: 14783 | 
Cheung GT, Chever O, Rollenhagen A, Quenech’du N, Ezan P, Lübke JHR, Rouach N. 2023. Astroglial connexin 43 regulates synaptic vesicle release at hippocampal synapses. Cells. 12(8), 1133.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14785 |
Nies F, Wein T, Hanke DM, Springstein BL, Alcorta J, Taubenheim C, Dagan T. 2023. Role of natural transformation in the evolution of small cryptic plasmids in Synechocystis sp. PCC 6803. Environmental Microbiology Reports. 15(6), 656–668.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14780 |
Ding X, Ji HC. 2023. Spiked multiplicative random matrices and principal components. Stochastic Processes and their Applications. 163, 25–60.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14779 |
Shaw TE, Buri P, McCarthy M, Miles ES, Ayala Á, Pellicciotti F. 2023. The decaying near‐surface boundary layer of a retreating alpine glacier. Geophysical Research Letters. 50(11), e2023GL103043.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14781 |
Westerich KJ, Tarbashevich K, Schick J, Gupta A, Zhu M, Hull K, Romo D, Zeuschner D, Goudarzi M, Gross-Thebing T, Raz E. 2023. Spatial organization and function of RNA molecules within phase-separated condensates in zebrafish are controlled by Dnd1. Developmental Cell. 58(17), 1578–1592.e5.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 14539 |
Zikelic D. 2023. Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14788 |
Mund M, Tschanz A, Wu Y-L, Frey FF, Mehl JL, Kaksonen M, Avinoam O, Schwarz US, Ries J. 2023. Clathrin coats partially preassemble and subsequently bend during endocytosis. Journal of Cell Biology. 222(3), e202206038.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14786
Filipović Marijić V, Subirana MA, Schaumlöffel D, Barišić J, Gontier E, Krasnici N, Mijošek T, Hernández-Orts JS, Scholz T, Erk M. 2023. First insight in element localisation in different body parts of the acanthocephalan Dentitruncus truttae using TEM and NanoSIMS. Science of The Total Environment. 887, 164010.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14787 |
Stankowski S, Chase MA, McIntosh H, Streisfeld MA. 2023. Integrating top‐down and bottom‐up approaches to understand the genetic architecture of speciation across a monkeyflower hybrid zone. Molecular Ecology. 32(8), 2041–2054.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12162 |
Corominas-Murtra B, Hannezo EB. 2023. Modelling the dynamics of mammalian gut homeostasis. Seminars in Cell & Developmental Biology. 150–151, 58–65.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13268 |
Huybrechts D, Mauri M. 2023. On type II degenerations of hyperkähler manifolds. Mathematical Research Letters. 30(1), 125–141.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14661 |
Carioni M, Fischer JL, Schlömerkemper A. 2023. External forces in the continuum limit of discrete systems with non-convex interaction potentials: Compactness for a Γ-development. Journal of Convex Analysis. 30(1), 217–247.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14799 |
Pauw BR, Smales GJ, Anker AS, Annadurai V, Balazs D, Bienert R, Bouwman WG, Breßler I, Breternitz J, Brok ES, Bryant G, Clulow AJ, Crater ER, De Geuser F, Giudice AD, Deumer J, Disch S, Dutt S, Frank K, Fratini E, Garcia PRAF, Gilbert EP, Hahn MB, Hallett J, Hohenschutz M, Hollamby M, Huband S, Ilavsky J, Jochum JK, Juelsholt M, Mansel BW, Penttilä P, Pittkowski RK, Portale G, Pozzo LD, Rochels L, Rosalie JM, Saloga PEJ, Seibt S, Smith AJ, Smith GN, Spiering GA, Stawski TM, Taché O, Thünemann AF, Toth K, Whitten AE, Wuttke J. 2023. The human factor: Results of a small-angle scattering data analysis round robin. Journal of Applied Crystallography. 56(6), 1618–1629.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14778 |
Chatterjee K, Kafshdar Goharshady E, Novotný P, Zárevúcky J, Zikelic D. 2023. On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. 35(2), 11.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14798 |
Chen B, Jindal A, Piovarci M, Wang C, Seidel HP, Didyk P, Myszkowski K, Serrano A, Mantiuk RK. 2023. The effect of display capabilities on the gloss consistency between real and virtual objects. Proceedings of the SIGGRAPH Asia 2023 Conference. SIGGRAPH: Computer Graphics and Interactive Techniques Conference, 90.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14815 |
Beznosikov A, Horvath S, Richtarik P, Safaryan M. 2023. On biased compression for distributed learning. Journal of Machine Learning Research. 24, 1–50.
[Published Version]
View
| Files available
| WoS
| arXiv
2023 | Conference Paper | IST-REx-ID: 14456 |
Křišťan JM, Svoboda J. 2023. Shortest dominating set reconfiguration under token sliding. 24th International Symposium on Fundamentals of Computation Theory. FCT: Fundamentals of Computation Theory, LNCS, vol. 14292, 333–347.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14829 |
Cohen S, Goren G, Kokoris Kogias E, Sonnino A, Spiegelman A. 2023. Proof of availability and retrieval in a modular blockchain architecture. 27th International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13951, 36–53.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Journal Article | IST-REx-ID: 14827
Schwayer C, Brückner D. 2023. Connecting theory and experiment in cell and tissue mechanics. Journal of Cell Science. 136(24), jcs. 261515.
View
| DOI
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 14830
Zikelic D, Lechner M, Henzinger TA, Chatterjee K. 2023. Learning control policies for stochastic systems with reach-avoid guarantees. Proceedings of the 37th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 37, 11926–11935.
[Preprint]
View
| Files available
| DOI
| arXiv