ISTA Research Explorer

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.

359 Publications

2023 | Journal Article | IST-REx-ID: 13974 |

Fulek, Radoslav, Bernd Gärtner, Andrey Kupavskii, Pavel Valtr, and Uli Wagner. “The Crossing Tverberg Theorem.” Discrete and Computational Geometry. Springer Nature, 2023. https://doi.org/10.1007/s00454-023-00532-x.

2023 | Journal Article | IST-REx-ID: 14040 |

Zhao, Ziyu, Irene Vercellino, Jana Knoppová, Roman Sobotka, James W. Murray, Peter J. Nixon, Leonid A Sazanov, and Josef Komenda. “The Ycf48 Accessory Factor Occupies the Site of the Oxygen-Evolving Manganese Cluster during Photosystem II Biogenesis.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-40388-6.

[Published Version] View | Files available | DOI | WoS

2023 | Journal Article | IST-REx-ID: 14077 |

Puixeu Sala, Gemma, Ariana Macon, and Beatriz Vicoso. “Sex-Specific Estimation of Cis and Trans Regulation of Gene Expression in Heads and Gonads of Drosophila Melanogaster.” G3: Genes, Genomes, Genetics. Oxford University Press, 2023. https://doi.org/10.1093/g3journal/jkad121.

[Published Version] View | Files available | DOI | WoS

2023 | Journal Article | IST-REx-ID: 14345 |

Edelsbrunner, Herbert, Alexey Garber, Mohadese Ghafari, Teresa Heiss, and Morteza Saghafian. “On Angles in Higher Order Brillouin Tessellations and Related Tilings in the Plane.” Discrete and Computational Geometry. Springer Nature, 2023. https://doi.org/10.1007/s00454-023-00566-1.

[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv

2023 | Conference Paper | IST-REx-ID: 14718 |

Pastva, Samuel, and Thomas A Henzinger. “Binary Decision Diagrams on Modern Hardware.” In Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, 122–31. TU Vienna Academic Press, 2023. https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20.

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 13267 |

Velicky, Philipp, Eder Miguel Villalba, Julia M Michalska, Julia Lyudchik, Donglai Wei, Zudi Lin, Jake Watson, et al. “Dense 4D Nanoscale Reconstruction of Living Brain Tissue.” Nature Methods. Springer Nature, 2023. https://doi.org/10.1038/s41592-023-01936-6.

2023 | Journal Article | IST-REx-ID: 13319 |

Vernooij, Matthijs, and Melchior Wirth. “Derivations and KMS-Symmetric Quantum Markov Semigroups.” Communications in Mathematical Physics. Springer Nature, 2023. https://doi.org/10.1007/s00220-023-04795-6.

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Journal Article | IST-REx-ID: 14401 |

Maes, Margaret E, Ryan J. Donahue, Cassandra L. Schlamp, Olivia J. Marola, Richard T. Libby, and Robert W. Nickells. “BAX Activation in Mouse Retinal Ganglion Cells Occurs in Two Temporally and Mechanistically Distinct Steps.” Molecular Neurodegeneration. Springer Nature, 2023. https://doi.org/10.1186/s13024-023-00659-8.

2023 | Thesis | IST-REx-ID: 14280

Radler, Philipp. “Spatiotemporal Signaling during Assembly of the Bacterial Divisome.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14280.

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 15173 |

Kwan, Matthew Alan, Ashwin Sah, and Mehtaab Sawhney. “Enumerating Matroids and Linear Spaces.” Comptes Rendus Mathematique. Academie des Sciences, 2023. https://doi.org/10.5802/crmath.423.

[Published Version] View | Files available | DOI | arXiv

2023 | Journal Article | IST-REx-ID: 15196 |

Burdge KB, El-Badry K, Rappaport S, Sunny Wong TL, Bauer EB, Bildsten L, Caiazzo I, Chakrabarty D, Chickles E, Graham MJ, Kara E, Kulkarni SR, Marsh TR, Nynka M, Prince TA, Simcoe RA, van Roestel J, Vanderbosch Z, Bellm EC, Dekany RG, Drake AJ, Helou G, Masci FJ, Milburn J, Riddle R, Rusholme B, Smith R. 2023. Orbital decay in an accreting and eclipsing 13.7 minute orbital period binary with a luminous donor. The Astrophysical Journal Letters. 953(1), L1.

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2023 | Journal Article | IST-REx-ID: 15202 |

Zane S et al. 2023. A strong x-ray polarization signal from the magnetar 1RXS J170849.0-400910. The Astrophysical Journal Letters. 944(2), L27.

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2022 | Book (Editor) | IST-REx-ID: 11429

Karimipour, Farid, and Sabine Storandt, eds. Web and Wireless Geographical Information Systems. 1st ed. Vol. 13238. Cham: Springer Nature, 2022. https://doi.org/10.1007/978-3-031-06245-2.

View | DOI

2022 | Journal Article | IST-REx-ID: 11488 |

Kusakabe, Haruka, Anne Verhamme, Jérémy Blaizot, Thibault Garel, Lutz Wisotzki, Floriane Leclercq, Roland Bacon, et al. “The MUSE EXtremely Deep Field: Individual Detections of Lyα Haloes around Rest-Frame UV-Selected Galaxies at z ≃ 2.9–4.4.” Astronomy & Astrophysics. EDP Sciences, 2022. https://doi.org/10.1051/0004-6361/202142302.

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2022 | Journal Article | IST-REx-ID: 11521 |

Matthee, Jorryt J, Rohan P. Naidu, Gabriele Pezzulli, Max Gronke, David Sobral, Pascal A. Oesch, Matthew Hayes, et al. “(Re)Solving Reionization with Lyα: How Bright Lyα Emitters Account for the z ≈ 2 − 8 Cosmic Ionizing Background.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2022. https://doi.org/10.1093/mnras/stac801.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2022 | Journal Article | IST-REx-ID: 12671 |

Buttress, Toby, Shengbo He, Liang Wang, Shaoli Zhou, Gerhard Saalbach, Martin Vickers, Guohong Li, Pilong Li, and Xiaoqi Feng. “Histone H2B.8 Compacts Flowering Plant Sperm through Chromatin Phase Separation.” Nature. Springer Nature, 2022. https://doi.org/10.1038/s41586-022-05386-6.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2022 | Journal Article | IST-REx-ID: 13347 |

Yanshyna, Oksana, Michał J. Białek, Oleg V. Chashchikhin, and Rafal Klajn. “Encapsulation within a Coordination Cage Modulates the Reactivity of Redox-Active Dyes.” Communications Chemistry. Springer Nature, 2022. https://doi.org/10.1038/s42004-022-00658-8.

[Published Version] View | DOI | Download Published Version (ext.)

2022 | Journal Article | IST-REx-ID: 10604 |

Turelli, Michael, and Nicholas H Barton. “Why Did the Wolbachia Transinfection Cross the Road? Drift, Deterministic Dynamics, and Disease Control.” Evolution Letters. Wiley, 2022. https://doi.org/10.1002/evl3.270.

[Published Version] View | Files available | DOI | WoS

2022 | Journal Article | IST-REx-ID: 11155 |

Obr, Martin, Wim J.H. Hagen, Robert A. Dick, Lingbo Yu, Abhay Kotecha, and Florian KM Schur. “Exploring High-Resolution Cryo-ET and Subtomogram Averaging Capabilities of Contemporary DEDs.” Journal of Structural Biology. Elsevier, 2022. https://doi.org/10.1016/j.jsb.2022.107852.

2022 | Journal Article | IST-REx-ID: 11339 |

Glover, Georgina, Margaritis Voliotis, Urszula Łapińska, Brandon M. Invergo, Darren Soanes, Paul O’Neill, Karen Moore, et al. “Nutrient and Salt Depletion Synergistically Boosts Glucose Metabolism in Individual Escherichia Coli Cells.” Communications Biology. Springer Nature, 2022. https://doi.org/10.1038/s42003-022-03336-6.

2022 | Journal Article | IST-REx-ID: 11551 |

Molina-Granada, David, Emiliano González-Vioque, Marris G. Dibley, Raquel Cabrera-Pérez, Antoni Vallbona-Garcia, Javier Torres-Torronteras, Leonid A Sazanov, Michael T. Ryan, Yolanda Cámara, and Ramon Martí. “Most Mitochondrial DGTP Is Tightly Bound to Respiratory Complex I through the NDUFA10 Subunit.” Communications Biology. Springer Nature, 2022. https://doi.org/10.1038/s42003-022-03568-6.

2022 | Journal Article | IST-REx-ID: 12079 |

Hensel, Sebastian, and Maximilian Moser. “Convergence Rates for the Allen–Cahn Equation with Boundary Contact Energy: The Non-Perturbative Regime.” Calculus of Variations and Partial Differential Equations. Springer Nature, 2022. https://doi.org/10.1007/s00526-022-02307-3.

[Published Version] View | Files available | DOI | WoS

2022 | Journal Article | IST-REx-ID: 12130 |

Huang, Jian, Lei Zhao, Shikha Malik, Benjamin R. Gentile, Va Xiong, Tzahi Arazi, Heather A. Owen, Jiří Friml, and Dazhong Zhao. “Specification of Female Germline by MicroRNA Orchestrated Auxin Signaling in Arabidopsis.” Nature Communications. Springer Nature, 2022. https://doi.org/10.1038/s41467-022-34723-6.

2022 | Journal Article | IST-REx-ID: 12174 |

Guerrini R, Mei D, Szigeti MK, Pepe S, Koenig MK, Von Allmen G, Cho MT, McDonald K, Baker J, Bhambhani V, Powis Z, Rodan L, Nabbout R, Barcia G, Rosenfeld JA, Bacino CA, Mignot C, Power LH, Harris CJ, Marjanovic D, Møller RS, Hammer TB, Keski Filppula R, Vieira P, Hildebrandt C, Sacharow S, Maragliano L, Benfenati F, Lachlan K, Benneche A, Petit F, de Sainte Agathe JM, Hallinan B, Si Y, Wentzensen IM, Zou F, Narayanan V, Matsumoto N, Boncristiano A, la Marca G, Kato M, Anderson K, Barba C, Sturiale L, Garozzo D, Bei R, Masuelli L, Conti V, Novarino G, Fassio A. 2022. Phenotypic and genetic spectrum of ATP6V1A encephalopathy: A disorder of lysosomal homeostasis. Brain. 145(8), 2687–2703.

[Published Version] View | DOI | Download Published Version (ext.) | WoS

2022 | Journal Article | IST-REx-ID: 12209 |

Nunes Pinheiro, Diana C, Roland Kardos, Edouard B Hannezo, and Carl-Philipp J Heisenberg. “Morphogen Gradient Orchestrates Pattern-Preserving Tissue Morphogenesis via Motility-Driven Unjamming.” Nature Physics. Springer Nature, 2022. https://doi.org/10.1038/s41567-022-01787-6.

[Published Version] View | Files available | DOI | WoS

2022 | Journal Article | IST-REx-ID: 12233 |

Doan, Nghia, Seyyed Ali Hashemi, Marco Mondelli, and Warren J. Gross. “Decoding Reed-Muller Codes with Successive Codeword Permutations.” IEEE Transactions on Communications. Institute of Electrical and Electronics Engineers, 2022. https://doi.org/10.1109/tcomm.2022.3211101.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2022 | Thesis | IST-REx-ID: 11362 |

Lechner, Mathias. “Learning Verifiable Representations.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11362.

[Published Version] View | Files available | DOI

2022 | Conference Paper | IST-REx-ID: 11185 |

Arroyo Guevara, Alan M, and Stefan Felsner. “Approximating the Bundled Crossing Number.” In WALCOM 2022: Algorithms and Computation, 13174:383–95. LNCS. Springer Nature, 2022. https://doi.org/10.1007/978-3-030-96731-4_31.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2022 | Thesis | IST-REx-ID: 12358 |

Sperl, Georg. “Homogenizing Yarn Simulations: Large-Scale Mechanics, Small-Scale Detail, and Quantitative Fitting.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12103.

[Published Version] View | Files available | DOI

2022 | Journal Article | IST-REx-ID: 15210 |

Richer, Harvey B., Roger E. Cohen, Jeremy Heyl, Jason Kalirai, Ilaria Caiazzo, Matteo Correnti, Jeffrey Cummings, et al. “When Do Stars Go Boom?” The Astrophysical Journal Letters. American Astronomical Society, 2022. https://doi.org/10.3847/2041-8213/ac6585.

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2022 | Journal Article | IST-REx-ID: 12244 |

Colombo, Gloria, Ryan J Cubero, Lida Kanari, Alessandro Venturino, Rouven Schulz, Martina Scolamiero, Jens Agerberg, et al. “A Tool for Mapping Microglial Morphology, MorphOMICs, Reveals Brain-Region and Sex-Dependent Phenotypes.” Nature Neuroscience. Springer Nature, 2022. https://doi.org/10.1038/s41593-022-01167-6.

2022 | Thesis | IST-REx-ID: 11388 |

Belohlavy, Stefanie. “The Genetic Basis of Complex Traits Studied via Analysis of Evolve and Resequence Experiments.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11388.

[Published Version] View | Files available | DOI

2022 | Preprint | IST-REx-ID: 11943 |

Velicky, Philipp, Eder Miguel Villalba, Julia M Michalska, Donglai Wei, Zudi Lin, Jake Watson, Jakob Troidl, et al. “Saturated Reconstruction of Living Brain Tissue.” BioRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/2022.03.16.484431.

[Preprint] View | Files available | DOI | Download Preprint (ext.)

2021 | Conference Paper | IST-REx-ID: 10367 |

Ilharco, Cesar, Afsaneh Shirazi, Arjun Gopalan, Arsha Nagrani, Blaž Bratanič, Chris Bregler, Christina Liu, et al. “Recognizing Multimodal Entailment.” In 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts, 29–30. Association for Computational Linguistics, 2021. https://doi.org/10.18653/v1/2021.acl-tutorials.6.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2021 | Journal Article | IST-REx-ID: 10617 |

Polshyn, Hryhoriy, Y. Zhang, M. A. Kumar, T. Soejima, P. Ledwith, K. Watanabe, T. Taniguchi, A. Vishwanath, M. P. Zaletel, and A. F. Young. “Topological Charge Density Waves at Half-Integer Filling of a Moiré Superlattice.” Nature Physics. Springer Nature, 2021. https://doi.org/10.1038/s41567-021-01418-6.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2021 | Other Publication | IST-REx-ID: 10645 |

Simbierowicz, Slawomir, Chunyan Shi, Michele Collodo, Moritz Kirste, Farid Hassani, Johannes M Fink, Jonas Bylander, Daniel Perez Lozano, and Russell Lake. Qubit Energy-Relaxation Statistics in the Bluefors Quantum Measurement System. Helsinki, Finland: Bluefors Oy, 2021.

[Published Version] View | Download Published Version (ext.)

2021 | Conference Paper | IST-REx-ID: 10688 |

Kragl, Bernhard, and Shaz Qadeer. “The Civl Verifier.” In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, edited by Piskac Ruzica and Michael W. Whalen, 2:143–152. TU Wien Academic Press, 2021. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23.

[Published Version] View | Files available | DOI

2021 | Journal Article | IST-REx-ID: 11498 |

Schmidt, K. B., J. Kerutt, L. Wisotzki, T. Urrutia, A. Feltre, M. V. Maseda, T. Nanayakkara, et al. “Recovery and Analysis of Rest-Frame UV Emission Lines in 2052 Galaxies Observed with MUSE at 1.5 < z < 6.4.” Astronomy & Astrophysics. EDP Sciences, 2021. https://doi.org/10.1051/0004-6361/202140876.

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2021 | Journal Article | IST-REx-ID: 11500 |

Bacon R, Mary D, Garel T, Blaizot J, Maseda M, Schaye J, Wisotzki L, Conseil S, Brinchmann J, Leclercq F, Abril-Melgarejo V, Boogaard L, Bouché NF, Contini T, Feltre A, Guiderdoni B, Herenz C, Kollatschny W, Kusakabe H, Matthee JJ, Michel-Dansac L, Nanayakkara T, Richard J, Roth M, Schmidt KB, Steinmetz M, Tresse L, Urrutia T, Verhamme A, Weilbacher PM, Zabl J, Zoutendijk SL. 2021. The MUSE Extremely Deep Field: The cosmic web in emission at high redshift. Astronomy & Astrophysics. 647, A107.

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2021 | Journal Article | IST-REx-ID: 11522 |

Gronke, Max, Pierre Ocvirk, Charlotte Mason, Jorryt J Matthee, Sarah E I Bosman, Jenny G Sorce, Joseph Lewis, et al. “Lyman-α Transmission Properties of the Intergalactic Medium in the CoDaII Simulation.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2021. https://doi.org/10.1093/mnras/stab2762.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2021 | Journal Article | IST-REx-ID: 11524 |

Santos, S, D Sobral, J Butterworth, A Paulino-Afonso, B Ribeiro, E da Cunha, J Calhau, A A Khostovan, Jorryt J Matthee, and P Arrabal Haro. “The Evolution of the UV Luminosity and Stellar Mass Functions of Lyman-α Emitters from z ∼ 2 to z ∼ 6.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2021. https://doi.org/10.1093/mnras/stab1218.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2021 | Journal Article | IST-REx-ID: 11756 |

Henzinger, Monika H, and Pan Peng. “Constant-Time Dynamic Weight Approximation for Minimum Spanning Forest.” Information and Computation. Elsevier, 2021. https://doi.org/10.1016/j.ic.2021.104805.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2021 | Journal Article | IST-REx-ID: 11886 |

Henzinger, Monika H, Sebastian Krinninger, and Danupon Nanongkai. “A Deterministic Almost-Tight Distributed Algorithm for Approximating Single-Source Shortest Paths.” SIAM Journal on Computing. Society for Industrial & Applied Mathematics, 2021. https://doi.org/10.1137/16m1097808.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2021 | Book Chapter | IST-REx-ID: 7941

Truckenbrodt, Sven M, and Silvio O. Rizzoli. “Simple Multi-Color Super-Resolution by X10 Microscopy.” In Methods in Cell Biology, 161:33–56. Elsevier, 2021. https://doi.org/10.1016/bs.mcb.2020.04.016.

View | DOI | PubMed | Europe PMC

2021 | Research Data Reference | IST-REx-ID: 13072 |

McCartney DL, Hillary RF, Conole EL, Trejo Banos D, Gadd DA, Walker RM, Nangle C, Flaig R, Campbell A, Murray AD, Munoz Maniega S, del C Valdes-Hernandez M, Harris MA, Bastin ME, Wardlaw JM, Harris SE, Porteous DJ, Tucker-Drob EM, McIntosh AM, Evans KL, Deary IJ, Cox SR, Robinson MR, Marioni RE. 2021. Blood-based epigenome-wide analyses of cognitive abilities, Zenodo, 10.5281/ZENODO.5794028.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2021 | Journal Article | IST-REx-ID: 8757 |

Bozelos, Panagiotis, and Tim P Vogels. “Talking Science, Online.” Nature Reviews Neuroscience. Springer Nature, 2021. https://doi.org/10.1038/s41583-020-00408-6.

2021 | Journal Article | IST-REx-ID: 9258 |

Pinkard H, Stuurman N, Ivanov IE, Anthony NM, Ouyang W, Li B, Yang B, Tsuchida MA, Chhun B, Zhang G, Mei R, Anderson M, Shepherd DP, Hunt-Isaak I, Dunn RL, Jahr W, Kato S, Royer LA, Thiagarajah JR, Eliceiri KW, Lundberg E, Mehta SB, Waller L. 2021. Pycro-Manager: Open-source software for customized and reproducible microscope control. Nature Methods. 18(3), 226–228.

2021 | Journal Article | IST-REx-ID: 9912 |

Erdös, László, Torben H Krüger, and Yuriy Nemish. “Scattering in Quantum Dots via Noncommutative Rational Functions.” Annales Henri Poincaré . Springer Nature, 2021. https://doi.org/10.1007/s00023-021-01085-6.

[Published Version] View | Files available | DOI | WoS | arXiv

2021 | Conference Paper | IST-REx-ID: 10002 |

Chatterjee, Krishnendu, Wolfgang Dvorak, Monika H Henzinger, and Alexander Svozil. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. Institute of Electrical and Electronics Engineers, 2021. https://doi.org/10.1109/LICS52264.2021.9470739.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Conference Paper | IST-REx-ID: 10004 |

Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. Institute of Electrical and Electronics Engineers, 2021. https://doi.org/10.1109/LICS52264.2021.9470595.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Journal Article | IST-REx-ID: 10280 |

Aubret, Antoine, Quentin Martinet, and Jérémie A Palacci. “Metamachines of Pluripotent Colloids.” Nature Communications. Springer Nature, 2021. https://doi.org/10.1038/s41467-021-26699-6.

2021 | Journal Article | IST-REx-ID: 10322 |

Chauve, Laetitia, Francesca Hodge, Sharlene Murdoch, Fatemah Masoudzadeh, Harry Jack Mann, Andrea Lopez-Clavijo, Hanneke Okkenhaug, et al. “Neuronal HSF-1 Coordinates the Propagation of Fat Desaturation across Tissues to Enable Adaptation to High Temperatures in C. Elegans.” PLoS Biology. Public Library of Science, 2021. https://doi.org/10.1371/journal.pbio.3001431.

2021 | Conference Paper | IST-REx-ID: 10609 |

Chakraborty, Suvradip, Chaya Ganesh, Mahak Pancholi, and Pratik Sarkar. “Reverse Firewalls for Adaptively Secure MPC without Setup.” In 27th International Conference on the Theory and Application of Cryptology and Information Security, 13091:335–64. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-92075-3_12.

[Preprint] View | DOI | Download Preprint (ext.) | WoS

2021 | Journal Article | IST-REx-ID: 10223 |

Li, Lanxin, Inge Verstraeten, Mark Roosjen, Koji Takahashi, Lesia Rodriguez Solovey, Jack Merrin, Jian Chen, et al. “Cell Surface and Intracellular Auxin Signalling for H⁺ Fluxes in Root Growth.” Nature. Springer Nature, 2021. https://doi.org/10.1038/s41586-021-04037-6.

2021 | Journal Article | IST-REx-ID: 10655 |

Maes, Margaret E, Gabriele M. Wögenstein, Gloria Colombo, Raquel Casado Polanco, and Sandra Siegert. “Optimizing AAV2/6 Microglial Targeting Identified Enhanced Efficiency in the Photoreceptor Degenerative Environment.” Molecular Therapy - Methods and Clinical Development. Elsevier, 2021. https://doi.org/10.1016/j.omtm.2021.09.006.

[Published Version] View | Files available | DOI | WoS

2021 | Conference Paper | IST-REx-ID: 9969 |

Pietrzak, Krzysztof Z, Iosif Salem, Stefan Schmid, and Michelle X Yeo. “LightPIR: Privacy-Preserving Route Discovery for Payment Channel Networks.” IEEE, 2021. https://doi.org/10.23919/IFIPNetworking52078.2021.9472205.

2021 | Conference Paper | IST-REx-ID: 10414 |

Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevúcky, and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.” In 24th International Symposium on Formal Methods, 13047:619–39. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-90870-6_33.

2021 | Journal Article | IST-REx-ID: 7939 |

Censor-Hillel, Keren, Michal Dory, Janne Korhonen, and Dean Leitersdorf. “Fast Approximate Shortest Paths in the Congested Clique.” Distributed Computing. Springer Nature, 2021. https://doi.org/10.1007/s00446-020-00380-5.

2021 | Journal Article | IST-REx-ID: 15219 |

Richer, Harvey B., Ilaria Caiazzo, Helen Du, Steffani Grondin, James Hegarty, Jeremy Heyl, Ronan Kerr, David R. Miller, and Sarah Thiele. “Massive White Dwarfs in Young Star Clusters.” The Astrophysical Journal. American Astronomical Society, 2021. https://doi.org/10.3847/1538-4357/abdeb7.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2020 | Journal Article | IST-REx-ID: 11503 |

Kusakabe H, Blaizot J, Garel T, Verhamme A, Bacon R, Richard J, Hashimoto T, Inami H, Conseil S, Guiderdoni B, Drake AB, Christian Herenz E, Schaye J, Oesch P, Matthee JJ, Anna Marino R, Borello Schmidt K, Pelló R, Maseda M, Leclercq F, Kerutt J, Mahler G. 2020. The MUSE Hubble Ultra Deep Field Survey: XIV. Evolution of the Lyα emitter fraction from z = 3 to z = 6. Astronomy & Astrophysics. 638, A12.

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2020 | Journal Article | IST-REx-ID: 11533 |

Santos, S, D Sobral, Jorryt J Matthee, J Calhau, E da Cunha, B Ribeiro, A Paulino-Afonso, P Arrabal Haro, and J Butterworth. “The Evolution of Rest-Frame UV Properties, Ly α EWs, and the SFR–Stellar Mass Relation at z ∼ 2–6 for SC4K LAEs.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2020. https://doi.org/10.1093/mnras/staa093.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2020 | Journal Article | IST-REx-ID: 11539 |

Calhau, João, David Sobral, Sérgio Santos, Jorryt J Matthee, Ana Paulino-Afonso, Andra Stroe, Brooke Simmons, Cassandra Barlow-Hall, and Benjamin Adams. “The X-Ray and Radio Activity of Typical and Luminous Ly α Emitters from z ∼ 2 to z ∼ 6: Evidence for a Diverse, Evolving Population.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2020. https://doi.org/10.1093/mnras/staa476.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2020 | Journal Article | IST-REx-ID: 11610 |

Zinn JC, Stello D, Elsworth Y, García RA, Kallinger T, Mathur S, Mosser B, Bugnet LA, Jones C, Hon M, Sharma S, Schönrich R, Warfield JT, Luger R, Pinsonneault MH, Johnson JA, Huber D, Aguirre VS, Chaplin WJ, Davies GR, Miglio A. 2020. The K2 galactic archaeology program data release 2: Asteroseismic results from campaigns 4, 6, and 7. The Astrophysical Journal Supplement Series. 251(2), 23.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2020 | Journal Article | IST-REx-ID: 11979 |

Gisbertz, Sebastian, Susanne Reischauer, and Bartholomäus Pieber. “Overcoming Limitations in Dual Photoredox/Nickel-Catalysed C–N Cross-Couplings Due to Catalyst Deactivation.” Nature Catalysis. Springer Nature, 2020. https://doi.org/10.1038/s41929-020-0473-6.

[Preprint] View | DOI | Download Preprint (ext.)

2020 | Journal Article | IST-REx-ID: 8402 |

Rampelt, Heike, Iva Sucec, Beate Bersch, Patrick Horten, Inge Perschil, Jean-Claude Martinou, Martin van der Laan, Nils Wiedemann, Paul Schanda, and Nikolaus Pfanner. “The Mitochondrial Carrier Pathway Transports Non-Canonical Substrates with an Odd Number of Transmembrane Segments.” BMC Biology. Springer Nature, 2020. https://doi.org/10.1186/s12915-019-0733-6.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2020 | Conference Paper | IST-REx-ID: 8571 |

Geretti, Luca, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” In EPiC Series in Computing, 74:49–75. EasyChair, 2020. https://doi.org/10.29007/zkf6.

[Published Version] View | DOI | Download Published Version (ext.)

2020 | Conference Paper | IST-REx-ID: 9040 |

Alamdari, Par Alizadeh, Guy Avni, Thomas A Henzinger, and Anna Lukina. “Formal Methods with a Touch of Magic.” In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, 138–47. TU Wien Academic Press, 2020. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21.

[Published Version] View | Files available | DOI

2020 | Book (Editor) | IST-REx-ID: 7474 |

Schlögl, Alois, Janos Kiss, and Stefano Elefante, eds. Austrian High-Performance-Computing Meeting (AHPC2020). Klosterneuburg, Austria: IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7474.

[Published Version] View | Files available | DOI

2020 | Conference Paper | IST-REx-ID: 7952 |

Boissonnat, Jean-Daniel, and Mathijs Wintraecken. “The Topological Correctness of PL-Approximations of Isomanifolds.” In 36th International Symposium on Computational Geometry, Vol. 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.SoCG.2020.20.

[Published Version] View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 13466 |

Bodensteiner, J., H. Sana, L. Mahy, L. R. Patrick, A. de Koter, S. E. de Mink, C. J. Evans, et al. “The Young Massive SMC Cluster NGC 330 Seen by MUSE.” Astronomy & Astrophysics. EDP Sciences, 2020. https://doi.org/10.1051/0004-6361/201936743.

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2020 | Research Data Reference | IST-REx-ID: 9885

Ucar, Mehmet C, and Reinhard Lipowsky. “MURL_Dataz.” American Chemical Society , 2020. https://doi.org/10.1021/acs.nanolett.9b04445.s002.

[Published Version] View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 7632 |

Tombaz, Tuce, Benjamin A. Dunn, Karoline Hovde, Ryan J Cubero, Bartul Mimica, Pranav Mamidanna, Yasser Roudi, and Jonathan R. Whitlock. “Action Representation in the Mouse Parieto-Frontal Network.” Scientific Reports. Springer Nature, 2020. https://doi.org/10.1038/s41598-020-62089-6.

[Published Version] View | Files available | DOI | WoS

2020 | Journal Article | IST-REx-ID: 7792

Taboada-Gutiérrez, Javier, Gonzalo Álvarez-Pérez, Jiahua Duan, Weiliang Ma, Kyle Crowley, Ivan Prieto Gonzalez, Andrei Bylinkin, et al. “Broad Spectral Tuning of Ultra-Low-Loss Polaritons in a van Der Waals Crystal by Intercalation.” Nature Materials. Springer Nature, 2020. https://doi.org/10.1038/s41563-020-0665-0.

View | DOI | WoS | PubMed | Europe PMC

2020 | Journal Article | IST-REx-ID: 7940 |

Yang, Yaping, and Gufang Zhao. “The PBW Theorem for Affine Yangians.” Transformation Groups. Springer Nature, 2020. https://doi.org/10.1007/s00031-020-09572-6.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2020 | Journal Article | IST-REx-ID: 8091 |

Seiringer, Robert, and Jakob Yngvason. “Emergence of Haldane Pseudo-Potentials in Systems with Short-Range Interactions.” Journal of Statistical Physics. Springer, 2020. https://doi.org/10.1007/s10955-020-02586-0.

[Published Version] View | Files available | DOI | WoS | arXiv

2020 | Journal Article | IST-REx-ID: 8568 |

Prehal, Christian, Harald Fitzek, Gerald Kothleitner, Volker Presser, Bernhard Gollas, Stefan Alexander Freunberger, and Qamar Abbas. “Persistent and Reversible Solid Iodine Electrodeposition in Nanoporous Carbons.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-18610-6.

[Published Version] View | Files available | DOI | WoS

2020 | Journal Article | IST-REx-ID: 7207 |

Martín-Belmonte, Alejandro, Carolina Aguado, Rocío Alfaro-Ruíz, Ana Esther Moreno-Martínez, Luis De La Ossa, José Martínez-Hernández, Alain Buisson, et al. “Reduction in the Neuronal Surface of Post and Presynaptic GABA>B< Receptors in the Hippocampus in a Mouse Model of Alzheimer’s Disease.” Brain Pathology. Wiley, 2020. https://doi.org/10.1111/bpa.12802.

2020 | Journal Article | IST-REx-ID: 8973 |

Redig, Frank, Ellen Saada, and Federico Sau. “Symmetric Simple Exclusion Process in Dynamic Environment: Hydrodynamics.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2020. https://doi.org/10.1214/20-EJP536.

[Published Version] View | Files available | DOI | WoS | arXiv

2020 | Conference Paper | IST-REx-ID: 15071 |

Oshurkova, Viktoriia, Olga Troshina, Vladimir Trubitsyn, Yana Ryzhmanova, Olga Bochkareva, and Viktoria Shcherbakova. “Characterization of Methanosarcina Mazei JL01 Isolated from Holocene Arctic Permafrost and Study of the Archaeon Cooperation with Bacterium Sphaerochaeta Associata GLS2T.” In Proceedings of 1st International Electronic Conference on Microbiology. MDPI, 2020. https://doi.org/10.3390/ecm2020-07116.

[Published Version] View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 7161 |

Shehu, Yekini, Aviv Gibali, and Simone Sagratella. “Inertial Projection-Type Methods for Solving Quasi-Variational Inequalities in Real Hilbert Spaces.” Journal of Optimization Theory and Applications. Springer Nature, 2020. https://doi.org/10.1007/s10957-019-01616-6.

[Submitted Version] View | Files available | DOI | WoS

2019 | Journal Article | IST-REx-ID: 11505 |

de La Vieuville G, Bina D, Pello R, Mahler G, Richard J, Drake AB, Herenz EC, Bauer FE, Clément B, Lagattuta D, Laporte N, Martinez J, Patrício V, Wisotzki L, Zabl J, Bouwens RJ, Contini T, Garel T, Guiderdoni B, Marino RA, Maseda MV, Matthee JJ, Schaye J, Soucail G. 2019. Faint end of the z ∼ 3–7 luminosity function of Lyman-alpha emitters behind lensing clusters observed with MUSE. Astronomy & Astrophysics. 628, A3.

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2019 | Journal Article | IST-REx-ID: 11535 |

Khostovan, A A, D Sobral, B Mobasher, Jorryt J Matthee, R K Cochrane, N Chartab, M Jafariyazani, A Paulino-Afonso, S Santos, and J Calhau. “The Clustering of Typical Ly α Emitters from z ∼ 2.5–6: Host Halo Masses Depend on Ly α and UV Luminosities.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2019. https://doi.org/10.1093/mnras/stz2149.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2019 | Conference Paper | IST-REx-ID: 11850 |

Henzinger, Monika H, Stefan Neumann, and Stefan Schmid. “Efficient Distributed Workload (Re-)Embedding.” In SIGMETRICS’19: International Conference on Measurement and Modeling of Computer Systems, 43–44. Association for Computing Machinery, 2019. https://doi.org/10.1145/3309697.3331503.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2019 | Conference Paper | IST-REx-ID: 11851

Henzinger, Monika H, Alexander Noe, and Christian Schulz. “Shared-Memory Exact Minimum Cuts.” In 33rd International Parallel and Distributed Processing Symposium. Institute of Electrical and Electronics Engineers, 2019. https://doi.org/10.1109/ipdps.2019.00013.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2019 | Journal Article | IST-REx-ID: 170 |

Browning, Timothy D, and Efthymios Sofos. “Counting Rational Points on Quartic Del Pezzo Surfaces with a Rational Conic.” Mathematische Annalen. Springer Nature, 2019. https://doi.org/10.1007/s00208-018-1716-6.

[Published Version] View | Files available | DOI | arXiv

2019 | Book Chapter | IST-REx-ID: 5793

Asaoka, Yoichi, Hitoshi Morita, Hiroko Furumoto, Carl-Philipp J Heisenberg, and Makoto Furutani-Seiki. “Studying YAP-Mediated 3D Morphogenesis Using Fish Embryos and Human Spheroids.” In The Hippo Pathway, edited by Alexander Hergovich, 1893:167–81. Methods in Molecular Biology. Springer, 2019. https://doi.org/10.1007/978-1-4939-8910-2_14.

View | DOI

2019 | Conference Paper | IST-REx-ID: 6822 |

Avni, Guy, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Petr Novotny. “Bidding Games on Markov Decision Processes.” In Proceedings of the 13th International Conference of Reachability Problems, 11674:1–12. Springer, 2019. https://doi.org/10.1007/978-3-030-30806-3_1.

[Submitted Version] View | Files available | DOI

2019 | Book (Editor) | IST-REx-ID: 7171

Kersting, Kristian, Christoph Lampert, and Constantin Rothkopf, eds. Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt. 1st ed. Wiesbaden: Springer Nature, 2019. https://doi.org/10.1007/978-3-658-26763-6.

View | Files available | DOI

2019 | Conference Paper | IST-REx-ID: 7576 |

Immler, Fabian, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, and Christian Schilling. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” In EPiC Series in Computing, 61:41–61. EasyChair Publications, 2019. https://doi.org/10.29007/m75b.

[Published Version] View | Files available | DOI

2019 | Journal Article | IST-REx-ID: 8228 |

Singer, Josef, Gertrude Achatz-Straussberger, Anna Bentley-Lukschal, Judit Singer, Gernot Achatz, Sophia N. Karagiannis, and Erika Jensen-Jarolim. “AllergoOncology: High Innate IgE Levels Are Decisive for the Survival of Cancer-Bearing Mice.” World Allergy Organization Journal. Elsevier, 2019. https://doi.org/10.1016/j.waojou.2019.100044.

[Published Version] View | DOI | Download Published Version (ext.)

2019 | Journal Article | IST-REx-ID: 8263 |

Shelyakin, Pavel V., Olga Bochkareva, Anna A. Karan, and Mikhail S. Gelfand. “Micro-Evolution of Three Streptococcus Species: Selection, Antigenic Variation, and Horizontal Gene Inflow.” BMC Evolutionary Biology. Springer Nature, 2019. https://doi.org/10.1186/s12862-019-1403-6.

[Published Version] View | DOI | Download Published Version (ext.)

2019 | Journal Article | IST-REx-ID: 6819 |

Antoniou, Michael N., Armel Nicolas, Robin Mesnage, Martina Biserni, Francesco V. Rao, and Cristina Vazquez Martin. “Glyphosate Does Not Substitute for Glycine in Proteins of Actively Dividing Mammalian Cells.” BMC Research Notes. BioMed Central, 2019. https://doi.org/10.1186/s13104-019-4534-3.

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2019 | Research Data Reference | IST-REx-ID: 9784 |

Antoniou, Michael N., Armel Nicolas, Robin Mesnage, Martina Biserni, Francesco V. Rao, and Cristina Vazquez Martin. “MOESM1 of Glyphosate Does Not Substitute for Glycine in Proteins of Actively Dividing Mammalian Cells.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9411761.v1.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2019 | Journal Article | IST-REx-ID: 6023 |

Yoshida, Saiko, Alja Van Der Schuren, Maritza Van Dop, Luc Van Galen, Shunsuke Saiga, Milad Adibi, Barbara Möller, et al. “A SOSEKI-Based Coordinate System Interprets Global Polarity Cues in Arabidopsis.” Nature Plants. Springer Nature, 2019. https://doi.org/10.1038/s41477-019-0363-6.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2019 | Journal Article | IST-REx-ID: 6091 |

Henderson, Nathan T., Sylvain J. Le Marchand, Martin Hruska, Simon Hippenmeyer, Liqun Luo, and Matthew B. Dalva. “Ephrin-B3 Controls Excitatory Synapse Density through Cell-Cell Competition for EphBs.” ELife. eLife Sciences Publications, 2019. https://doi.org/10.7554/eLife.41563.

2019 | Journal Article | IST-REx-ID: 6412 |

Moussa, Hagar F., Daniel Bsteh, Ramesh Yelagandula, Carina Pribitzer, Karin Stecher, Katarina Bartalska, Luca Michetti, et al. “Canonical PRC1 Controls Sequence-Independent Propagation of Polycomb-Mediated Gene Silencing.” Nature Communications. Springer Nature, 2019. https://doi.org/10.1038/s41467-019-09628-6.

[Published Version] View | Files available | DOI | WoS

2019 | Research Data Reference | IST-REx-ID: 9897 |

Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 20 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808850.v1.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2019 | Journal Article | IST-REx-ID: 10874 |

Ionica, Sorina, Pınar Kılıçer, Kristin Lauter, Elisa Lorenzo García, Maria-Adelina Manzateanu, Maike Massierer, and Christelle Vincent. “Modular Invariants for Genus 3 Hyperelliptic Curves.” Research in Number Theory. Springer Nature, 2019. https://doi.org/10.1007/s40993-018-0146-6.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2019 | Journal Article | IST-REx-ID: 7181 |

Garriga, Edgar, Paolo Di Tommaso, Cedrik Magis, Ionas Erb, Leila Mansouri, Athanasios Baltzis, Hafid Laayouni, Fyodor Kondrashov, Evan Floden, and Cedric Notredame. “Large Multiple Sequence Alignments with a Root-to-Leaf Regressive Method.” Nature Biotechnology. Springer Nature, 2019. https://doi.org/10.1038/s41587-019-0333-6.

2019 | Journal Article | IST-REx-ID: 7422 |

Sokolowski, Thomas R, Joris Paijmans, Laurens Bossen, Thomas Miedema, Martijn Wehrens, Nils B. Becker, Kazunari Kaizu, Koichi Takahashi, Marileen Dogterom, and Pieter Rein ten Wolde. “EGFRD in All Dimensions.” The Journal of Chemical Physics. AIP Publishing, 2019. https://doi.org/10.1063/1.5064867.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

359 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

359 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options