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


2021 | Conference Paper | IST-REx-ID: 10688 | OA
B. Kragl and S. Qadeer, “The Civl verifier,” in Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, Virtual, 2021, vol. 2, pp. 143–152.
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 11522 | OA
M. Gronke 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, pp. 3697–3709, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 11771 | OA
M. H. Henzinger and X. Wu, “Upper and lower bounds for fully retroactive graph problems,” in 17th International Symposium on Algorithms and Data Structures, Virtual, 2021, vol. 12808, pp. 471–484.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9097 | OA
R. Pandey, Y. Al-Nuaimi, R. K. Mishra, S. K. Spurgeon, and M. Goodfellow, “Role of subnetworks mediated by TNF α, IL-23/IL-17 and IL-15 in a network involved in the pathogenesis of psoriasis,” Scientific Reports, vol. 11. Springer Nature, 2021.
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 12309 | OA
M. Verzobio, “Primitive divisors of elliptic divisibility sequences for elliptic curves with j=1728,” Acta Arithmetica, vol. 198, no. 2. Institute of Mathematics, Polish Academy of Sciences, pp. 129–168, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Abstract | IST-REx-ID: 12909 | OA
A. Schlögl, S. Elefante, A. Hornoiu, and S. Stadlbauer, “Managing software on a heterogenous HPC cluster,” in ASHPC21 – Austrian-Slovenian HPC Meeting 2021, Virtual, 2021, p. 5.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 8602 | OA
D. R. Boocock, N. Hino, N. Ruzickova, T. Hirashima, and E. B. Hannezo, “Theory of mechanochemical patterning and optimal migration in cell monolayers,” Nature Physics, vol. 17. Springer Nature, pp. 267–274, 2021.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2021 | Journal Article | IST-REx-ID: 9333 | OA
D. J. Mitrouskas, “A note on the Fröhlich dynamics in the strong coupling limit,” Letters in Mathematical Physics, vol. 111. Springer Nature, 2021.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 9910 | OA
S. A. Slavskii et al., “The limits of normal approximation for adult height,” European Journal of Human Genetics, vol. 29, no. 7. Springer Nature, pp. 1082–1091, 2021.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 10033 | OA
Q. P. Ho, “The Atiyah-Bott formula and connectivity in chiral Koszul duality,” Advances in Mathematics, vol. 392. Elsevier, 2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 10176 | OA
I. Runkel and L. Szegedy, “Topological field theory on r-spin surfaces and the Arf-invariant,” Journal of Mathematical Physics, vol. 62, no. 10. AIP Publishing, 2021.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 10202 | OA
S. J. Pradhan et al., “Satb2 acts as a gatekeeper for major developmental transitions during early vertebrate embryogenesis,” Nature Communications, vol. 12, no. 1. Springer Nature, 2021.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 10224 | OA
D. Feliciangeli and R. Seiringer, “The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics,” Archive for Rational Mechanics and Analysis, vol. 242, no. 3. Springer Nature, pp. 1835–1906, 2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 10401 | OA
R. E. Barfknecht, A. Foerster, N. T. Zinner, and A. Volosniev, “Generation of spin currents by a temperature gradient in a two-terminal device,” Communications Physics, vol. 4, no. 1. Springer Nature, 2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 10568 | OA
H. Goehlich, L. Sartoris, K.-S. Wagner, C. C. Wendling, and O. Roth, “Pipefish locally adapted to low salinity in the Baltic Sea retain phenotypic plasticity to cope with ancestral salinity levels,” Frontiers in Ecology and Evolution, vol. 9. Frontiers Media, 2021.
[Published Version] View | Files available | DOI | WoS
 

2021 | Journal Article | IST-REx-ID: 13457 | OA
J. Bodensteiner et al., “The young massive SMC cluster NGC 330 seen by MUSE. II. Multiplicity properties of the massive-star population,” Astronomy & Astrophysics, vol. 652. EDP Sciences, 2021.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 8601 | OA
G. Cipolloni, L. Erdös, and D. J. Schröder, “Edge universality for non-Hermitian random matrices,” Probability Theory and Related Fields. Springer Nature, 2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Preprint | IST-REx-ID: 10066 | OA
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 | OA
B. Darvish et al., “Spectroscopic confirmation of a coma cluster progenitor at z ∼ 2.2,” The Astrophysical Journal, vol. 892, no. 1. IOP Publishing, 2020.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 11533 | OA
S. Santos 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, pp. 141–160, 2020.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 11610 | OA
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 | OA
L. A. Bugnet et al., “The impact of a fossil magnetic field on dipolar mixed-mode frequencies in sub- and red-giant stars,” in Dynamics of the Sun and Stars, 1st ed., vol. 57, M. Monteiro, R. A. Garcia, J. Christensen-Dalsgaard, and S. W. McIntosh, Eds. Cham: Springer Nature, 2020, pp. 251–257.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 11674 | OA
M. H. Henzinger, D. Leniowski, and C. Mathieu, “Dynamic clustering to minimize the sum of radii,” Algorithmica, vol. 82, no. 11. Springer Nature, pp. 3183–3194, 2020.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 11880 | OA
K. Hanauer, M. H. Henzinger, and C. Schulz, “Fully dynamic single-source reachability in practice: An experimental study,” in 2020 Symposium on Algorithm Engineering and Experiments, Salt Lake City, UT, United States, 2020, pp. 106–119.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 11881 | OA
M. H. Henzinger, A. Noe, and C. Schulz, “Shared-memory branch-and-reduce for multiterminal cuts,” in 2020 Symposium on Algorithm Engineering and Experiments, Salt Lake City, UT, United States, 2020, pp. 42–55.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 9040 | OA
P. A. Alamdari, G. Avni, T. A. Henzinger, and A. Lukina, “Formal methods with a touch of magic,” in Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, Online Conference, 2020, pp. 138–147.
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 9059
T. Hueckel, G. M. Hocky, J. A. Palacci, and S. Sacanna, “Ionic solids from common colloids,” Nature, vol. 580, no. 7804. Springer Nature, pp. 487–490, 2020.
View | DOI | PubMed | Europe PMC
 

2020 | Book Chapter | IST-REx-ID: 9132
C. J. Muller, “Clouds in current and in a warming climate,” in Fundamental Aspects of Turbulent Flows in Climate Dynamics, vol. 109, F. Bouchet, T. Schneider, A. Venaille, and C. Salomon, Eds. Oxford University Press, 2020.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 9578 | OA
M. Bucić, M. A. Kwan, A. Pokrovskiy, B. Sudakov, T. Tran, and A. Z. Wagner, “Nearly-linear monotone paths in edge-ordered graphs,” Israel Journal of Mathematics, vol. 238, no. 2. Springer, pp. 663–685, 2020.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 9685 | OA
B. Cheng, G. Mazzola, C. J. Pickard, and M. Ceriotti, “Evidence for supercritical behaviour of high-pressure liquid hydrogen,” Nature, vol. 585, no. 7824. Springer Nature, pp. 217–220, 2020.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2020 | Journal Article | IST-REx-ID: 12596 | OA
Á. Ayala, D. Farías-Barahona, M. Huss, F. Pellicciotti, J. McPhee, and D. Farinotti, “Glacier runoff variations since 1955 in the Maipo River basin, in the semiarid Andes of central Chile,” The Cryosphere, vol. 14, no. 6. Copernicus Publications, pp. 2005–2027, 2020.
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7033 | OA
R. Donahue, M. E. Maes, J. Grosser, and R. Nickells, “BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage,” Molecular Neurobiology, vol. 57, no. 2. Springer Nature, pp. 1070–1084, 2020.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7487 | OA
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.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Technical Report | IST-REx-ID: 8067 | OA
A. Varzi et al., Current status and future perspectives of Lithium metal batteries. IST Austria.
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8361 | OA
A. Varzi et al., “Current status and future perspectives of lithium metal batteries,” Journal of Power Sources, vol. 480, no. 12. Elsevier, 2020.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2020 | Thesis | IST-REx-ID: 8390 | OA
A. Royer, “Leveraging structure in Computer Vision tasks for flexible Deep Learning models,” Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 9157 | OA
A. Akopyan and H. Edelsbrunner, “The weighted mean curvature derivative of a space-filling diagram,” Computational and Mathematical Biophysics, vol. 8, no. 1. De Gruyter, pp. 51–67, 2020.
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 9156 | OA
A. Akopyan and H. Edelsbrunner, “The weighted Gaussian curvature derivative of a space-filling diagram,” Computational and Mathematical Biophysics, vol. 8, no. 1. De Gruyter, pp. 74–88, 2020.
[Published Version] View | Files available | DOI | arXiv
 

2020 | Thesis | IST-REx-ID: 8366 | OA
R. Guseinov, “Computational design of curved thin shells: From glass façades to programmable matter,” Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 10556 | OA
E. Kokoris Kogias, D. Malkhi, and A. Spiegelman, “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, Virtual, United States, 2020, pp. 1751–1767.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2020 | Journal Article | IST-REx-ID: 7652 | OA
I. Tomanek et al., “Gene amplification as a form of population-level gene expression regulation,” Nature Ecology & Evolution, vol. 4, no. 4. Springer Nature, pp. 612–625, 2020.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 11505 | OA
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: 11515 | OA
J. J. Matthee et al., “Resolved UV and [C ii] structures of luminous galaxies within the epoch of reionization,” The Astrophysical Journal, vol. 881, no. 2. IOP Publishing, 2019.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11535 | OA
A. A. Khostovan et al., “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, vol. 489, no. 1. Oxford University Press, pp. 555–573, 2019.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11541 | OA
D. Sobral et al., “On the nature and physical conditions of the luminous Ly α emitter CR7 and its rest-frame UV components,” Monthly Notices of the Royal Astronomical Society, vol. 482, no. 2. Oxford University Press, pp. 2422–2441, 2019.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7057 | OA
K. A. Modic, T. Meng, F. Ronning, E. D. Bauer, P. J. W. Moll, and B. J. Ramshaw, “Thermodynamic signatures of Weyl fermions in NbP,” Scientific Reports, vol. 9, no. 1. Springer Nature, 2019.
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7401 | OA
R. Fulek and J. Kyncl, “Z_2-Genus of graphs and minimum rank of partial symmetric matrices,” in 35th International Symposium on Computational Geometry (SoCG 2019), Portland, OR, United States, 2019, vol. 129.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 8418 | OA
M. Guardia, V. Kaloshin, and J. Zhang, “Asymptotic density of collision orbits in the Restricted Circular Planar 3 Body Problem,” Archive for Rational Mechanics and Analysis, vol. 233, no. 2. Springer Nature, pp. 799–836, 2019.
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 13470 | OA
T. Shenar et al., “The Wolf–Rayet binaries of the nitrogen sequence in the Large Magellanic Cloud,” Astronomy & Astrophysics, vol. 627. EDP Sciences, 2019.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 6028 | OA
M. Gerencser and M. Hairer, “A solution theory for quasilinear singular SPDEs,” Communications on Pure and Applied Mathematics, vol. 72, no. 9. Wiley, pp. 1983–2005, 2019.
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

isbn%3D978-331958770-7

Search

Filter Publications