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., … Xiang, W. (2016). Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP. In 2016 IEEE Conference on Control Applications. Buenos Aires, Argentina : IEEE. https://doi.org/10.1109/CCA.2016.7587948
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1139
Düllberg, C. F., Cade, N., & Surrey, T. (2016). Microtubule aging probed by microfluidics assisted tubulin washout. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1091/mbc.E16-07-0548
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1156
Hibi, T., & Solus, L. T. (2016). Facets of the r-stable (n, k)-hypersimplex. Annals of Combinatorics. Springer. https://doi.org/10.1007/s00026-016-0325-x
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 11574 | 
Santos, S., Sobral, D., & Matthee, J. J. (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. Oxford University Press. https://doi.org/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., Furlong, M., Bower, R. G., Schaller, M., … Matthee, J. J. (2016). The Fundamental Plane of star formation in galaxies revealed by the EAGLE hydrodynamical simulations. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stw717
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 11576 |
Sobral, D., Kohn, S. A., Best, P. N., Smail, I., Harrison, C. M., Stott, J., … Matthee, J. J. (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. Oxford University Press. https://doi.org/10.1093/mnras/stw022
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 11578 |
Matthee, J. J., 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. Oxford University Press. https://doi.org/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. (2016). Incremental exact min-cut in poly-logarithmic amortized update time. In 24th Annual European Symposium on Algorithms (Vol. 57). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/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. (2016). Incremental and fully dynamic subgraph connectivity for emergency planning. In 24th Annual European Symposium on Algorithms (Vol. 57). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ESA.2016.48
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 11836 |
Cheung, Y. K., Goranci, G., & Henzinger, M. (2016). Graph minors for preserving terminal distances approximately - lower and upper bounds. In 43rd International Colloquium on Automata, Languages, and Programming (Vol. 55). Rome, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/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. (2016). A deterministic almost-tight distributed algorithm for approximating single-source shortest paths. In 48th Annual ACM SIGACT Symposium on Theory of Computing (pp. 489–498). Cambridge, MA, United States: Association for Computing Machinery. https://doi.org/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. (2016). New deterministic approximation algorithms for fully dynamic matching. In 48th Annual ACM SIGACT Symposium on Theory of Computing (pp. 398–411). Cambridge, MA, United States: Association for Computing Machinery. https://doi.org/10.1145/2897518.2897568
[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. Society for Industrial & Applied Mathematics. https://doi.org/10.1137/140957299
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 11983
Pieber, B., & Kappe, C. O. (2016). Generation and synthetic application of trifluoromethyl diazomethane utilizing continuous flow technologies. Organic Letters. American Chemical Society. https://doi.org/10.1021/acs.orglett.6b00194
View
| DOI
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 11985
Pieber, B., Cox, D. P., & Kappe, C. O. (2016). Selective olefin reduction in thebaine using hydrazine hydrate and O₂ under intensified continuous flow conditions. Organic Process Research and Development. American Chemical Society. https://doi.org/10.1021/acs.oprd.5b00370
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 11988
Kappe, C., Monteiro, J., Pieber, B., & Corrêa, A. (2016). Continuous synthesis of hydantoins: Intensifying the Bucherer–Bergs reaction. Synlett. Georg Thieme Verlag. https://doi.org/10.1055/s-0035-1560317
View
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1707
Pielorz, J., & Lampert, C. (2016). Optimal geospatial allocation of volunteers for crisis management. Presented at the ICT-DM: Information and Communication Technologies for Disaster Management, Rennes, France: IEEE. https://doi.org/10.1109/ICT-DM.2015.7402041
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 173 |
Browning, T. D., & Booker, A. (2016). Square-free values of reducible polynomials. Discrete Analysis. https://doi.org/10.19086/da.732
[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. American Astronomical Society. https://doi.org/10.3847/0004-637x/828/2/110
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv