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.

1916 Publications


2017 | Published | Conference Paper | IST-REx-ID: 645 | OA
P. Ashok, K. Chatterjee, P. Daca, J. Kretinsky, and T. Meggendorfer, “Value iteration for long run average reward in markov decision processes,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10426, pp. 201–221.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 646 | OA
J. Kuske, P. Swoboda, and S. Petra, “A novel convex relaxation for non binary discrete tomography,” presented at the SSVM: Scale Space and Variational Methods in Computer Vision, Kolding, Denmark, 2017, vol. 10302, pp. 235–246.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 949 | OA
K. Chatterjee, A. K. Goharshady, and A. Pavlogiannis, “JTDec: A tool for tree decompositions in soot,” presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India, 2017, vol. 10482, pp. 59–66.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 639 | OA
K. Chatterjee, H. Fu, and A. K. Goharshady, “Non-polynomial worst case analysis of recursive programs,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10427, pp. 41–63.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1317
J. L. Fischer, “Behaviour of free boundaries in thin-film flow: The regime of strong slippage and the regime of very weak slippage,” Annales de l’Institut Henri Poincare (C) Non Linear Analysis, vol. 33, no. 5. Elsevier, pp. 1301–1327, 2016.
View | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1365 | OA
J. F. Alwen and J. Blocki, “Efficiently computing data-independent memory-hard functions,” presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, USA, 2016, vol. 9815, pp. 241–271.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1372 | OA
M. Pernisová et al., “Cytokinins influence root gravitropism via differential regulation of auxin transporter expression and localization in Arabidopsis,” New Phytologist, vol. 212, no. 2. Wiley-Blackwell, pp. 497–509, 2016.
[Submitted Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 11575 | OA
C. del P. Lagos et al., “The Fundamental Plane of star formation in galaxies revealed by the EAGLE hydrodynamical simulations,” Monthly Notices of the Royal Astronomical Society, vol. 459, no. 3. Oxford University Press, pp. 2632–2650, 2016.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 11578 | OA
J. J. Matthee et al., “The CALYMHA survey: Lyα escape fraction and its dependence on galaxy properties at z = 2.23,” Monthly Notices of the Royal Astronomical Society, vol. 458, no. 1. Oxford University Press, pp. 449–467, 2016.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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: 11891 | OA
M. Henzinger, S. Krinninger, and D. Nanongkai, “Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization,” SIAM Journal on Computing, vol. 45, no. 3. Society for Industrial & Applied Mathematics, pp. 947–1006, 2016.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 11988
C. Kappe, J. Monteiro, B. Pieber, and A. Corrêa, “Continuous synthesis of hydantoins: Intensifying the Bucherer–Bergs reaction,” Synlett, vol. 27, no. 01. Georg Thieme Verlag, pp. 83–87, 2016.
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1641 | OA
R. Zemová, M. Zwiewka, A. Bielach, H. Robert, and J. Friml, “A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana,” Journal of Plant Growth Regulation, vol. 35, no. 2. Springer, pp. 465–476, 2016.
[Preprint] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 173 | OA
T. D. Browning and A. Booker, “Square-free values of reducible polynomials,” Discrete Analysis, vol. 8. pp. 1–18, 2016.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 17618 | OA
K. Inayoshi and Z. Haiman, “Is there a maximum mass for black holes in galactic nuclei?,” The Astrophysical Journal, vol. 828, no. 2. American Astronomical Society, 2016.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 17626 | OA
A. Petri, M. May, and Z. Haiman, “Cosmology with photometric weak lensing surveys: Constraints with redshift tomography of convergence peaks and moments,” Physical Review D, vol. 94, no. 6. American Physical Society, 2016.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 17654 | OA
E. Visbal, Z. Haiman, and G. L. Bryan, “Formation of massive Population III galaxies through photoionization feedback: A possible explanation for CR 7,” Monthly Notices of the Royal Astronomical Society: Letters, vol. 460, no. 1. Oxford University Press, pp. L59–L63, 2016.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 17656 | OA
N. C. Stone, B. D. Metzger, and Z. Haiman, “Assisted inspirals of stellar mass black holes embedded in AGN discs: Solving the ‘final au problem,’” Monthly Notices of the Royal Astronomical Society, vol. 464, no. 1. Oxford University Press, pp. 946–954, 2016.
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed