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.

572 Publications


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

2017 | Published | Journal Article | IST-REx-ID: 674
J. Schwarz et al., “Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6,” Current Biology, vol. 27, no. 9. Cell Press, pp. 1314–1325, 2017.
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 7064 | OA
K. A. Modic et al., “Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates,” Nature Communications, vol. 8, no. 1. Springer Nature, 2017.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 743
G. Gottlob, T. A. Henzinger, and G. Weißenbacher, “Preface of the special issue in memoriam Helmut Veith,” Formal Methods in System Design, vol. 51, no. 2. Springer, pp. 267–269, 2017.
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 751 | OA
Y. Matsubayashi et al., “A moving source of matrix components is essential for De Novo basement membrane formation,” Current Biology, vol. 27, no. 22. Cell Press, p. 3526–3534e.4, 2017.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Thesis | PhD | IST-REx-ID: 992 | OA
M. Rolinek, “Complexity of constraint satisfaction,” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Published | Book Chapter | IST-REx-ID: 424 | OA
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Bounding helly numbers via betti numbers,” in A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, M. Loebl, J. Nešetřil, and R. Thomas, Eds. Springer, 2017, pp. 407–447.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

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

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

2017 | Published | Journal Article | IST-REx-ID: 17949 | OA
X. Yin et al., “A reversible single-molecule switch based on activated antiaromaticity,” Science Advances, vol. 3, no. 10. American Association for the Advancement of Science, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1177 | OA
C. Kamath Hosdurg and S. Chatterjee, “A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound,” Algorithmica, vol. 74, no. 4. Springer, pp. 1321–1362, 2016.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | Cryptology ePrint
 

2016 | Published | Conference Paper | IST-REx-ID: 11834 | OA
G. Goranci, M. Henzinger, and M. Thorup, “Incremental exact min-cut in poly-logarithmic amortized update time,” in 24th Annual European Symposium on Algorithms, Aarhus, Denmark, 2016, vol. 57.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 11835 | OA
M. Henzinger and S. Neumann, “Incremental and fully dynamic subgraph connectivity for emergency planning,” in 24th Annual European Symposium on Algorithms, Aarhus, Denmark, 2016, vol. 57.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 11836 | OA
Y. K. Cheung, G. Goranci, and M. Henzinger, “Graph minors for preserving terminal distances approximately - lower and upper bounds,” in 43rd International Colloquium on Automata, Languages, and Programming, Rome, Italy, 2016, vol. 55.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1212 | OA
H. Rakusová, M. Abbas, H. Han, S. Song, H. Robert, and J. Friml, “Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity,” Current Biology, vol. 26, no. 22. Cell Press, pp. 3026–3032, 2016.
[Submitted Version] View | Files available | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1222 | OA
O. Musin and A. Nikitenko, “Optimal packings of congruent circles on a square flat torus,” Discrete & Computational Geometry, vol. 55, no. 1. Springer, pp. 1–20, 2016.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 12615
A. Ayala et al., “Modelling the hydrological response of debris-free and debris-covered glaciers to present climatic conditions in the semiarid Andes of central Chile,” Hydrological Processes, vol. 30, no. 22. Wiley, pp. 4036–4058, 2016.
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 12617 | OA
S. Ragettli, T. Bolch, and F. Pellicciotti, “Heterogeneous glacier thinning patterns over the last 40 years in Langtang Himal, Nepal,” The Cryosphere, vol. 10, no. 5. Copernicus Publications, pp. 2075–2097, 2016.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 12625 | OA
P. Kraaijenbrink, S. W. Meijer, J. M. Shea, F. Pellicciotti, S. M. De Jong, and W. W. Immerzeel, “Seasonal surface velocities of a Himalayan glacier derived by automated correlation of unmanned aerial vehicle imagery,” Annals of Glaciology, vol. 57, no. 71. International Glaciological Society, pp. 103–113, 2016.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1331 | OA
P. Zwack et al., “Cytokinin response factor 6 represses cytokinin-associated genes during oxidative stress,” Plant Physiology, vol. 172, no. 2. American Society of Plant Biologists, pp. 1249–1258, 2016.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

Filters and Search Terms

isbn%3D978-303030805-6

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed