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.
1481 Publications
2018 |Published| Journal Article | IST-REx-ID: 12605 | 
Clemenzi, I., et al. “Snow Depth Structure, Fractal Behavior, and Interannual Consistency over Haut Glacier d’Arolla, Switzerland.” Water Resources Research, vol. 54, no. 10, American Geophysical Union, 2018, pp. 7929–45, doi:10.1029/2017wr021606.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 |Published| Journal Article | IST-REx-ID: 13475 |
Götberg, Ylva Louise Linsdotter, et al. “Spectral Models for Binary Products: Unifying Subdwarfs and Wolf-Rayet Stars as a Sequence of Stripped-Envelope Stars.” Astronomy & Astrophysics, vol. 615, A78, EDP Sciences, 2018, doi:10.1051/0004-6361/201732274.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 13473 |
Schootemeijer, A., et al. “Clues about the Scarcity of Stripped-Envelope Stars from the Evolutionary State of the SdO+Be Binary System φ Persei.” Astronomy & Astrophysics, vol. 615, A30, EDP Sciences, 2018, doi:10.1051/0004-6361/201731194.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2018 |Published| Conference Paper | IST-REx-ID: 186 |
Fulek, Radoslav, and Jan Kynčl. The ℤ2-Genus of Kuratowski Minors. Vol. 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 40.1-40.14, doi:10.4230/LIPIcs.SoCG.2018.40.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2018 |Published| Conference Paper | IST-REx-ID: 433 |
Fulek, Radoslav, and János Pach. Thrackles: An Improved Upper Bound. Vol. 10692, Springer, 2018, pp. 160–66, doi:10.1007/978-3-319-73915-1_14.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2018 |Published| Technical Report | IST-REx-ID: 5457 |
Anonymous, 1, et al. Cost Analysis of Nondeterministic Probabilistic Programs. IST Austria, 2018.
[Published Version]
View
| Files available
2018 |Published| Conference Paper | IST-REx-ID: 184 |
Goaoc, Xavier, et al. Shellability Is NP-Complete. Vol. 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 41:1-41:16, doi:10.4230/LIPIcs.SoCG.2018.41.
[Published Version]
View
| Files available
| DOI
2018 |Published| Journal Article | IST-REx-ID: 6774 |
Filakovský, Marek, et al. “Computing Simplicial Representatives of Homotopy Group Elements.” Journal of Applied and Computational Topology, vol. 2, no. 3–4, Springer, 2018, pp. 177–231, doi:10.1007/s41468-018-0021-5.
[Published Version]
View
| Files available
| DOI
2018 |Published| Journal Article | IST-REx-ID: 77 |
Watzinger, Hannes, et al. “A Germanium Hole Spin Qubit.” Nature Communications, vol. 9, no. 3902, Nature Publishing Group, 2018, doi:10.1038/s41467-018-06418-4.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Conference Paper | IST-REx-ID: 144
Ferrere, Thomas, et al. A Theory of Register Monitors. Vol. Part F138033, IEEE, 2018, pp. 394–403, doi:10.1145/3209108.3209194.
View
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 58 |
Akopyan, Arseniy, and Erel Segal Halevi. “Counting Blanks in Polygonal Arrangements.” SIAM Journal on Discrete Mathematics, vol. 32, no. 3, Society for Industrial and Applied Mathematics , 2018, pp. 2242–57, doi:10.1137/16M110407X.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 407
Kubiasová, Karolina, et al. “Design, Synthesis and Perception of Fluorescently Labeled Isoprenoid Cytokinins.” Phytochemistry, vol. 150, Elsevier, 2018, pp. 1–11, doi:10.1016/j.phytochem.2018.02.015.
View
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 281 |
Granados, Alejandro, et al. “Distributed and Dynamic Intracellular Organization of Extracellular Information.” PNAS, vol. 115, no. 23, National Academy of Sciences, 2018, pp. 6088–93, doi:10.1073/pnas.1716659115.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2018 |Published| Journal Article | IST-REx-ID: 425 |
Matoušek, Jiří, et al. “Embeddability in the 3-Sphere Is Decidable.” Journal of the ACM, vol. 65, no. 1, 5, ACM, 2018, doi:10.1145/3078632.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 448 |
Harrison M, Jongepier E, Robertson H, Arning N, Bitard Feildel T, Chao H, Childers C, Dinh H, Doddapaneni H, Dugan S, Gowin J, Greiner C, Han Y, Hu H, Hughes D, Huylmans AK, Kemena K, Kremer L, Lee S, López Ezquerra A, Mallet L, Monroy Kuhn J, Moser A, Murali S, Muzny D, Otani S, Piulachs M, Poelchau M, Qu J, Schaub F, Wada Katsumata A, Worley K, Xie Q, Ylla G, Poulsen M, Gibbs R, Schal C, Richards S, Belles X, Korb J, Bornberg Bauer E. 2018. Hemimetabolous genomes reveal molecular basis of termite eusociality. Nature Ecology and Evolution. 2(3), 557–566.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 723 |
Oliveto, Pietro, et al. “How to Escape Local Optima in Black Box Optimisation When Non Elitism Outperforms Elitism.” Algorithmica, vol. 80, no. 5, Springer, 2018, pp. 1604–33, doi:10.1007/s00453-017-0369-2.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Research Data Reference | IST-REx-ID: 9841 |
Harrison MC, Jongepier E, Robertson HM, Arning N, Bitard-Feildel T, Chao H, Childers CP, Dinh H, Doddapaneni H, Dugan S, Gowin J, Greiner C, Han Y, Hu H, Hughes DST, Huylmans AK, Kemena C, Kremer LPM, Lee SL, Lopez-Ezquerra A, Mallet L, Monroy-Kuhn JM, Moser A, Murali SC, Muzny DM, Otani S, Piulachs M-D, Poelchau M, Qu J, Schaub F, Wada-Katsumata A, Worley KC, Xie Q, Ylla G, Poulsen M, Gibbs RA, Schal C, Richards S, Belles X, Korb J, Bornberg-Bauer E. 2018. Data from: Hemimetabolous genomes reveal molecular basis of termite eusociality, Dryad, 10.5061/dryad.51d4r.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2018 |Published| Conference Paper | IST-REx-ID: 183
Bartocci, Ezio, et al. Localizing Faults in Simulink/Stateflow Models with STL. Association for Computing Machinery, Inc, 2018, pp. 197–206, doi:10.1145/3178126.3178131.
View
| DOI
| WoS
2018 |Published| Conference Paper | IST-REx-ID: 310 |
Chatterjee, Krishnendu, et al. Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter. ACM, 2018, pp. 2341–56, doi:10.1137/1.9781611975031.151.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 137 |
Zhang, William, et al. “Monitoring Hippocampal Glycine with the Computationally Designed Optical Sensor GlyFS.” Nature Chemical Biology, vol. 14, no. 9, Nature Publishing Group, 2018, pp. 861–69, doi:10.1038/s41589-018-0108-2.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC