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, et al. Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP. In: 2016 IEEE Conference on Control Applications. IEEE; 2016. doi:10.1109/CCA.2016.7587948
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1139
Düllberg CF, Cade N, Surrey T. Microtubule aging probed by microfluidics assisted tubulin washout. Molecular Biology and Evolution. 2016;27(22):3563-3573. doi:10.1091/mbc.E16-07-0548
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1156
Hibi T, Solus LT. Facets of the r-stable (n, k)-hypersimplex. Annals of Combinatorics. 2016;20(4):815-829. doi:10.1007/s00026-016-0325-x
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 11574 | 
Santos S, Sobral D, Matthee JJ. 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. 2016;463(2):1678-1691. doi:10.1093/mnras/stw2076
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 11575 |
Lagos C del P, Theuns T, Schaye J, et al. The Fundamental Plane of star formation in galaxies revealed by the EAGLE hydrodynamical simulations. Monthly Notices of the Royal Astronomical Society. 2016;459(3):2632-2650. doi:10.1093/mnras/stw717
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 11576 |
Sobral D, Kohn SA, Best PN, et al. 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. 2016;457(2):1739-1752. doi:10.1093/mnras/stw022
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 11578 |
Matthee JJ, Sobral D, Oteo I, 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. 2016;458(1):449-467. doi:10.1093/mnras/stw322
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 11834 |
Goranci G, Henzinger M, Thorup M. Incremental exact min-cut in poly-logarithmic amortized update time. In: 24th Annual European Symposium on Algorithms. Vol 57. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPICS.ESA.2016.46
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 11835 |
Henzinger M, Neumann S. Incremental and fully dynamic subgraph connectivity for emergency planning. In: 24th Annual European Symposium on Algorithms. Vol 57. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPICS.ESA.2016.48
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 11836 |
Cheung YK, Goranci G, Henzinger M. Graph minors for preserving terminal distances approximately - lower and upper bounds. In: 43rd International Colloquium on Automata, Languages, and Programming. Vol 55. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPICS.ICALP.2016.131
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 11866 |
Henzinger M, Krinninger S, Nanongkai D. A deterministic almost-tight distributed algorithm for approximating single-source shortest paths. In: 48th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery; 2016:489-498. doi:10.1145/2897518.2897638
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 11867 |
Bhattacharya S, Henzinger M, Nanongkai D. New deterministic approximation algorithms for fully dynamic matching. In: 48th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery; 2016:398-411. doi:10.1145/2897518.2897568
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Thesis | IST-REx-ID: 1189 |
Jochum C. Dissipative Few-Body Quantum Systems. 2016.
[Published Version]
View
| Download Published Version (ext.)
2016 | Published | Journal Article | IST-REx-ID: 11891 |
Henzinger M, Krinninger S, Nanongkai D. Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization. SIAM Journal on Computing. 2016;45(3):947-1006. doi:10.1137/140957299
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 11983
Pieber B, Kappe CO. Generation and synthetic application of trifluoromethyl diazomethane utilizing continuous flow technologies. Organic Letters. 2016;18(5):1076-1079. doi:10.1021/acs.orglett.6b00194
View
| DOI
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 11985
Pieber B, Cox DP, Kappe CO. Selective olefin reduction in thebaine using hydrazine hydrate and O₂ under intensified continuous flow conditions. Organic Process Research and Development. 2016;20(2):376-385. doi:10.1021/acs.oprd.5b00370
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 11988
Kappe C, Monteiro J, Pieber B, Corrêa A. Continuous synthesis of hydantoins: Intensifying the Bucherer–Bergs reaction. Synlett. 2016;27(01):83-87. doi:10.1055/s-0035-1560317
View
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1707
Pielorz J, Lampert C. Optimal geospatial allocation of volunteers for crisis management. In: IEEE; 2016. doi:10.1109/ICT-DM.2015.7402041
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 173 |
Browning TD, Booker A. Square-free values of reducible polynomials. Discrete Analysis. 2016;8:1-18. doi:10.19086/da.732
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 17618 |
Inayoshi K, Haiman Z. Is there a maximum mass for black holes in galactic nuclei? The Astrophysical Journal. 2016;828(2). doi:10.3847/0004-637x/828/2/110
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv