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.
5767 Publications
2018 | Conference Paper | IST-REx-ID: 6005 |
Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version]
View
| Files available
| DOI
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 | Journal Article | IST-REx-ID: 9668 |
Theoretical prediction of the homogeneous ice nucleation rate: Disentangling thermodynamics and kinetics
B. Cheng, C. Dellago, M. Ceriotti, Physical Chemistry Chemical Physics 20 (2018) 28732–28740.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
B. Cheng, C. Dellago, M. Ceriotti, Physical Chemistry Chemical Physics 20 (2018) 28732–28740.
2018 | Journal Article | IST-REx-ID: 9687 |
Computing the absolute Gibbs free energy in atomistic simulations: Applications to defects in solids
B. Cheng, M. Ceriotti, Physical Review B 97 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Cheng, M. Ceriotti, Physical Review B 97 (2018).
2018 | Journal Article | IST-REx-ID: 315 |
Is the sky the limit? On the expansion threshold of a species’ range
J. Polechova, PLoS Biology 16 (2018).
[Published Version]
View
| Files available
| DOI
J. Polechova, PLoS Biology 16 (2018).
2018 | Journal Article | IST-REx-ID: 8422 |
Nearly circular domains which are integrable close to the boundary are ellipses
G. Huang, V. Kaloshin, A. Sorrentino, Geometric and Functional Analysis 28 (2018) 334–392.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Huang, V. Kaloshin, A. Sorrentino, Geometric and Functional Analysis 28 (2018) 334–392.
2018 | Journal Article | IST-REx-ID: 8421 |
On the local Birkhoff conjecture for convex billiards
V. Kaloshin, A. Sorrentino, Annals of Mathematics 188 (2018) 315–380.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Kaloshin, A. Sorrentino, Annals of Mathematics 188 (2018) 315–380.
2018 | Journal Article | IST-REx-ID: 8420 |
Density of convex billiards with rational caustics
V. Kaloshin, K. Zhang, Nonlinearity 31 (2018) 5214–5234.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Kaloshin, K. Zhang, Nonlinearity 31 (2018) 5214–5234.
2018 | Journal Article | IST-REx-ID: 8426 |
Nonisometric domains with the same Marvizi-Melrose invariants
L. Buhovsky, V. Kaloshin, Regular and Chaotic Dynamics 23 (2018) 54–59.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Buhovsky, V. Kaloshin, Regular and Chaotic Dynamics 23 (2018) 54–59.
2018 | Journal Article | IST-REx-ID: 9053 |
Diffusiophoretic design of self-spinning microgears from colloidal microswimmers
A. Aubret, J.A. Palacci, Soft Matter 14 (2018) 9577–9588.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
A. Aubret, J.A. Palacci, Soft Matter 14 (2018) 9577–9588.
2018 | Journal Article | IST-REx-ID: 9136 |
Scaling precipitation extremes with temperature in the Mediterranean: Past climate assessment and projection in anthropogenic scenarios
P. Drobinski, N.D. Silva, G. Panthou, S. Bastin, C.J. Muller, B. Ahrens, M. Borga, D. Conte, G. Fosser, F. Giorgi, I. Güttler, V. Kotroni, L. Li, E. Morin, B. Önol, P. Quintana-Segui, R. Romera, C.Z. Torma, Climate Dynamics 51 (2018) 1237–1257.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Drobinski, N.D. Silva, G. Panthou, S. Bastin, C.J. Muller, B. Ahrens, M. Borga, D. Conte, G. Fosser, F. Giorgi, I. Güttler, V. Kotroni, L. Li, E. Morin, B. Önol, P. Quintana-Segui, R. Romera, C.Z. Torma, Climate Dynamics 51 (2018) 1237–1257.
2018 | Journal Article | IST-REx-ID: 9134 |
Internal tide dissipation at topography: Triadic resonant instability equatorward and evanescent waves poleward of the critical latitude
O. Richet, J.-M. Chomaz, C.J. Muller, Journal of Geophysical Research: Oceans 123 (2018) 6136–6155.
[Published Version]
View
| DOI
| Download Published Version (ext.)
O. Richet, J.-M. Chomaz, C.J. Muller, Journal of Geophysical Research: Oceans 123 (2018) 6136–6155.
2018 | Journal Article | IST-REx-ID: 9135 |
Acceleration of tropical cyclogenesis by self-aggregation feedbacks
C.J. Muller, D.M. Romps, Proceedings of the National Academy of Sciences 115 (2018) 2930–2935.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C.J. Muller, D.M. Romps, Proceedings of the National Academy of Sciences 115 (2018) 2930–2935.
2018 | Journal Article | IST-REx-ID: 9471 |
FACT complex is required for DNA demethylation at heterochromatin during reproduction in Arabidopsis
J.M. Frost, M.Y. Kim, G.T. Park, P.-H. Hsieh, M. Nakamura, S.J.H. Lin, H. Yoo, J. Choi, Y. Ikeda, T. Kinoshita, Y. Choi, D. Zilberman, R.L. Fischer, Proceedings of the National Academy of Sciences 115 (2018) E4720–E4729.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J.M. Frost, M.Y. Kim, G.T. Park, P.-H. Hsieh, M. Nakamura, S.J.H. Lin, H. Yoo, J. Choi, Y. Ikeda, T. Kinoshita, Y. Choi, D. Zilberman, R.L. Fischer, Proceedings of the National Academy of Sciences 115 (2018) E4720–E4729.
2018 | Journal Article | IST-REx-ID: 95 |
Collisional charging of individual submillimeter particles: Using ultrasonic levitation to initiate and track charge transfer
V. Lee, N. James, S.R. Waitukaitis, H. Jaeger, Physical Review Materials 2 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Lee, N. James, S.R. Waitukaitis, H. Jaeger, Physical Review Materials 2 (2018).
2018 | Journal Article | IST-REx-ID: 9567 |
The random k‐matching‐free process
M. Krivelevich, M.A. Kwan, P. Loh, B. Sudakov, Random Structures and Algorithms 53 (2018) 692–716.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Krivelevich, M.A. Kwan, P. Loh, B. Sudakov, Random Structures and Algorithms 53 (2018) 692–716.
2018 | Journal Article | IST-REx-ID: 9565 |
Counting Hamilton cycles in sparse random directed graphs
A. Ferber, M.A. Kwan, B. Sudakov, Random Structures and Algorithms 53 (2018) 592–603.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Ferber, M.A. Kwan, B. Sudakov, Random Structures and Algorithms 53 (2018) 592–603.
2018 | Journal Article | IST-REx-ID: 9568 |
Intercalates and discrepancy in random Latin squares
M.A. Kwan, B. Sudakov, Random Structures and Algorithms 52 (2018) 181–196.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.A. Kwan, B. Sudakov, Random Structures and Algorithms 52 (2018) 181–196.
2018 | Journal Article | IST-REx-ID: 9587 |
Non-trivially intersecting multi-part families
M.A. Kwan, B. Sudakov, P. Vieira, Journal of Combinatorial Theory Series A 156 (2018) 44–60.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.A. Kwan, B. Sudakov, P. Vieira, Journal of Combinatorial Theory Series A 156 (2018) 44–60.
2018 | Journal Article | IST-REx-ID: 9665 |
Hydrogen diffusion and trapping in α-iron: The role of quantum and anharmonic fluctuations
B. Cheng, A.T. Paxton, M. Ceriotti, Physical Review Letters 120 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
B. Cheng, A.T. Paxton, M. Ceriotti, Physical Review Letters 120 (2018).
2018 | Journal Article | IST-REx-ID: 9659 |
Communication: Computing the Tolman length for solid-liquid interfaces
B. Cheng, M. Ceriotti, The Journal of Chemical Physics 148 (2018).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
| arXiv
B. Cheng, M. Ceriotti, The Journal of Chemical Physics 148 (2018).
2018 | Journal Article | IST-REx-ID: 12603 |
Interannual variability in glacier contribution to runoff from a high‐elevation Andean catchment: Understanding the role of debris cover in glacier hydrology
F. Burger, A. Ayala, D. Farias, T.E. Shaw, S. MacDonell, B. Brock, J. McPhee, F. Pellicciotti, Hydrological Processes 33 (2018) 214–229.
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. Burger, A. Ayala, D. Farias, T.E. Shaw, S. MacDonell, B. Brock, J. McPhee, F. Pellicciotti, Hydrological Processes 33 (2018) 214–229.
2018 | Journal Article | IST-REx-ID: 12605 |
Snow depth structure, fractal behavior, and interannual consistency over Haut Glacier d'Arolla, Switzerland
I. Clemenzi, F. Pellicciotti, P. Burlando, Water Resources Research 54 (2018) 7929–7945.
[Published Version]
View
| DOI
| Download Published Version (ext.)
I. Clemenzi, F. Pellicciotti, P. Burlando, Water Resources Research 54 (2018) 7929–7945.
2018 | Journal Article | IST-REx-ID: 12604 |
Surface pond energy absorption across four Himalayan Glaciers accounts for 1/8 of total catchment ice loss
E.S. Miles, I. Willis, P. Buri, J.F. Steiner, N.S. Arnold, F. Pellicciotti, Geophysical Research Letters 45 (2018) 10464–10473.
[Published Version]
View
| DOI
| Download Published Version (ext.)
E.S. Miles, I. Willis, P. Buri, J.F. Steiner, N.S. Arnold, F. Pellicciotti, Geophysical Research Letters 45 (2018) 10464–10473.
2018 | Journal Article | IST-REx-ID: 12607 |
Aspect controls the survival of ice cliffs on debris-covered glaciers
P. Buri, F. Pellicciotti, PNAS 115 (2018) 4369–4374.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Buri, F. Pellicciotti, PNAS 115 (2018) 4369–4374.
2018 | Journal Article | IST-REx-ID: 12606 |
Automated detection of ice cliffs within supraglacial debris cover
S. Herreid, F. Pellicciotti, The Cryosphere 12 (2018) 1811–1829.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Herreid, F. Pellicciotti, The Cryosphere 12 (2018) 1811–1829.
2018 | Journal Article | IST-REx-ID: 13376 |
Reversible photoswitching of encapsulated azobenzenes in water
D. Samanta, J. Gemen, Z. Chu, Y. Diskin-Posner, L.J.W. Shimon, R. Klajn, Proceedings of the National Academy of Sciences 115 (2018) 9379–9384.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Samanta, J. Gemen, Z. Chu, Y. Diskin-Posner, L.J.W. Shimon, R. Klajn, Proceedings of the National Academy of Sciences 115 (2018) 9379–9384.
2018 | Journal Article | IST-REx-ID: 13374 |
Reversible chromism of spiropyran in the cavity of a flexible coordination cage
D. Samanta, D. Galaktionova, J. Gemen, L.J.W. Shimon, Y. Diskin-Posner, L. Avram, P. Král, R. Klajn, Nature Communications 9 (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Samanta, D. Galaktionova, J. Gemen, L.J.W. Shimon, Y. Diskin-Posner, L. Avram, P. Král, R. Klajn, Nature Communications 9 (2018).
2018 | Journal Article | IST-REx-ID: 13377 |
“Precipitation on nanoparticles”: Attractive intermolecular interactions stabilize specific ligand ratios on the surfaces of nanoparticles
Z. Chu, Y. Han, P. Král, R. Klajn, Angewandte Chemie International Edition 57 (2018) 7023–7027.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
Z. Chu, Y. Han, P. Král, R. Klajn, Angewandte Chemie International Edition 57 (2018) 7023–7027.
2018 | Journal Article | IST-REx-ID: 13379 |
Integrating macromolecules with molecular switches
D. Bléger, R. Klajn, Macromolecular Rapid Communications 39 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Bléger, R. Klajn, Macromolecular Rapid Communications 39 (2018).
2018 | Journal Article | IST-REx-ID: 13475 |
Spectral models for binary products: Unifying subdwarfs and Wolf-Rayet stars as a sequence of stripped-envelope stars
Y.L.L. Götberg, S.E. de Mink, J.H. Groh, T. Kupfer, P.A. Crowther, E. Zapartas, M. Renzo, Astronomy & Astrophysics 615 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
Y.L.L. Götberg, S.E. de Mink, J.H. Groh, T. Kupfer, P.A. Crowther, E. Zapartas, M. Renzo, Astronomy & Astrophysics 615 (2018).
2018 | Journal Article | IST-REx-ID: 13473 |
Clues about the scarcity of stripped-envelope stars from the evolutionary state of the sdO+Be binary system φ Persei
A. Schootemeijer, Y.L.L. Götberg, S.E. de Mink, D. Gies, E. Zapartas, Astronomy & Astrophysics 615 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
A. Schootemeijer, Y.L.L. Götberg, S.E. de Mink, D. Gies, E. Zapartas, Astronomy & Astrophysics 615 (2018).
2018 | Journal Article | IST-REx-ID: 13474 |
Extreme isolation of WN3/O3 stars and implications for their evolutionary origin as the elusive stripped binaries
N. Smith, Y.L.L. Götberg, S.E. de Mink, Monthly Notices of the Royal Astronomical Society 475 (2018) 772–782.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
N. Smith, Y.L.L. Götberg, S.E. de Mink, Monthly Notices of the Royal Astronomical Society 475 (2018) 772–782.
2018 | Conference Paper | IST-REx-ID: 186 |
The ℤ2-Genus of Kuratowski minors
R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 40.1-40.14.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 40.1-40.14.
2018 | Journal Article | IST-REx-ID: 14003 |
Chiral discrimination through bielliptical high-harmonic spectroscopy
D.R. Baykusheva, H.J. Wörner, Physical Review X 8 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
D.R. Baykusheva, H.J. Wörner, Physical Review X 8 (2018).
2018 | Conference Paper | IST-REx-ID: 433 |
Thrackles: An improved upper bound
R. Fulek, J. Pach, in:, Springer, 2018, pp. 160–166.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
R. Fulek, J. Pach, in:, Springer, 2018, pp. 160–166.
2018 | Research Data Reference | IST-REx-ID: 9837 |
Data from: Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes
R. Faria, P. Chaube, H.E. Morales, T. Larsson, A.R. Lemmon, E.M. Lemmon, M. Rafajlović, M. Panova, M. Ravinet, K. Johannesson, A.M. Westram, R.K. Butlin, (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R. Faria, P. Chaube, H.E. Morales, T. Larsson, A.R. Lemmon, E.M. Lemmon, M. Rafajlović, M. Panova, M. Ravinet, K. Johannesson, A.M. Westram, R.K. Butlin, (2018).
2018 | Technical Report | IST-REx-ID: 5457 |
Cost analysis of nondeterministic probabilistic programs
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, 6 Anonymous, Cost Analysis of Nondeterministic Probabilistic Programs, IST Austria, 2018.
[Published Version]
View
| Files available
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, 6 Anonymous, Cost Analysis of Nondeterministic Probabilistic Programs, IST Austria, 2018.
2018 | Book Chapter | IST-REx-ID: 10864 |
Absorption and directed Jónsson terms
A. Kazda, M. Kozik, R. McKenzie, M. Moore, in:, J. Czelakowski (Ed.), Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, Springer Nature, Cham, 2018, pp. 203–220.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Kazda, M. Kozik, R. McKenzie, M. Moore, in:, J. Czelakowski (Ed.), Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, Springer Nature, Cham, 2018, pp. 203–220.
2018 | Conference Paper | IST-REx-ID: 184 |
Shellability is NP-complete
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 41:1-41:16.
[Published Version]
View
| Files available
| DOI
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 41:1-41:16.
2018 | Conference Paper | IST-REx-ID: 285 |
On the treewidth of triangulated 3-manifolds
K. Huszár, J. Spreer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Submitted Version]
View
| Files available
| DOI
| arXiv
K. Huszár, J. Spreer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 | Research Data Reference | IST-REx-ID: 13059 |
Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method
E. Garriga, P. di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
E. Garriga, P. di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, (2018).
2018 | Thesis | IST-REx-ID: 49 |
Ge hut wires - from growth to hole spin resonance
H. Watzinger, Ge Hut Wires - from Growth to Hole Spin Resonance, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
H. Watzinger, Ge Hut Wires - from Growth to Hole Spin Resonance, Institute of Science and Technology Austria, 2018.
2018 | Thesis | IST-REx-ID: 201 |
Multiple covers with balls
M. Iglesias Ham, Multiple Covers with Balls, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
M. Iglesias Ham, Multiple Covers with Balls, Institute of Science and Technology Austria, 2018.
2018 | Thesis | IST-REx-ID: 68 |
Learning from dependent data
A. Zimin, Learning from Dependent Data, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
A. Zimin, Learning from Dependent Data, Institute of Science and Technology Austria, 2018.
2018 | Thesis | IST-REx-ID: 83 |
Proof systems for sustainable decentralized cryptocurrencies
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, Institute of Science and Technology Austria, 2018.
2018 | Thesis | IST-REx-ID: 197 |
Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images
A. Kolesnikov, Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
A. Kolesnikov, Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images, Institute of Science and Technology Austria, 2018.
2018 | Journal Article | IST-REx-ID: 6774 |
Computing simplicial representatives of homotopy group elements
M. Filakovský, P. Franek, U. Wagner, S.Y. Zhechev, Journal of Applied and Computational Topology 2 (2018) 177–231.
[Published Version]
View
| Files available
| DOI
M. Filakovský, P. Franek, U. Wagner, S.Y. Zhechev, Journal of Applied and Computational Topology 2 (2018) 177–231.
2018 | Conference Paper | IST-REx-ID: 133 |
Synchronizing the asynchronous
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version]
View
| Files available
| DOI
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 | Conference Paper | IST-REx-ID: 187 |
The multi-cover persistence of Euclidean balls
H. Edelsbrunner, G.F. Osang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version]
View
| Files available
| DOI
H. Edelsbrunner, G.F. Osang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 | Journal Article | IST-REx-ID: 692 |
3-Webs generated by confocal conics and circles
A. Akopyan, Geometriae Dedicata 194 (2018) 55–64.
[Published Version]
View
| Files available
| DOI
| WoS
A. Akopyan, Geometriae Dedicata 194 (2018) 55–64.