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.
4964 Publications
2023 | Thesis | IST-REx-ID: 14539 | 
Zikelic, D. (2023). Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria. https://doi.org/10.15479/14539
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14788 |
Mund, M., Tschanz, A., Wu, Y.-L., Frey, F. F., Mehl, J. L., Kaksonen, M., … Ries, J. (2023). Clathrin coats partially preassemble and subsequently bend during endocytosis. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.202206038
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14786
Filipović Marijić, V., Subirana, M. A., Schaumlöffel, D., Barišić, J., Gontier, E., Krasnici, N., … 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. Elsevier. https://doi.org/10.1016/j.scitotenv.2023.164010
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14787 |
Stankowski, S., Chase, M. A., McIntosh, H., & Streisfeld, M. A. (2023). Integrating top‐down and bottom‐up approaches to understand the genetic architecture of speciation across a monkeyflower hybrid zone. Molecular Ecology. Wiley. https://doi.org/10.1111/mec.16849
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12162 |
Corominas-Murtra, B., & Hannezo, E. B. (2023). Modelling the dynamics of mammalian gut homeostasis. Seminars in Cell & Developmental Biology. Elsevier. https://doi.org/10.1016/j.semcdb.2022.11.005
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13268 |
Huybrechts, D., & Mauri, M. (2023). On type II degenerations of hyperkähler manifolds. Mathematical Research Letters. International Press. https://doi.org/10.4310/mrl.2023.v30.n1.a6
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14661 |
Carioni, M., Fischer, J. L., & 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. Heldermann Verlag.
[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. Association for Computing Machinery. https://doi.org/10.1145/3585391
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14798 |
Chen, B., Jindal, A., Piovarci, M., Wang, C., Seidel, H. P., Didyk, P., … Mantiuk, R. K. (2023). The effect of display capabilities on the gloss consistency between real and virtual objects. In Proceedings of the SIGGRAPH Asia 2023 Conference. Sydney, Australia: Association for Computing Machinery. https://doi.org/10.1145/3610548.3618226
[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. Journal of Machine Learning Research.
[Published Version]
View
| Files available
| WoS
| arXiv
2023 | Conference Paper | IST-REx-ID: 14456 |
Křišťan, J. M., & Svoboda, J. (2023). Shortest dominating set reconfiguration under token sliding. In 24th International Symposium on Fundamentals of Computation Theory (Vol. 14292, pp. 333–347). Trier, Germany: Springer Nature. https://doi.org/10.1007/978-3-031-43587-4_24
[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. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13951, pp. 36–53). Bol, Brac, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-47751-5_3
[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. The Company of Biologists. https://doi.org/10.1242/jcs.261515
View
| DOI
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 14830
Zikelic, D., Lechner, M., Henzinger, T. A., & Chatterjee, K. (2023). Learning control policies for stochastic systems with reach-avoid guarantees. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 11926–11935). Washington, DC, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v37i10.26407
[Preprint]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14831 |
Sakref, Y., Muñoz Basagoiti, M., Zeravcic, Z., & Rivoire, O. (2023). On kinetic constraints that catalysis imposes on elementary processes. The Journal of Physical Chemistry B. American Chemical Society. https://doi.org/10.1021/acs.jpcb.3c04627
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14844 |
Azadbakht, A., Meadowcroft, B., Majek, J., Šarić, A., & Kraft, D. J. (n.d.). Nonadditivity in interactions between three membrane-wrapped colloidal spheres. Biophysical Journal. Elsevier. https://doi.org/10.1016/j.bpj.2023.12.020
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Other Publication | IST-REx-ID: 14861 |
Becker, L. M., Berbon, M., Vallet, A., Grelard, A., Morvan, E., Bardiaux, B., … Schanda, P. (2023). Cover Picture: The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle‐Spinning NMR spectroscopy of aromatic residues. Angewandte Chemie International Edition (Vol. 62). Wiley. https://doi.org/10.1002/anie.202304138
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 14849 |
Cipolloni, G., Erdös, L., Schröder, D. J., & Xu, Y. (2023). On the rightmost eigenvalue of non-Hermitian random matrices. The Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/23-aop1643
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14835 |
Becker, L. M., Berbon, M., Vallet, A., Grelard, A., Morvan, E., Bardiaux, B., … Schanda, P. (2023). Der starre Kern und die flexible Oberfläche von Amyloidfibrillen – Magic‐Angle‐Spinning NMR Spektroskopie von aromatischen Resten. Angewandte Chemie. Wiley. https://doi.org/10.1002/ange.202219314
[Published Version]
View
| Files available
| DOI