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.
10467 Publications
2016 | Published | Journal Article | IST-REx-ID: 17699 | 
Greig, Bradley, et al. “Are We Witnessing the Epoch of Reionization at Z=7.1 from the Spectrum of J1120+0641?” Monthly Notices of the Royal Astronomical Society, stw3351, Oxford University Press, 2016, doi:10.1093/mnras/stw3351.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Published | Journal Article | IST-REx-ID: 17700 |
Ryu, Taeho, et al. “Intermediate-Mass Black Holes from Population III Remnants in the First Galactic Nuclei.” Monthly Notices of the Royal Astronomical Society, vol. 460, no. 4, Oxford University Press, 2016, pp. 4122–34, doi:10.1093/mnras/stw1241.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Published | Journal Article | IST-REx-ID: 17709 |
Inayoshi, Kohei, et al. “Hyper-Eddington Accretion Flows on to Massive Black Holes.” Monthly Notices of the Royal Astronomical Society, vol. 459, no. 4, Oxford University Press, 2016, pp. 3738–55, doi:10.1093/mnras/stw836.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Published | Journal Article | IST-REx-ID: 1794 |
Kolmogorov, Vladimir, and Rustem Takhanov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” Algorithmica, vol. 76, no. 1, Springer, 2016, pp. 17–46, doi:10.1007/s00453-015-0017-7.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 261
Browning, Timothy D., and Ilya Vinogradov. “Effective Ratner Theorem for SL (2, R) ⋉R2 and Gaps in √n modulo 1.” Journal of the London Mathematical Society, vol. 94, no. 1, John Wiley and Sons Ltd, 2016, pp. 61–84, doi:10.1112/jlms/jdw025.
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 262 |
Browning, Timothy D., and Rachel Newton. “The Proportion of Failures of the Hasse Norm Principle.” Mathematika, vol. 62, no. 2, Cambridge University Press, 2016, pp. 337–47, doi:10.1112/S0025579315000261.
View
| DOI
| Download (ext.)
2016 | Published | Journal Article | IST-REx-ID: 263 |
De La Bretèche, Régis, et al. “Counting Rational Points on the Cayley Ruled Cubic.” European Journal of Mathematics, vol. 2, no. 1, Springer Nature, 2016, pp. 55–72, doi:10.1007/s40879-015-0049-1.
View
| DOI
| Download (ext.)
2016 | Published | Journal Article | IST-REx-ID: 264 |
Bright, Maritn, et al. “Failures of Weak Approximation in Families.” Compositio Mathematica, vol. 152, no. 7, Cambridge University Press, 2016, pp. 1435–75, doi:10.1112/S0010437X16007405.
View
| DOI
| Download (ext.)
2016 | Published | Journal Article | IST-REx-ID: 460 |
Willmann, Katharina, et al. “Expanding the Interactome of the Noncanonical NF-ΚB Signaling Pathway.” Journal of Proteome Research, vol. 15, no. 9, American Chemical Society, 2016, pp. 2900–09, doi:10.1021/acs.jproteome.5b01004.
View
| DOI
| Download (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 478 |
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Deciding Legality of a Single Step of Magic: The Gathering. Vol. 285, IOS Press, 2016, pp. 1432–39, doi:10.3233/978-1-61499-672-9-1432.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 479
Jiang, Yu, et al. “Use Runtime Verification to Improve the Quality of Medical Care Practice.” Proceedings of the 38th International Conference on Software Engineering Companion , IEEE, 2016, pp. 112–21, doi:10.1145/2889160.2889233.
View
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 480 |
Chatterjee, Krishnendu, and Laurent Doyen. Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. Vol. 05-08-July-2016, IEEE, 2016, pp. 247–56, doi:10.1145/2933575.2934513.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 482
Rueda, Alfredo, et al. Nonlinear Single Sideband Microwave to Optical Conversion Using an Electro-Optic WGM-Resonator. Optica Publishing Group, 2016, doi:10.1364/NP.2016.NTh3A.6.
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 510 |
Liu, Zhijun, et al. “The CLE Gene Family in Populus Trichocarpa.” Plant Signaling & Behavior, vol. 11, no. 6, e1191734, Taylor & Francis, 2016, doi:10.1080/15592324.2016.1191734.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Published | Journal Article | IST-REx-ID: 526
von Wangenheim, Daniel, et al. “Rules and Self-Organizing Properties of Post-Embryonic Plant Organ Cell Division Patterns.” Current Biology, vol. 26, no. 4, Cell Press, 2016, pp. 439–49, doi:10.1016/j.cub.2015.12.047.
View
| DOI
2016 | Published | Technical Report | IST-REx-ID: 5445 |
Chatterjee, Krishnendu, et al. Quantitative Interprocedural Analysis. IST Austria, 2016, doi:10.15479/AT:IST-2016-523-v1-1.
[Published Version]
View
| Files available
| DOI
2016 | Published | Technical Report | IST-REx-ID: 5446 |
Anonymous, 1, et al. Termination and Worst-Case Analysis of Recursive Programs. IST Austria, 2016.
[Published Version]
View
| Files available
2016 | Published | Technical Report | IST-REx-ID: 5447 |
Anonymous, 1, et al. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria, 2016.
[Published Version]
View
| Files available
2016 | Published | Technical Report | IST-REx-ID: 5448 |
Anonymous, 1, et al. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2016.
[Published Version]
View
| Files available
| arXiv
2016 | Published | Technical Report | IST-REx-ID: 5449 |
Pavlogiannis, Andreas, et al. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016, doi:10.15479/AT:IST-2016-648-v1-1.
[Updated Version]
View
| Files available
| DOI