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.
1937 Publications
2016 | Published | Technical Report | IST-REx-ID: 5446 | 
Termination and worst-case analysis of recursive programs
1 Anonymous, 2 Anonymous, 3 Anonymous, Termination and Worst-Case Analysis of Recursive Programs, IST Austria, 2016.
[Published Version]
View
| Files available
1 Anonymous, 2 Anonymous, 3 Anonymous, Termination and Worst-Case Analysis of Recursive Programs, IST Austria, 2016.
2016 | Published | Technical Report | IST-REx-ID: 5447 |
Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds
1 Anonymous, 2 Anonymous, 3 Anonymous, Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds, IST Austria, 2016.
[Published Version]
View
| Files available
1 Anonymous, 2 Anonymous, 3 Anonymous, Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds, IST Austria, 2016.
2016 | Published | Technical Report | IST-REx-ID: 5448 |
Data-centric dynamic partial order reduction
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2016.
[Published Version]
View
| Files available
| arXiv
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2016.
2016 | Research Data | IST-REx-ID: 5554 |
Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase
M. Tugrul, (2016).
[Published Version]
View
| Files available
| DOI
M. Tugrul, (2016).
2016 | Research Data | IST-REx-ID: 5557 |
Synthetic discrete tomography problems
P. Swoboda, (2016).
[Published Version]
View
| Files available
| DOI
P. Swoboda, (2016).
2016 | Published | Book Chapter | IST-REx-ID: 5805
On some local topological properties of naive discrete sphere
N. Sen, R. Biswas, P. Bhowmick, in:, Computational Topology in Image Context, Springer Nature, Cham, 2016, pp. 253–264.
View
| DOI
N. Sen, R. Biswas, P. Bhowmick, in:, Computational Topology in Image Context, Springer Nature, Cham, 2016, pp. 253–264.
2016 | Published | Conference Paper | IST-REx-ID: 5806
On functionality of quadraginta octants of naive sphere with application to circle drawing
R. Biswas, P. Bhowmick, in:, Discrete Geometry for Computer Imagery, Springer Nature, Cham, 2016, pp. 256–267.
View
| DOI
R. Biswas, P. Bhowmick, in:, Discrete Geometry for Computer Imagery, Springer Nature, Cham, 2016, pp. 256–267.
2016 | Published | Book Chapter | IST-REx-ID: 5809
On the connectivity and smoothness of discrete spherical circles
R. Biswas, P. Bhowmick, V.E. Brimkov, in:, Combinatorial Image Analysis, Springer Nature, Cham, 2016, pp. 86–100.
View
| DOI
R. Biswas, P. Bhowmick, V.E. Brimkov, in:, Combinatorial Image Analysis, Springer Nature, Cham, 2016, pp. 86–100.
2016 | Published | Journal Article | IST-REx-ID: 602
Structure of transcribing mammalian RNA polymerase II
C. Bernecky, F. Herzog, W. Baumeister, J. Plitzko, P. Cramer, Nature 529 (2016) 551–554.
View
| DOI
C. Bernecky, F. Herzog, W. Baumeister, J. Plitzko, P. Cramer, Nature 529 (2016) 551–554.
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: 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: 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: 17654 |
Formation of massive Population III galaxies through photoionization feedback: A possible explanation for CR 7
E. Visbal, Z. Haiman, G.L. Bryan, Monthly Notices of the Royal Astronomical Society: Letters 460 (2016) L59–L63.
[Published Version]
View
| DOI
| Download Published Version (ext.)
E. Visbal, Z. Haiman, G.L. Bryan, Monthly Notices of the Royal Astronomical Society: Letters 460 (2016) L59–L63.
2016 | Published | Journal Article | IST-REx-ID: 17656 |
Assisted inspirals of stellar mass black holes embedded in AGN discs: Solving the ‘final au problem’
N.C. Stone, B.D. Metzger, Z. Haiman, Monthly Notices of the Royal Astronomical Society 464 (2016) 946–954.
[Published Version]
View
| DOI
| Download Published Version (ext.)
N.C. Stone, B.D. Metzger, Z. Haiman, Monthly Notices of the Royal Astronomical Society 464 (2016) 946–954.
2016 | Published | Journal Article | IST-REx-ID: 17659 |
Gravitational wave background from Population III binary black holes consistent with cosmic reionization
K. Inayoshi, K. Kashiyama, E. Visbal, Z. Haiman, Monthly Notices of the Royal Astronomical Society 461 (2016) 2722–2727.
[Published Version]
View
| DOI
| Download Published Version (ext.)
K. Inayoshi, K. Kashiyama, E. Visbal, Z. Haiman, Monthly Notices of the Royal Astronomical Society 461 (2016) 2722–2727.
2016 | Published | Journal Article | IST-REx-ID: 17666 |
Do dark matter halos explain lensing peaks?
J.M. Zorrilla Matilla, Z. Haiman, D. Hsu, A. Gupta, A. Petri, Physical Review D 94 (2016).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.M. Zorrilla Matilla, Z. Haiman, D. Hsu, A. Gupta, A. Petri, Physical Review D 94 (2016).
2016 | Published | Journal Article | IST-REx-ID: 17693 |
Hyper-Eddington mass accretion on to a black hole with super-Eddington luminosity
Y. Sakurai, K. Inayoshi, Z. Haiman, Monthly Notices of the Royal Astronomical Society 461 (2016) 4496–4504.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Y. Sakurai, K. Inayoshi, Z. Haiman, Monthly Notices of the Royal Astronomical Society 461 (2016) 4496–4504.
2016 | Published | Journal Article | IST-REx-ID: 17700 |
Intermediate-mass black holes from Population III remnants in the first galactic nuclei
T. Ryu, T.L. Tanaka, R. Perna, Z. Haiman, Monthly Notices of the Royal Astronomical Society 460 (2016) 4122–4134.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Ryu, T.L. Tanaka, R. Perna, Z. Haiman, Monthly Notices of the Royal Astronomical Society 460 (2016) 4122–4134.