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.
6561 Publications
2016 | Published | Conference Paper | IST-REx-ID: 11836 |
Graph minors for preserving terminal distances approximately - lower and upper bounds
Y.K. Cheung, G. Goranci, M. Henzinger, in:, 43rd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
Y.K. Cheung, G. Goranci, M. Henzinger, in:, 43rd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Published | Journal Article | IST-REx-ID: 1184 |
Mating and longevity in ant males
S. Metzler, J. Heinze, A. Schrempf, Ecology and Evolution 6 (2016) 8903–8906.
[Published Version]
View
| Files available
| DOI
S. Metzler, J. Heinze, A. Schrempf, Ecology and Evolution 6 (2016) 8903–8906.
2016 | Published | Journal Article | IST-REx-ID: 1186 |
Modular architecture and unique teichoic acid recognition features of choline-binding protein L CbpL contributing to pneumococcal pathogenesis
J. Gutierrez-Fernandez, M. Saleh, M. Alcorlo, A. Gómez Mejóa, D. Pantoja Uceda, M. Treviño, F. Vob, M. Abdullah, S. Galán Bartual, J. Seinen, P. Sánchez Murcia, F. Gago, M. Bruix, S. Hammerschmidt, J. Hermoso, Scientific Reports 6 (2016).
[Published Version]
View
| Files available
| DOI
J. Gutierrez-Fernandez, M. Saleh, M. Alcorlo, A. Gómez Mejóa, D. Pantoja Uceda, M. Treviño, F. Vob, M. Abdullah, S. Galán Bartual, J. Seinen, P. Sánchez Murcia, F. Gago, M. Bruix, S. Hammerschmidt, J. Hermoso, Scientific Reports 6 (2016).
2016 | Published | Conference Paper | IST-REx-ID: 11866 |
A deterministic almost-tight distributed algorithm for approximating single-source shortest paths
M. Henzinger, S. Krinninger, D. Nanongkai, in:, 48th Annual ACM SIGACT Symposium on Theory of Computing, Association for Computing Machinery, 2016, pp. 489–498.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Henzinger, S. Krinninger, D. Nanongkai, in:, 48th Annual ACM SIGACT Symposium on Theory of Computing, Association for Computing Machinery, 2016, pp. 489–498.
2016 | Published | Conference Paper | IST-REx-ID: 11867 |
New deterministic approximation algorithms for fully dynamic matching
S. Bhattacharya, M. Henzinger, D. Nanongkai, in:, 48th Annual ACM SIGACT Symposium on Theory of Computing, Association for Computing Machinery, 2016, pp. 398–411.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Bhattacharya, M. Henzinger, D. Nanongkai, in:, 48th Annual ACM SIGACT Symposium on Theory of Computing, Association for Computing Machinery, 2016, pp. 398–411.
2016 | Published | Thesis | IST-REx-ID: 1189 |
Dissipative Few-Body Quantum Systems
C. Jochum, Dissipative Few-Body Quantum Systems, Technical University Vienna, 2016.
[Published Version]
View
| Download Published Version (ext.)
C. Jochum, Dissipative Few-Body Quantum Systems, Technical University Vienna, 2016.
2016 | Published | Journal Article | IST-REx-ID: 11891 |
Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization
M. Henzinger, S. Krinninger, D. Nanongkai, SIAM Journal on Computing 45 (2016) 947–1006.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Henzinger, S. Krinninger, D. Nanongkai, SIAM Journal on Computing 45 (2016) 947–1006.
2016 | Published | Conference Paper | IST-REx-ID: 1193 |
Commutativity in the algorithmic Lovasz local lemma
V. Kolmogorov, in:, Proceedings - Annual IEEE Symposium on Foundations of Computer Science, IEEE, 2016.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, in:, Proceedings - Annual IEEE Symposium on Foundations of Computer Science, IEEE, 2016.
2016 | Published | Journal Article | IST-REx-ID: 1195 |
Reconstruction of haplotype-blocks selected during experimental evolution.
S. Franssen, N.H. Barton, C. Schlötterer, Molecular Biology and Evolution 34 (2016) 174–184.
[Submitted Version]
View
| Files available
| DOI
S. Franssen, N.H. Barton, C. Schlötterer, Molecular Biology and Evolution 34 (2016) 174–184.
2016 | Published | Journal Article | IST-REx-ID: 1197 |
Error-robust modes of the retinal population code
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, PLoS Computational Biology 12 (2016).
[Published Version]
View
| Files available
| DOI
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, PLoS Computational Biology 12 (2016).
2016 | Published | Journal Article | IST-REx-ID: 1200 |
Only the combination of mathematics and agent based simulations can leverage the full potential of evolutionary modeling: Comment on “Evolutionary game theory using agent-based methods” by C. Adami, J. Schossau and A. Hintze
C. Hilbe, A. Traulsen, Physics of Life Reviews 19 (2016) 29–31.
[Submitted Version]
View
| Files available
| DOI
C. Hilbe, A. Traulsen, Physics of Life Reviews 19 (2016) 29–31.
2016 | Published | Journal Article | IST-REx-ID: 1641 |
A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana
R. Zemová, M. Zwiewka, A. Bielach, H. Robert, J. Friml, Journal of Plant Growth Regulation 35 (2016) 465–476.
[Preprint]
View
| Files available
| DOI
R. Zemová, M. Zwiewka, A. Bielach, H. Robert, J. Friml, Journal of Plant Growth Regulation 35 (2016) 465–476.
2016 | Published | Conference Paper | IST-REx-ID: 1653 |
New realizations of somewhere statistically binding hashing and positional accumulators
T. Okamoto, K.Z. Pietrzak, B. Waters, D. Wichs, in:, Springer, 2016, pp. 121–145.
[Submitted Version]
View
| Files available
| DOI
T. Okamoto, K.Z. Pietrzak, B. Waters, D. Wichs, in:, Springer, 2016, pp. 121–145.
2016 | Published | Journal Article | IST-REx-ID: 1705 |
Guided search for hybrid systems based on coarse-grained space abstractions
S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle, International Journal on Software Tools for Technology Transfer 18 (2016) 449–467.
[Published Version]
View
| Files available
| DOI
S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle, International Journal on Software Tools for Technology Transfer 18 (2016) 449–467.
2016 | Published | Journal Article | IST-REx-ID: 173 |
Square-free values of reducible polynomials
T.D. Browning, A. Booker, Discrete Analysis 8 (2016) 1–18.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, A. Booker, Discrete Analysis 8 (2016) 1–18.
2016 | Published | Journal Article | IST-REx-ID: 17618 |
Is there a maximum mass for black holes in galactic nuclei?
K. Inayoshi, Z. Haiman, The Astrophysical Journal 828 (2016).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Inayoshi, Z. Haiman, The Astrophysical Journal 828 (2016).
2016 | Published | Journal Article | IST-REx-ID: 17621 |
Lyα emission-line reconstruction for high-z QSOs
B. Greig, A. Mesinger, I.D. McGreer, S. Gallerani, Z. Haiman, Monthly Notices of the Royal Astronomical Society 466 (2016) 1814–1838.
[Published Version]
View
| DOI
| Download Published Version (ext.)
B. Greig, A. Mesinger, I.D. McGreer, S. Gallerani, Z. Haiman, Monthly Notices of the Royal Astronomical Society 466 (2016) 1814–1838.
2016 | Published | Journal Article | IST-REx-ID: 17626 |
Cosmology with photometric weak lensing surveys: Constraints with redshift tomography of convergence peaks and moments
A. Petri, M. May, Z. Haiman, Physical Review D 94 (2016).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Petri, M. May, Z. Haiman, Physical Review D 94 (2016).
2016 | Published | Journal Article | IST-REx-ID: 17628 |
Sample variance in weak lensing: How many simulations are required?
A. Petri, Z. Haiman, M. May, Physical Review D 93 (2016).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Petri, Z. Haiman, M. May, Physical Review D 93 (2016).
2016 | Published | Journal Article | IST-REx-ID: 17649 |
Origin of weak lensing convergence peaks
J. Liu, Z. Haiman, Physical Review D 94 (2016).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Liu, Z. Haiman, Physical Review D 94 (2016).