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.

550 Publications


2017 | Published | Book Chapter | IST-REx-ID: 424 | OA
Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2017.Bounding helly numbers via betti numbers. In: A Journey through Discrete Mathematics: A Tribute to Jiri Matousek. , 407–447.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 487
Baig G, Radunovic B, Alistarh D-A, Balkwill M, Karagiannis T, Qiu L. 2017. Towards unlicensed cellular networks in TV white spaces. Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies. CoNEXT: Conference on emerging Networking EXperiments and Technologies, 2–14.
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 11572 | OA
Matthee JJ, Sobral D, Darvish B, Santos S, Mobasher B, Paulino-Afonso A, Röttgering H, Alegre L. 2017. Spectroscopic properties of luminous Ly α emitters at z ≈ 6–7 and comparison to the Lyman-break population. Monthly Notices of the Royal Astronomical Society. 472(1), 772–787.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1168 | OA
Perrone E, Rappold A, Müller W. 2017. D inf s optimality in copula models. Statistical Methods and Applications. 26(3), 403–418.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 21615 | OA
Massuda A, Roques-Carmes C, Yang Y, Kooi SE, Yang Y, Murdia C, Berggren KK, Kaminer I, Soljačić M. 2017. Smith-Purcell radiation from low-energy electrons. Conference on Lasers and Electro-Optics. CLEO: Fundamental Science, FM3H.6.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1207 | OA
Bao Z, Erdös L, Schnelli K. 2017. Local law of addition of random matrices on optimal scale. Communications in Mathematical Physics. 349(3), 947–990.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 14007 | OA
Baykusheva DR, Wörner HJ. 2017. Comment on ‘Time delays in molecular photoionization’. Journal of Physics B: Atomic, Molecular and Optical Physics. 50(7), 078002.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 14009
Jordan I, Huppert M, Pabst S, Kheifets AS, Baykusheva DR, Wörner HJ. 2017. Spin-orbit delays in photoemission. Physical Review A. 95(1), 013404.
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 17696 | OA
Visbal E, Bryan GL, Haiman Z. 2017. What is the maximum mass of a Population III galaxy? Monthly Notices of the Royal Astronomical Society. 469(2), 1456–1465.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 17698 | OA
Tang Y, MacFadyen A, Haiman Z. 2017. On the orbital evolution of supermassive black hole binaries with circumbinary accretion discs. Monthly Notices of the Royal Astronomical Society. 469(4), 4258–4267.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 17949 | OA
Yin X, Zang Y, Zhu L, Low JZ, Liu Z-F, Cui J, Neaton JB, Venkataraman L, Campos LM. 2017. A reversible single-molecule switch based on activated antiaromaticity. Science Advances. 3(10), aao2615.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 6117 | OA
Chen C, Itakura E, Nelson GM, Sheng M, Laurent P, Fenk LA, Butcher RA, Hegde RS, de Bono M. 2017. IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses. Nature. 542(7639), 43–48.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Published | Book Chapter | IST-REx-ID: 634
Schroeder J, Deliu E, Novarino G, Schmeisser M. 2017.Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder. In: Translational Anatomy and Cell Biology of Autism Spectrum Disorder. ADVSANAT, vol. 224, 189–211.
View | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 636 | OA
Bakhirkin A, Ferrere T, Maler O, Ulus D. 2017. On the quantitative semantics of regular expressions over real-valued signals. FORMATS: Formal Modelling and Analysis of Timed Systems, LNCS, vol. 10419, 189–206.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

earlier version | 2017 | Published | Technical Report | IST-REx-ID: 6426 | OA
Henzinger TA, Kragl B, Qadeer S. 2017. Synchronizing the asynchronous, IST Austria, 28p.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 644 | OA
Kolmogorov V, Krokhin A, Rolinek M. 2017. The complexity of general-valued CSPs. SIAM Journal on Computing. 46(3), 1087–1110.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 647 | OA
Bogomolov S, Giacobbe M, Henzinger TA, Kong H. 2017. Conic abstractions for hybrid systems. FORMATS: Formal Modelling and Analysis of Timed Systems, LNCS, vol. 10419, 116–132.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 674
Schwarz J, Bierbaum V, Vaahtomeri K, Hauschild R, Brown M, de Vries I, Leithner AF, Reversat A, Merrin J, Tarrant T, Bollenbach MT, Sixt MK. 2017. Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6. Current Biology. 27(9), 1314–1325.
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 7064 | OA
Modic KA, Ramshaw BJ, Betts JB, Breznay NP, Analytis JG, McDonald RD, Shekhter A. 2017. Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates. Nature Communications. 8(1), 180.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 743
Gottlob G, Henzinger TA, Weißenbacher G. 2017. Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. 51(2), 267–269.
View | DOI | WoS
 

Filters and Search Terms

isbn%3D3-853-20311-6

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed