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.

361 Publications

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

Obr, Martin, et al. “Exploring High-Resolution Cryo-ET and Subtomogram Averaging Capabilities of Contemporary DEDs.” Journal of Structural Biology, vol. 214, no. 2, 107852, Elsevier, 2022, doi:10.1016/j.jsb.2022.107852.

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

Glover, Georgina, et al. “Nutrient and Salt Depletion Synergistically Boosts Glucose Metabolism in Individual Escherichia Coli Cells.” Communications Biology, vol. 5, 385, Springer Nature, 2022, doi:10.1038/s42003-022-03336-6.

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

Molina-Granada, David, et al. “Most Mitochondrial DGTP Is Tightly Bound to Respiratory Complex I through the NDUFA10 Subunit.” Communications Biology, vol. 5, no. 1, 620, Springer Nature, 2022, doi: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, vol. 61, no. 6, 201, Springer Nature, 2022, doi:10.1007/s00526-022-02307-3.

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

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

Huang, Jian, et al. “Specification of Female Germline by MicroRNA Orchestrated Auxin Signaling in Arabidopsis.” Nature Communications, vol. 13, 6960, Springer Nature, 2022, doi: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., et al. “Morphogen Gradient Orchestrates Pattern-Preserving Tissue Morphogenesis via Motility-Driven Unjamming.” Nature Physics, vol. 18, no. 12, Springer Nature, 2022, pp. 1482–93, doi:10.1038/s41567-022-01787-6.

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

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

Doan, Nghia, et al. “Decoding Reed-Muller Codes with Successive Codeword Permutations.” IEEE Transactions on Communications, vol. 70, no. 11, Institute of Electrical and Electronics Engineers, 2022, pp. 7134–45, doi: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, doi: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.” WALCOM 2022: Algorithms and Computation, vol. 13174, Springer Nature, 2022, pp. 383–95, doi: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, doi:10.15479/at:ista:12103.

[Published Version] View | Files available | DOI

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

Richer, Harvey B., et al. “When Do Stars Go Boom?” The Astrophysical Journal Letters, vol. 931, no. 2, L20, American Astronomical Society, 2022, doi:10.3847/2041-8213/ac6585.

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

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

Colombo, Gloria, et al. “A Tool for Mapping Microglial Morphology, MorphOMICs, Reveals Brain-Region and Sex-Dependent Phenotypes.” Nature Neuroscience, vol. 25, no. 10, Springer Nature, 2022, pp. 1379–93, doi: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, doi:10.15479/at:ista:11388.

[Published Version] View | Files available | DOI

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

Velicky, Philipp, et al. “Saturated Reconstruction of Living Brain Tissue.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2022.03.16.484431.

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

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

Ilharco, Cesar, et al. “Recognizing Multimodal Entailment.” 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts, Association for Computational Linguistics, 2021, pp. 29–30, doi: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, et al. “Topological Charge Density Waves at Half-Integer Filling of a Moiré Superlattice.” Nature Physics, Springer Nature, 2021, doi:10.1038/s41567-021-01418-6.

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

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

Simbierowicz, Slawomir, et al. Qubit Energy-Relaxation Statistics in the Bluefors Quantum Measurement System. 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.” Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, edited by Piskac Ruzica and Michael W. Whalen, vol. 2, TU Wien Academic Press, 2021, pp. 143–152, doi: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., 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, vol. 654, A80, EDP Sciences, 2021, doi: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, et al. “Lyman-α Transmission Properties of the Intergalactic Medium in the CoDaII Simulation.” Monthly Notices of the Royal Astronomical Society, vol. 508, no. 3, Oxford University Press, 2021, pp. 3697–709, doi:10.1093/mnras/stab2762.

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

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

Santos, S., et al. “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, vol. 505, no. 1, Oxford University Press, 2021, pp. 1117–34, doi: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, vol. 281, no. 12, 104805, Elsevier, 2021, doi:10.1016/j.ic.2021.104805.

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

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

Henzinger, Monika H., et al. “A Deterministic Almost-Tight Distributed Algorithm for Approximating Single-Source Shortest Paths.” SIAM Journal on Computing, vol. 50, no. 3, Society for Industrial & Applied Mathematics, 2021, pp. STOC16-98-STOC16-137, doi: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.” Methods in Cell Biology, vol. 161, Elsevier, 2021, pp. 33–56, doi: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, vol. 22, no. 1, Springer Nature, 2021, pp. 1–2, doi: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ó, et al. “Scattering in Quantum Dots via Noncommutative Rational Functions.” Annales Henri Poincaré , vol. 22, Springer Nature, 2021, pp. 4205–4269, doi:10.1007/s00023-021-01085-6.

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

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

Chatterjee, Krishnendu, et al. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi: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.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:10.1109/LICS52264.2021.9470595.

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

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

Aubret, Antoine, et al. “Metamachines of Pluripotent Colloids.” Nature Communications, vol. 12, no. 1, 6398, Springer Nature, 2021, doi:10.1038/s41467-021-26699-6.

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

Chauve, Laetitia, et al. “Neuronal HSF-1 Coordinates the Propagation of Fat Desaturation across Tissues to Enable Adaptation to High Temperatures in C. Elegans.” PLoS Biology, vol. 19, no. 11, e3001431, Public Library of Science, 2021, doi:10.1371/journal.pbio.3001431.

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

Chakraborty, Suvradip, et al. “Reverse Firewalls for Adaptively Secure MPC without Setup.” 27th International Conference on the Theory and Application of Cryptology and Information Security, vol. 13091, Springer Nature, 2021, pp. 335–64, doi:10.1007/978-3-030-92075-3_12.

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

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

Li, Lanxin, et al. “Cell Surface and Intracellular Auxin Signalling for H⁺ Fluxes in Root Growth.” Nature, vol. 599, no. 7884, Springer Nature, 2021, pp. 273–77, doi:10.1038/s41586-021-04037-6.

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

Maes, Margaret E., et al. “Optimizing AAV2/6 Microglial Targeting Identified Enhanced Efficiency in the Photoreceptor Degenerative Environment.” Molecular Therapy - Methods and Clinical Development, vol. 23, Elsevier, 2021, pp. 210–24, doi:10.1016/j.omtm.2021.09.006.

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

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

Pietrzak, Krzysztof Z., et al. LightPIR: Privacy-Preserving Route Discovery for Payment Channel Networks. IEEE, 2021, doi:10.23919/IFIPNetworking52078.2021.9472205.

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

Censor-Hillel, Keren, et al. “Fast Approximate Shortest Paths in the Congested Clique.” Distributed Computing, vol. 34, Springer Nature, 2021, pp. 463–87, doi:10.1007/s00446-020-00380-5.

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

Richer, Harvey B., et al. “Massive White Dwarfs in Young Star Clusters.” The Astrophysical Journal, vol. 912, no. 2, 165, American Astronomical Society, 2021, doi:10.3847/1538-4357/abdeb7.

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

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

Chatterjee, Krishnendu, et al. “On Lexicographic Proof Rules for Probabilistic Termination.” 24th International Symposium on Formal Methods, vol. 13047, Springer Nature, 2021, pp. 619–39, doi:10.1007/978-3-030-90870-6_33.

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., et al. “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, vol. 493, no. 1, Oxford University Press, 2020, pp. 141–60, doi:10.1093/mnras/staa093.

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

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

Calhau, João, et al. “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, vol. 493, no. 3, Oxford University Press, 2020, pp. 3341–62, doi: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, et al. “Overcoming Limitations in Dual Photoredox/Nickel-Catalysed C–N Cross-Couplings Due to Catalyst Deactivation.” Nature Catalysis, vol. 3, no. 8, Springer Nature, 2020, pp. 611–20, doi:10.1038/s41929-020-0473-6.

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

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

Rampelt, Heike, et al. “The Mitochondrial Carrier Pathway Transports Non-Canonical Substrates with an Odd Number of Transmembrane Segments.” BMC Biology, vol. 18, 2, Springer Nature, 2020, doi: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, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” EPiC Series in Computing, vol. 74, EasyChair, 2020, pp. 49–75, doi:10.29007/zkf6.

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

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

Alamdari, Par Alizadeh, et al. “Formal Methods with a Touch of Magic.” Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–47, doi: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, et al., editors. Austrian High-Performance-Computing Meeting (AHPC2020). IST Austria, 2020, doi:10.15479/AT:ISTA:7474.

[Published Version] View | Files available | DOI

ISTA Research Explorer

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

361 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).

361 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options