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.

320 Publications

2024 | Journal Article | IST-REx-ID: 14802 |

Diorico, F. R., Zhutov, A., & Hosten, O. (2024). Laser-cavity locking utilizing beam ellipticity: accessing the 10⁻⁷ instability scale relative to cavity linewidth. Optica. Optica Publishing Group. https://doi.org/10.1364/optica.507451

[Published Version] View | Files available | DOI

2024 | Conference Paper | IST-REx-ID: 14769 |

Henzinger, M. H., Saulpic, D., & Sidl, L. (2024). Experimental evaluation of fully dynamic k-means via coresets. In 2024 Proceedings of the Symposium on Algorithm Engineering and Experiments (pp. 220–233). Alexandria, VA, United States: Society for Industrial & Applied Mathematics. https://doi.org/10.1137/1.9781611977929.17

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

2024 | Journal Article | IST-REx-ID: 15018 |

Shimura, Y., Godfrin, C., Hikavyy, A., Li, R., Aguilera Servin, J. L., Katsaros, G., … Loo, R. (2024). Compressively strained epitaxial Ge layers for quantum computing applications. Materials Science in Semiconductor Processing. Elsevier. https://doi.org/10.1016/j.mssp.2024.108231

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

2024 | Journal Article | IST-REx-ID: 15097 |

Schmidt, H., Rast, S., Bao, J., Cassim, A., Fang, S. W., Jimenez-De La Cuesta, D., … Stevens, B. (2024). Effects of vertical grid spacing on the climate simulated in the ICON-Sapphire global storm-resolving model. Geoscientific Model Development. European Geosciences Union. https://doi.org/10.5194/gmd-17-1563-2024

[Published Version] View | Files available | DOI

2024 | Journal Article | IST-REx-ID: 15334 |

Abels, H., Fei, M., & Moser, M. (2024). Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility. Calculus of Variations and Partial Differential Equations. Springer Nature. https://doi.org/10.1007/s00526-024-02715-7

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

2024 | Thesis | IST-REx-ID: 15101 |

Chen, J. (2024). Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:15101

[Published Version] View | Files available | DOI

2023 | Book Chapter | IST-REx-ID: 12720

Arroyo-Urea, S., Watson, J., & García-Nafría, J. (2023). Molecular Cloning Using In Vivo DNA Assembly. In G. Scarlett (Ed.), DNA Manipulation and Analysis (Vol. 2633, pp. 33–44). New York, NY, United States: Springer Nature. https://doi.org/10.1007/978-1-0716-3004-4_3

View | DOI | PubMed | Europe PMC

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

Dello Schiavo, L., & Wirth, M. (2023). Ergodic decompositions of Dirichlet forms under order isomorphisms. Journal of Evolution Equations. Springer Nature. https://doi.org/10.1007/s00028-022-00859-7

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

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

GOSWAMI, B. B. (2023). Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. Springer Nature. https://doi.org/10.1007/s00382-022-06337-7

View | Files available | DOI | WoS

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

Boissonnat, J.-D., Dyer, R., Ghosh, A., & Wintraecken, M. (2023). Local criteria for triangulating general manifolds. Discrete & Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-022-00431-7

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

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

Díez-Mérida, J., Díez-Carlón, A., Yang, S. Y., Xie, Y. M., Gao, X. J., Senior, J. L., … Efetov, D. K. (2023). Symmetry-broken Josephson junctions and superconducting diodes in magic-angle twisted bilayer graphene. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-38005-7

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

Cipolloni, G., Erdös, L., & Schröder, D. J. (2023). Quenched universality for deformed Wigner matrices. Probability Theory and Related Fields. Springer Nature. https://doi.org/10.1007/s00440-022-01156-7

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

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

Cipolloni, G., Erdös, L., & Schröder, D. J. (2023). On the spectral form factor for random matrices. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-023-04692-y

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

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

Cornalba, F., Disselkamp, C., Scassola, D., & Helf, C. (2023). Multi-objective reward generalization: improving performance of Deep Reinforcement Learning for applications in single-asset trading. Neural Computing and Applications. Springer Nature. https://doi.org/10.1007/s00521-023-09033-7

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

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

Bussi, C., Mangiarotti, A., Vanhille-Campos, C. E., Aylan, B., Pellegrino, E., Athanasiadi, N., … Gutierrez, M. G. (2023). Stress granules plug and stabilize damaged endolysosomal membranes. Nature. Springer Nature. https://doi.org/10.1038/s41586-023-06726-w

2023 | Thesis | IST-REx-ID: 14547 |

Phan, D. T. (2023). Resonant microwave spectroscopy of Al-InAs. Institute of Science and Technology Austria. https://doi.org/10.15479/14547

[Published Version] View | Files available | DOI

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

Metzler, S., Kirchner, J., Grasse, A. V., & Cremer, S. (2023). Trade-offs between immunity and competitive ability in fighting ant males. BMC Ecology and Evolution. Springer Nature. https://doi.org/10.1186/s12862-023-02137-7

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

Zhang, H. (2023). Some convexity and monotonicity results of trace functionals. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-023-01345-7

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

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

Méhes, E., Mones, E., Varga, M., Zsigmond, Á., Biri-Kovács, B., Nyitray, L., … Vicsek, T. (2023). 3D cell segregation geometry and dynamics are governed by tissue surface tension regulation. Communications Biology. Springer Nature. https://doi.org/10.1038/s42003-023-05181-7

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

Zhao, Z., Vercellino, I., Knoppová, J., Sobotka, R., Murray, J. W., Nixon, P. J., … Komenda, J. (2023). The Ycf48 accessory factor occupies the site of the oxygen-evolving manganese cluster during photosystem II biogenesis. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-40388-6

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

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

Ucar, M. C., Hannezo, E. B., Tiilikainen, E., Liaqat, I., Jakobsson, E., Nurmi, H., & Vaahtomeri, K. (2023). Self-organized and directed branching results in optimal coverage in developing dermal lymphatic networks. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-41456-7

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

Yurtseven, A., Buyanova, S., Agrawal, A. A. A., Bochkareva, O., & Kalinina, O. V. V. (2023). Machine learning and phylogenetic analysis allow for predicting antibiotic resistance in M. tuberculosis. BMC Microbiology. Springer Nature. https://doi.org/10.1186/s12866-023-03147-7

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

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

Pastva, S., & Henzinger, T. A. (2023). Binary decision diagrams on modern hardware. In Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design (pp. 122–131). Ames, IA, United States: TU Vienna Academic Press. 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: 14726 |

Zhou, L.-Z., Wang, L., Chen, X., Ge, Z., Mergner, J., Li, X., … Dresselhaus, T. (2023). The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize. The Plant Cell. Oxford University Press. https://doi.org/10.1093/plcell/koad324

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

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

Gallardo-Dodd CJ, Oertlin C, Record J, Galvani RG, Sommerauer C, Kuznetsov NV, Doukoumopoulos E, Ali L, Oliveira MMS, Seitz C, Percipalle M, Nikić T, Sadova AA, Shulgina SM, Shmarov VA, Kutko OV, Vlasova DD, Orlova KD, Rykova MP, Andersson J, Percipalle P, Kutter C, Ponomarev SA, Westerberg LS. 2023. Exposure of volunteers to microgravity by dry immersion bed over 21 days results in gene expression changes and adaptation of T cells. Science Advances. 9(34), adg1610.

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: 10551 |

Cornalba, F., & Fischer, J. L. (2023). The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles. Archive for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-023-01903-7

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

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

Maes, M. E., Donahue, R. J., Schlamp, C. L., Marola, O. J., Libby, R. T., & Nickells, R. W. (2023). BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps. Molecular Neurodegeneration. Springer Nature. https://doi.org/10.1186/s13024-023-00659-8

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

Chalupa, M., & Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. In 23nd International Conference on Runtime Verification (Vol. 14245, pp. 168–190). Thessaloniki, Greek: Springer Nature. https://doi.org/10.1007/978-3-031-44267-4_9

[Published Version] View | Files available | DOI

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

Michael AK, Stoos L, Crosby P, Eggers N, Nie XY, Makasheva K, Minnich M, Healy KL, Weiss J, Kempf G, Cavadini S, Kater L, Seebacher J, Vecchia L, Chakraborty D, Isbel L, Grand RS, Andersch F, Fribourgh JL, Schübeler D, Zuber J, Liu AC, Becker PB, Fierz B, Partch CL, Menet JS, Thomä NH. 2023. Cooperation between bHLH transcription factors and histones for DNA access. Nature. 619(7969), 385–393.

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

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

Karimipour, F., & Storandt, S. (Eds.). (2022). Web and Wireless Geographical Information Systems (1st ed., Vol. 13238). Cham: Springer Nature. https://doi.org/10.1007/978-3-031-06245-2

View | DOI

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

Isobe Y, Ouchi M, Suzuki A, Moriya TJ, Nakajima K, Nomoto K, Rauch M, Harikane Y, Kojima T, Ono Y, Fujimoto S, Inoue AK, Kim JH, Komiyama Y, Kusakabe H, Lee C-H, Maseda M, Matthee JJ, Michel-Dansac L, Nagao T, Nanayakkara T, Nishigaki M, Onodera M, Sugahara Y, Xu Y. 2022. EMPRESS. IV. Extremely metal-poor galaxies including very low-mass primordial systems with M∗= 10⁴-10⁵⊙ and 2%–3% (O/H): High (Fe/O) suggestive of metal enrichment by hypernovae/pair-instability supernovae. The Astrophysical Journal. 925(2), 111.

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

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

Matthee, J. J., Naidu, R. P., Pezzulli, G., Gronke, M., Sobral, D., Oesch, P. A., … Röttgering, H. (2022). (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. https://doi.org/10.1093/mnras/stac801

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

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

Clark, T., Drach, K., Kozlovski, O., & Strien, S. V. (2022). The dynamics of complex box mappings. Arnold Mathematical Journal. Springer Nature. https://doi.org/10.1007/s40598-022-00200-7

View | Files available | DOI

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

Shute, A. L. (2022). Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12072

[Published Version] View | Files available | DOI

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

Miles, E. S., Steiner, J. F., Buri, P., Immerzeel, W. W., & Pellicciotti, F. (2022). Controls on the relative melt rates of debris-covered glacier surfaces. Environmental Research Letters. IOP Publishing. https://doi.org/10.1088/1748-9326/ac6966

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

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

Kaluza, V., & Tancer, M. (2022). Even maps, the Colin de Verdière number and representations of graphs. Combinatorica. Springer Nature. https://doi.org/10.1007/s00493-021-4443-7

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

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

Balazs, D., Erkan, N. D., Quien, M., & Hanrath, T. (2022). Inkjet printing of epitaxially connected nanocrystal superlattices. Nano Research. Springer Nature. https://doi.org/10.1007/s12274-021-4022-7

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

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

Hausel, T., & Hitchin, N. (2022). Very stable Higgs bundles, equivariant multiplicity and mirror symmetry. Inventiones Mathematicae. Springer Nature. https://doi.org/10.1007/s00222-021-01093-7

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

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

Cheung, G. T., Bataveljic, D., Visser, J., Kumar, N., Moulard, J., Dallérac, G., … Rouach, N. (2022). Physiological synaptic activity and recognition memory require astroglial glutamine. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-022-28331-7

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

Herguedas, B., Kohegyi, B. K., Dohrke, J. N., Watson, J., Zhang, D., Ho, H., … Greger, I. H. (2022). Mechanisms underlying TARP modulation of the GluA1/2-γ8 AMPA receptor. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-022-28404-7

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

Patakova, Z., Tancer, M., & Wagner, U. (2022). Barycentric cuts through a convex body. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-021-00364-7

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

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

Sigillito, A. J., Covey, J. P., Fink, J. M., Petersson, K., & Preble, S. (2022). Emerging qubit systems: Guest editorial. Applied Physics Letters. American Institute of Physics. https://doi.org/10.1063/5.0097339

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

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

Zhao, L., Fenk, L. A., Nilsson, L., Amin-Wetzel, N. P., Ramirez, N., de Bono, M., & Chen, C. (2022). ROS and cGMP signaling modulate persistent escape from hypoxia in Caenorhabditis elegans. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.3001684

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

Orliac, E. J., Trejo Banos, D., Ojavee, S. E., Läll, K., Mägi, R., Visscher, P. M., & Robinson, M. R. (2022). Improving GWAS discovery and genomic prediction accuracy in biobank data. Proceedings of the National Academy of Sciences of the United States of America. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2121279119

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

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

Agresti, A., & Veraar, M. (2022). Nonlinear parabolic stochastic evolution equations in critical spaces part II. Journal of Evolution Equations. Springer Nature. https://doi.org/10.1007/s00028-022-00786-7

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

2022 | Research Data Reference | IST-REx-ID: 13064 |

Orliac, E., Trejo Banos, D., Ojavee, S., Läll, K., Mägi, R., Visscher, P., & Robinson, M. R. (2022). Improving genome-wide association discovery and genomic prediction accuracy in biobank data. Dryad. https://doi.org/10.5061/DRYAD.GTHT76HMZ

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

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

Roca, R., De Meyer, V., & Muller, C. J. (2022). Precipitating fraction, not intensity, explains extreme coarse-grained precipitation Clausius-Clapeyron scaling with sea surface temperature over tropical oceans. Geophysical Research Letters. Wiley. https://doi.org/10.1029/2022GL100624

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

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

Hasani, R., Lechner, M., Amini, A., Liebenwein, L., Ray, A., Tschaikowski, M., … Rus, D. (2022). Closed-form continuous-time neural networks. Nature Machine Intelligence. Springer Nature. https://doi.org/10.1038/s42256-022-00556-7

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

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

Cipolloni, G., Erdös, L., & Schröder, D. J. (2022). Rank-uniform local law for Wigner matrices. Forum of Mathematics, Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2022.86

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

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: 12279 |

Kumar, M. V., Varshney, A., Li, D., & Steinberg, V. (2022). Relaminarization of elastic turbulence. Physical Review Fluids. American Physical Society. https://doi.org/10.1103/physrevfluids.7.l081301

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

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

Heide, C., Kobayashi, Y., Baykusheva, D. R., Jain, D., Sobota, J. A., Hashimoto, M., … Ghimire, S. (2022). Probing topological phase transitions using high-harmonic generation. Nature Photonics. Springer Nature. https://doi.org/10.1038/s41566-022-01050-7

View | DOI

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

Cali E, Lin S-J, Rocca C, Sahin Y, Al Shamsi A, El Chehadeh S, Chaabouni M, Mankad K, Galanaki E, Efthymiou S, Sudhakar S, Athanasiou-Fragkouli A, Celik T, Narli N, Bianca S, Murphy D, Moreira FMDC, Accogli A, Petree C, Huang K, Monastiri K, Edizadeh M, Nardello R, Ognibene M, De Marco P, Ruggieri M, Zara F, Striano P, Sahin Y, Al-Gazali L, Warde MTA, Gerard B, Zifarelli G, Beetz C, Fortuna S, Soler M, Valente EM, Varshney G, Maroofian R, Salpietro V, Houlden H, Grp SynS. 2022. A homozygous MED11 C-terminal variant causes a lethal neurodegenerative disease. Genetics in Medicine. 24(10), 2194–2203.

[Published Version] View | Files available | DOI

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

Qi, L., Kwiatkowski, M., Chen, H., Hörmayer, L., Sinclair, S. A., Zou, M., … Friml, J. (2022). Adenylate cyclase activity of TIR1/AFB auxin receptors in plants. Nature. Springer Nature. https://doi.org/10.1038/s41586-022-05369-7

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

Kravchuk, V., Petrova, O., Kampjut, D., Wojciechowska-Bason, A., Breese, Z., & Sazanov, L. A. (2022). A universal coupling mechanism of respiratory complex I. Nature. Springer Nature. https://doi.org/10.1038/s41586-022-05199-7

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

Jecker, I. R., Mazzocchi, N., & Wolf, P. (2021). Decomposing permutation automata. In 32nd International Conference on Concurrency Theory (Vol. 203). Paris, France: Schloss Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2021.18

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

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

Degraen, D., Piovarci, M., Bickel, B., & Kruger, A. (2021). Capturing tactile properties of real surfaces for haptic reproduction. In 34th Annual ACM Symposium (pp. 954–971). Virtual: Association for Computing Machinery. https://doi.org/10.1145/3472749.3474798

[Preprint] View | Files available | DOI

2021 | Book | IST-REx-ID: 10415

Browning, T. D. (2021). Cubic Forms and the Circle Method (Vol. 343). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-86872-7

View | DOI

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

Simbierowicz, S., Shi, C., Collodo, M., Kirste, M., Hassani, F., Fink, J. M., … Lake, R. (2021). Qubit energy-relaxation statistics in the Bluefors quantum measurement system. Helsinki, Finland: Bluefors Oy.

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

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

Kragl, B., & Qadeer, S. (2021). The Civl verifier. In P. Ruzica & M. W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design (Vol. 2, pp. 143–152). Virtual: TU Wien Academic Press. 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: 11522 |

Gronke, M., Ocvirk, P., Mason, C., Matthee, J. J., Bosman, S. E. I., Sorce, J. G., … Yepes, G. (2021). Lyman-α transmission properties of the intergalactic medium in the CoDaII simulation. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stab2762

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

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

Henzinger, M. H., & Wu, X. (2021). Upper and lower bounds for fully retroactive graph problems. In 17th International Symposium on Algorithms and Data Structures (Vol. 12808, pp. 471–484). Virtual: Springer Nature. https://doi.org/10.1007/978-3-030-83508-8_34

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

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

Pandey, R., Al-Nuaimi, Y., Mishra, R. K., Spurgeon, S. K., & Goodfellow, M. (2021). Role of subnetworks mediated by TNF α, IL-23/IL-17 and IL-15 in a network involved in the pathogenesis of psoriasis. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-020-80507-7

[Published Version] View | Files available | DOI

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

Verzobio, M. (2021). Primitive divisors of elliptic divisibility sequences for elliptic curves with j=1728. Acta Arithmetica. Institute of Mathematics, Polish Academy of Sciences. https://doi.org/10.4064/aa191016-30-7

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

2021 | Conference Abstract | IST-REx-ID: 12909 |

Schlögl, A., Elefante, S., Hornoiu, A., & Stadlbauer, S. (2021). Managing software on a heterogenous HPC cluster. In ASHPC21 – Austrian-Slovenian HPC Meeting 2021 (p. 5). Virtual: University of Ljubljana. https://doi.org/10.3359/2021hpc

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

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

Boocock, D. R., Hino, N., Ruzickova, N., Hirashima, T., & Hannezo, E. B. (2021). Theory of mechanochemical patterning and optimal migration in cell monolayers. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-020-01037-7

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

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

Mitrouskas, D. J. (2021). A note on the Fröhlich dynamics in the strong coupling limit. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-021-01380-7

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

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

Slavskii, S. A., Kuznetsov, I. A., Shashkova, T. I., Bazykin, G. A., Axenovich, T. I., Kondrashov, F., & Aulchenko, Y. S. (2021). The limits of normal approximation for adult height. European Journal of Human Genetics. Springer Nature. https://doi.org/10.1038/s41431-021-00836-7

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

Ho, Q. P. (2021). The Atiyah-Bott formula and connectivity in chiral Koszul duality. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2021.107992

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

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

Runkel, I., & Szegedy, L. (2021). Topological field theory on r-spin surfaces and the Arf-invariant. Journal of Mathematical Physics. AIP Publishing. https://doi.org/10.1063/5.0037826

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

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

Pradhan, S. J., Reddy, P. C., Smutny, M., Sharma, A., Sako, K., Oak, M. S., … Galande, S. (2021). Satb2 acts as a gatekeeper for major developmental transitions during early vertebrate embryogenesis. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-021-26234-7

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

Feliciangeli, D., & Seiringer, R. (2021). The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics. Archive for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-021-01715-7

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

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

Barfknecht, R. E., Foerster, A., Zinner, N. T., & Volosniev, A. (2021). Generation of spin currents by a temperature gradient in a two-terminal device. Communications Physics. Springer Nature. https://doi.org/10.1038/s42005-021-00753-7

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

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

Goehlich, H., Sartoris, L., Wagner, K.-S., Wendling, C. C., & Roth, O. (2021). Pipefish locally adapted to low salinity in the Baltic Sea retain phenotypic plasticity to cope with ancestral salinity levels. Frontiers in Ecology and Evolution. Frontiers Media. https://doi.org/10.3389/fevo.2021.626442

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

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

Bodensteiner, J., Sana, H., Wang, C., Langer, N., Mahy, L., Banyard, G., … Tramper, F. (2021). The young massive SMC cluster NGC 330 seen by MUSE. II. Multiplicity properties of the massive-star population. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202140507

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

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

Cipolloni, G., Erdös, L., & Schröder, D. J. (2021). Edge universality for non-Hermitian random matrices. Probability Theory and Related Fields. Springer Nature. https://doi.org/10.1007/s00440-020-01003-7

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

2021 | Preprint | IST-REx-ID: 10066 |

Severin B, Lennon DT, Camenzind LC, Vigneau F, Fedele F, Jirovec D, Ballabio A, Chrastina D, Isella G, Kruijf M de, Carballido MJ, Svab S, Kuhlmann AV, Braakman FR, Geyer S, Froning FNM, Moon H, Osborne MA, Sejdinovic D, Katsaros G, Zumbühl DM, Briggs GAD, Ares N. Cross-architecture tuning of silicon and SiGe-based quantum devices using machine learning. arXiv, 2107.12975.

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

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

Darvish, B., Scoville, N. Z., Martin, C., Sobral, D., Mobasher, B., Rettura, A., … Cucciati, O. (2020). Spectroscopic confirmation of a coma cluster progenitor at z ∼ 2.2. The Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/ab75c3

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

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

Santos, S., Sobral, D., Matthee, J. J., Calhau, J., da Cunha, E., Ribeiro, B., … Butterworth, J. (2020). 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. https://doi.org/10.1093/mnras/staa093

[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 | Book Chapter | IST-REx-ID: 11622 |

Bugnet, L. A., Prat, V., Mathis, S., García, R. A., Mathur, S., Augustson, K., … Thompson, M. J. (2020). The impact of a fossil magnetic field on dipolar mixed-mode frequencies in sub- and red-giant stars. In M. Monteiro, R. A. Garcia, J. Christensen-Dalsgaard, & S. W. McIntosh (Eds.), Dynamics of the Sun and Stars (1st ed., Vol. 57, pp. 251–257). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-55336-4_33

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

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

Henzinger, M. H., Leniowski, D., & Mathieu, C. (2020). Dynamic clustering to minimize the sum of radii. Algorithmica. Springer Nature. https://doi.org/10.1007/s00453-020-00721-7

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

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

Hanauer, K., Henzinger, M. H., & Schulz, C. (2020). Fully dynamic single-source reachability in practice: An experimental study. In 2020 Symposium on Algorithm Engineering and Experiments (pp. 106–119). Salt Lake City, UT, United States: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611976007.9

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

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

Henzinger, M. H., Noe, A., & Schulz, C. (2020). Shared-memory branch-and-reduce for multiterminal cuts. In 2020 Symposium on Algorithm Engineering and Experiments (pp. 42–55). Salt Lake City, UT, United States: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611976007.4

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

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

Alamdari, P. A., Avni, G., Henzinger, T. A., & Lukina, A. (2020). Formal methods with a touch of magic. In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design (pp. 138–147). Online Conference: TU Wien Academic Press. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21

[Published Version] View | Files available | DOI

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

Hueckel, T., Hocky, G. M., Palacci, J. A., & Sacanna, S. (2020). Ionic solids from common colloids. Nature. Springer Nature. https://doi.org/10.1038/s41586-020-2205-0

View | DOI | PubMed | Europe PMC

2020 | Book Chapter | IST-REx-ID: 9132

Muller, C. J. (2020). Clouds in current and in a warming climate. In F. Bouchet, T. Schneider, A. Venaille, & C. Salomon (Eds.), Fundamental Aspects of Turbulent Flows in Climate Dynamics (Vol. 109). Oxford University Press. https://doi.org/10.1093/oso/9780198855217.003.0002

View | DOI

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

Bucić, M., Kwan, M. A., Pokrovskiy, A., Sudakov, B., Tran, T., & Wagner, A. Z. (2020). Nearly-linear monotone paths in edge-ordered graphs. Israel Journal of Mathematics. Springer. https://doi.org/10.1007/s11856-020-2035-7

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

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

Cheng, B., Mazzola, G., Pickard, C. J., & Ceriotti, M. (2020). Evidence for supercritical behaviour of high-pressure liquid hydrogen. Nature. Springer Nature. https://doi.org/10.1038/s41586-020-2677-y

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

Ayala, Á., Farías-Barahona, D., Huss, M., Pellicciotti, F., McPhee, J., & Farinotti, D. (2020). Glacier runoff variations since 1955 in the Maipo River basin, in the semiarid Andes of central Chile. The Cryosphere. Copernicus Publications. https://doi.org/10.5194/tc-14-2005-2020

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

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

Donahue, R., Maes, M. E., Grosser, J., & Nickells, R. (2020). BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage. Molecular Neurobiology. Springer Nature. https://doi.org/10.1007/s12035-019-01783-7

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

López De La Oliva AR, Campos-Sandoval JA, Gómez-García MC, Cardona C, Martín-Rufián M, Sialana FJ, Castilla L, Bae N, Lobo C, Peñalver A, García-Frutos M, Carro D, Enrique V, Paz JC, Mirmira RG, Gutiérrez A, Alonso FJ, Segura JA, Matés JM, Lubec G, Márquez J. 2020. Nuclear translocation of glutaminase GLS2 in human cancer cells associates with proliferation arrest and differentiation. Scientific reports. 10(1), 2259.

2020 | Technical Report | IST-REx-ID: 8067 |

Varzi, A., Thanner, K., Scipioni, R., Di Lecce, D., Hassoun, J., Dörfler, S., … Freunberger, S. A. (n.d.). Current status and future perspectives of Lithium metal batteries. IST Austria. https://doi.org/10.15479/AT:ISTA:8067

[Published Version] View | Files available | DOI

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

Varzi, A., Thanner, K., Scipioni, R., Di Lecce, D., Hassoun, J., Dörfler, S., … Freunberger, S. A. (2020). Current status and future perspectives of lithium metal batteries. Journal of Power Sources. Elsevier. https://doi.org/10.1016/j.jpowsour.2020.228803

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

2020 | Thesis | IST-REx-ID: 8390 |

Royer, A. (2020). Leveraging structure in Computer Vision tasks for flexible Deep Learning models. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8390

[Published Version] View | Files available | DOI

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

Akopyan, A., & Edelsbrunner, H. (2020). The weighted mean curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. De Gruyter. https://doi.org/10.1515/cmb-2020-0100

[Published Version] View | Files available | DOI

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

Akopyan, A., & Edelsbrunner, H. (2020). The weighted Gaussian curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. De Gruyter. https://doi.org/10.1515/cmb-2020-0101

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

2020 | Thesis | IST-REx-ID: 8366 |

Guseinov, R. (2020). Computational design of curved thin shells: From glass façades to programmable matter. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8366

[Published Version] View | Files available | DOI

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

Kokoris Kogias, E., Malkhi, D., & Spiegelman, A. (2020). Asynchronous distributed key generation for computationally-secure randomness, consensus, and threshold signatures. In Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security (pp. 1751–1767). Virtual, United States: Association for Computing Machinery. https://doi.org/10.1145/3372297.3423364

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

ISTA Research Explorer

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

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

320 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options