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.
10945 Publications
2016 | Published | Conference Paper | IST-REx-ID: 1134
Duggirala P, Fan C, Potok M, Qi B, Mitra S, Viswanathan M, Bak S, Bogomolov S, Johnson T, Nguyen L, Schilling C, Sogokon A, Tran H, Xiang W. 2016. Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP. 2016 IEEE Conference on Control Applications. CCA: Control Applications , 7587948.
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 11574 | 
Santos S, Sobral D, Matthee JJ. 2016. The Lyα luminosity function at z= 5.7–6.6 and the steep drop of the faint end: Implications for reionization. Monthly Notices of the Royal Astronomical Society. 463(2), 1678–1691.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 11575 |
Lagos C del P, Theuns T, Schaye J, Furlong M, Bower RG, Schaller M, Crain RA, Trayford JW, Matthee JJ. 2016. The Fundamental Plane of star formation in galaxies revealed by the EAGLE hydrodynamical simulations. Monthly Notices of the Royal Astronomical Society. 459(3), 2632–2650.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 11576 |
Sobral D, Kohn SA, Best PN, Smail I, Harrison CM, Stott J, Calhau J, Matthee JJ. 2016. The most luminous H α emitters at z ∼ 0.8–2.23 from HiZELS: Evolution of AGN and star-forming galaxies. Monthly Notices of the Royal Astronomical Society. 457(2), 1739–1752.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 11578 |
Matthee JJ, Sobral D, Oteo I, Best P, Smail I, Röttgering H, Paulino-Afonso A. 2016. The CALYMHA survey: Lyα escape fraction and its dependence on galaxy properties at z = 2.23. Monthly Notices of the Royal Astronomical Society. 458(1), 449–467.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 11834 |
Goranci G, Henzinger M, Thorup M. 2016. Incremental exact min-cut in poly-logarithmic amortized update time. 24th Annual European Symposium on Algorithms. ESA: Annual European Symposium on Algorithms, LIPIcs, vol. 57, 46.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 11835 |
Henzinger M, Neumann S. 2016. Incremental and fully dynamic subgraph connectivity for emergency planning. 24th Annual European Symposium on Algorithms. ESA: Annual European Symposium on Algorithms, LIPIcs, vol. 57, 48.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 11836 |
Cheung YK, Goranci G, Henzinger M. 2016. Graph minors for preserving terminal distances approximately - lower and upper bounds. 43rd International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 55, 131.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 11866 |
Henzinger M, Krinninger S, Nanongkai D. 2016. A deterministic almost-tight distributed algorithm for approximating single-source shortest paths. 48th Annual ACM SIGACT Symposium on Theory of Computing. STOC: Symposium on Theory of Computing, 489–498.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 11867 |
Bhattacharya S, Henzinger M, Nanongkai D. 2016. New deterministic approximation algorithms for fully dynamic matching. 48th Annual ACM SIGACT Symposium on Theory of Computing. STOC: Symposium on Theory of Computing, 398–411.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Thesis | IST-REx-ID: 1189 |
Jochum C. 2016. Dissipative Few-Body Quantum Systems. Technical University Vienna.
[Published Version]
View
| Download Published Version (ext.)
2016 | Published | Journal Article | IST-REx-ID: 11891 |
Henzinger M, Krinninger S, Nanongkai D. 2016. Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization. SIAM Journal on Computing. 45(3), 947–1006.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 11983
Pieber B, Kappe CO. 2016. Generation and synthetic application of trifluoromethyl diazomethane utilizing continuous flow technologies. Organic Letters. 18(5), 1076–1079.
View
| DOI
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 173 |
Browning TD, Booker A. 2016. Square-free values of reducible polynomials. Discrete Analysis. 8, 1–18.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 17618 |
Inayoshi K, Haiman Z. 2016. Is there a maximum mass for black holes in galactic nuclei? The Astrophysical Journal. 828(2), 110.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv