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, Parasara, et al. “Tutorial: Software Tools for Hybrid Systems Verification Transformation and Synthesis C2E2 HyST and TuLiP.” 2016 IEEE Conference on Control Applications, 7587948, IEEE, 2016, doi:10.1109/CCA.2016.7587948.
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1139
Düllberg, Christian F., et al. “Microtubule Aging Probed by Microfluidics Assisted Tubulin Washout.” Molecular Biology and Evolution, vol. 27, no. 22, Oxford University Press, 2016, pp. 3563–73, doi:10.1091/mbc.E16-07-0548.
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1156
Hibi, Takayugi, and Liam T. Solus. “Facets of the R-Stable (n, k)-Hypersimplex.” Annals of Combinatorics, vol. 20, no. 4, Springer, 2016, pp. 815–29, doi:10.1007/s00026-016-0325-x.
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 11574 | 
Santos, Sérgio, et al. “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, vol. 463, no. 2, Oxford University Press, 2016, pp. 1678–91, doi:10.1093/mnras/stw2076.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 11575 |
Lagos, Claudia del P., 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, 2016, pp. 2632–50, doi:10.1093/mnras/stw717.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 11576 |
Sobral, David, 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, vol. 457, no. 2, Oxford University Press, 2016, pp. 1739–52, doi:10.1093/mnras/stw022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 11578 |
Matthee, Jorryt J., 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, 2016, pp. 449–67, doi:10.1093/mnras/stw322.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 11834 |
Goranci, Gramoz, et al. “Incremental Exact Min-Cut in Poly-Logarithmic Amortized Update Time.” 24th Annual European Symposium on Algorithms, vol. 57, 46, 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, Monika, and Stefan Neumann. “Incremental and Fully Dynamic Subgraph Connectivity for Emergency Planning.” 24th Annual European Symposium on Algorithms, vol. 57, 48, 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, Yun Kuen, et al. “Graph Minors for Preserving Terminal Distances Approximately - Lower and Upper Bounds.” 43rd International Colloquium on Automata, Languages, and Programming, vol. 55, 131, 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, Monika, et al. “A Deterministic Almost-Tight Distributed Algorithm for Approximating Single-Source Shortest Paths.” 48th Annual ACM SIGACT Symposium on Theory of Computing, Association for Computing Machinery, 2016, pp. 489–98, doi:10.1145/2897518.2897638.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 11867 |
Bhattacharya, Sayan, et al. “New Deterministic Approximation Algorithms for Fully Dynamic Matching.” 48th Annual ACM SIGACT Symposium on Theory of Computing, Association for Computing Machinery, 2016, pp. 398–411, doi:10.1145/2897518.2897568.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Thesis | IST-REx-ID: 1189 |
Jochum, Clemens. Dissipative Few-Body Quantum Systems. Technical University Vienna, 2016.
[Published Version]
View
| Download Published Version (ext.)
2016 | Published | Journal Article | IST-REx-ID: 11891 |
Henzinger, Monika, et al. “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, 2016, pp. 947–1006, doi:10.1137/140957299.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 11983
Pieber, Bartholomäus, and C. Oliver Kappe. “Generation and Synthetic Application of Trifluoromethyl Diazomethane Utilizing Continuous Flow Technologies.” Organic Letters, vol. 18, no. 5, American Chemical Society, 2016, pp. 1076–79, doi:10.1021/acs.orglett.6b00194.
View
| DOI
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 11985
Pieber, Bartholomäus, et al. “Selective Olefin Reduction in Thebaine Using Hydrazine Hydrate and O₂ under Intensified Continuous Flow Conditions.” Organic Process Research and Development, vol. 20, no. 2, American Chemical Society, 2016, pp. 376–85, doi:10.1021/acs.oprd.5b00370.
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 11988
Kappe, C., et al. “Continuous Synthesis of Hydantoins: Intensifying the Bucherer–Bergs Reaction.” Synlett, vol. 27, no. 01, Georg Thieme Verlag, 2016, pp. 83–87, doi:10.1055/s-0035-1560317.
View
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1707
Pielorz, Jasmin, and Christoph Lampert. Optimal Geospatial Allocation of Volunteers for Crisis Management. 7402041, IEEE, 2016, doi:10.1109/ICT-DM.2015.7402041.
View
| DOI
2016 | Published | Journal Article | IST-REx-ID: 173 |
Browning, Timothy D., and Andrew Booker. “Square-Free Values of Reducible Polynomials.” Discrete Analysis, vol. 8, 2016, pp. 1–18, doi:10.19086/da.732.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 17618 |
Inayoshi, Kohei, and Zoltán Haiman. “Is There a Maximum Mass for Black Holes in Galactic Nuclei?” The Astrophysical Journal, vol. 828, no. 2, 110, American Astronomical Society, 2016, doi:10.3847/0004-637x/828/2/110.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv