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
Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP
P. Duggirala, C. Fan, M. Potok, B. Qi, S. Mitra, M. Viswanathan, S. Bak, S. Bogomolov, T. Johnson, L. Nguyen, C. Schilling, A. Sogokon, H. Tran, W. Xiang, in:, 2016 IEEE Conference on Control Applications, IEEE, 2016.
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1139
Microtubule aging probed by microfluidics assisted tubulin washout
C.F. Düllberg, N. Cade, T. Surrey, Molecular Biology and Evolution 27 (2016) 3563–3573.
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1156
Facets of the r-stable (n, k)-hypersimplex
T. Hibi, L.T. Solus, Annals of Combinatorics 20 (2016) 815–829.
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 11574 | OA
The Lyα luminosity function at z= 5.7–6.6 and the steep drop of the faint end: Implications for reionization
S. Santos, D. Sobral, J.J. Matthee, Monthly Notices of the Royal Astronomical Society 463 (2016) 1678–1691.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 11575 | OA
The Fundamental Plane of star formation in galaxies revealed by the EAGLE hydrodynamical simulations
C. del P. Lagos, T. Theuns, J. Schaye, M. Furlong, R.G. Bower, M. Schaller, R.A. Crain, J.W. Trayford, J.J. Matthee, Monthly Notices of the Royal Astronomical Society 459 (2016) 2632–2650.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 11576 | OA
The most luminous H α emitters at z ∼ 0.8–2.23 from HiZELS: Evolution of AGN and star-forming galaxies
D. Sobral, S.A. Kohn, P.N. Best, I. Smail, C.M. Harrison, J. Stott, J. Calhau, J.J. Matthee, Monthly Notices of the Royal Astronomical Society 457 (2016) 1739–1752.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 11578 | OA
The CALYMHA survey: Lyα escape fraction and its dependence on galaxy properties at z = 2.23
J.J. Matthee, D. Sobral, I. Oteo, P. Best, I. Smail, H. Röttgering, A. Paulino-Afonso, Monthly Notices of the Royal Astronomical Society 458 (2016) 449–467.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 11834 | OA
Incremental exact min-cut in poly-logarithmic amortized update time
G. Goranci, M. Henzinger, M. Thorup, in:, 24th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 11835 | OA
Incremental and fully dynamic subgraph connectivity for emergency planning
M. Henzinger, S. Neumann, in:, 24th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 11836 | OA
Graph minors for preserving terminal distances approximately - lower and upper bounds
Y.K. Cheung, G. Goranci, M. Henzinger, in:, 43rd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 11866 | OA
A deterministic almost-tight distributed algorithm for approximating single-source shortest paths
M. Henzinger, S. Krinninger, D. Nanongkai, in:, 48th Annual ACM SIGACT Symposium on Theory of Computing, Association for Computing Machinery, 2016, pp. 489–498.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 11867 | OA
New deterministic approximation algorithms for fully dynamic matching
S. Bhattacharya, M. Henzinger, D. Nanongkai, in:, 48th Annual ACM SIGACT Symposium on Theory of Computing, Association for Computing Machinery, 2016, pp. 398–411.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Thesis | IST-REx-ID: 1189 | OA
Dissipative Few-Body Quantum Systems
C. Jochum, Dissipative Few-Body Quantum Systems, Technical University Vienna, 2016.
[Published Version] View | Download Published Version (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 11891 | OA
Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization
M. Henzinger, S. Krinninger, D. Nanongkai, SIAM Journal on Computing 45 (2016) 947–1006.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 11983
Generation and synthetic application of trifluoromethyl diazomethane utilizing continuous flow technologies
B. Pieber, C.O. Kappe, Organic Letters 18 (2016) 1076–1079.
View | DOI | PubMed | Europe PMC
 

2016 | Published | Journal Article | IST-REx-ID: 11985
Selective olefin reduction in thebaine using hydrazine hydrate and O₂ under intensified continuous flow conditions
B. Pieber, D.P. Cox, C.O. Kappe, Organic Process Research and Development 20 (2016) 376–385.
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 11988
Continuous synthesis of hydantoins: Intensifying the Bucherer–Bergs reaction
C. Kappe, J. Monteiro, B. Pieber, A. Corrêa, Synlett 27 (2016) 83–87.
View | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1707
Optimal geospatial allocation of volunteers for crisis management
J. Pielorz, C. Lampert, in:, IEEE, 2016.
View | DOI
 

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

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

Search

Filter Publications

Display / Sort

Export / Embed