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.
364 Publications
2018 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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.
2018 |Published| Journal Article | IST-REx-ID: 410 |
A micro-CT-based method for quantitative brain lesion characterization and electrode localization
J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Scientific Reports 8 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Scientific Reports 8 (2018).
2018 |Published| Conference Paper | IST-REx-ID: 144
A theory of register monitors
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
View
| DOI
| WoS
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
2018 |Published| Journal Article | IST-REx-ID: 407
Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins
K. Kubiasová, V. Mik, J. Nisler, M. Hönig, A. Husičková, L. Spíchal, Z. Pěkná, O. Šamajová, K. Doležal, O. Plíhal, E. Benková, M. Strnad, L. Plíhalová, Phytochemistry 150 (2018) 1–11.
View
| DOI
| WoS
K. Kubiasová, V. Mik, J. Nisler, M. Hönig, A. Husičková, L. Spíchal, Z. Pěkná, O. Šamajová, K. Doležal, O. Plíhal, E. Benková, M. Strnad, L. Plíhalová, Phytochemistry 150 (2018) 1–11.
2018 |Published| Conference Paper | IST-REx-ID: 397
Harnessing epoch-based reclamation for efficient range queries
M. Arbel Raviv, T.A. Brown, in:, ACM, 2018, pp. 14–27.
View
| DOI
| WoS
M. Arbel Raviv, T.A. Brown, in:, ACM, 2018, pp. 14–27.
2018 |Published| Journal Article | IST-REx-ID: 76 |
Near-optimal self-stabilising counting and firing squads
C. Lenzen, J. Rybicki, Distributed Computing (2018).
[Published Version]
View
| Files available
| DOI
| WoS
C. Lenzen, J. Rybicki, Distributed Computing (2018).
2018 |Published| Conference Paper | IST-REx-ID: 78 |
Online timed pattern matching using automata
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232.
[Submitted Version]
View
| Files available
| DOI
| WoS
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232.
2018 |Published| Journal Article | IST-REx-ID: 6002 |
The Bogoliubov free energy functional I: Existence of minimizers and phase diagram
M.M. Napiórkowski, R. Reuvers, J.P. Solovej, Archive for Rational Mechanics and Analysis 229 (2018) 1037–1090.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M.M. Napiórkowski, R. Reuvers, J.P. Solovej, Archive for Rational Mechanics and Analysis 229 (2018) 1037–1090.
2018 |Published| Journal Article | IST-REx-ID: 6
A micro-CT-based method for characterising lesions and locating electrodes in small animal brains
J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Journal of Visualized Experiments 141 (2018).
View
| DOI
| WoS
J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Journal of Visualized Experiments 141 (2018).
2017 |Published| Journal Article | IST-REx-ID: 11572 |
Spectroscopic properties of luminous Ly α emitters at z ≈ 6–7 and comparison to the Lyman-break population
J.J. Matthee, D. Sobral, B. Darvish, S. Santos, B. Mobasher, A. Paulino-Afonso, H. Röttgering, L. Alegre, Monthly Notices of the Royal Astronomical Society 472 (2017) 772–787.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, D. Sobral, B. Darvish, S. Santos, B. Mobasher, A. Paulino-Afonso, H. Röttgering, L. Alegre, Monthly Notices of the Royal Astronomical Society 472 (2017) 772–787.
2017 |Published| Conference Paper | IST-REx-ID: 487
Towards unlicensed cellular networks in TV white spaces
G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, L. Qiu, in:, Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14.
View
| DOI
G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, L. Qiu, in:, Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14.
2017 |Published| Journal Article | IST-REx-ID: 6117 |
IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses
C. Chen, E. Itakura, G.M. Nelson, M. Sheng, P. Laurent, L.A. Fenk, R.A. Butcher, R.S. Hegde, M. de Bono, Nature 542 (2017) 43–48.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
C. Chen, E. Itakura, G.M. Nelson, M. Sheng, P. Laurent, L.A. Fenk, R.A. Butcher, R.S. Hegde, M. de Bono, Nature 542 (2017) 43–48.
2017 |Published| Book Chapter | IST-REx-ID: 634
Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder
J. Schroeder, E. Deliu, G. Novarino, M. Schmeisser, in:, M. Schmeisser, T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder, Springer, 2017, pp. 189–211.
View
| DOI
J. Schroeder, E. Deliu, G. Novarino, M. Schmeisser, in:, M. Schmeisser, T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder, Springer, 2017, pp. 189–211.
2017 |Published| Conference Paper | IST-REx-ID: 636 |
On the quantitative semantics of regular expressions over real-valued signals
A. Bakhirkin, T. Ferrere, O. Maler, D. Ulus, in:, A. Abate, G. Geeraerts (Eds.), Springer, 2017, pp. 189–206.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
A. Bakhirkin, T. Ferrere, O. Maler, D. Ulus, in:, A. Abate, G. Geeraerts (Eds.), Springer, 2017, pp. 189–206.
2017 |Published| Journal Article | IST-REx-ID: 644 |
The complexity of general-valued CSPs
V. Kolmogorov, A. Krokhin, M. Rolinek, SIAM Journal on Computing 46 (2017) 1087–1110.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
V. Kolmogorov, A. Krokhin, M. Rolinek, SIAM Journal on Computing 46 (2017) 1087–1110.