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.
6387 Publications
2016 | Published | Conference Paper | IST-REx-ID: 1234 |
Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
2016 | Published | Conference Paper | IST-REx-ID: 1526 |
Lipschitz robustness of timed I/O systems
T.A. Henzinger, J. Otop, R. Samanta, in:, Springer, 2016, pp. 250–267.
[Preprint]
View
| DOI
| Download Preprint (ext.)
T.A. Henzinger, J. Otop, R. Samanta, in:, Springer, 2016, pp. 250–267.
2016 | Published | Conference Paper | IST-REx-ID: 1335 |
Quantitative monitor automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Springer, 2016, pp. 23–38.
[Preprint]
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Springer, 2016, pp. 23–38.
2016 | Published | Conference Paper | IST-REx-ID: 1439 |
PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
C. Dragoi, T.A. Henzinger, D. Zufferey, in:, ACM, 2016, pp. 400–415.
[Preprint]
View
| DOI
| Download Preprint (ext.)
C. Dragoi, T.A. Henzinger, D. Zufferey, in:, ACM, 2016, pp. 400–415.
2016 | Published | Conference Paper | IST-REx-ID: 1391 |
Array folds logic
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
2016 | Published | Conference Paper | IST-REx-ID: 1341 |
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016, pp. 153–166.
[Preprint]
View
| Files available
| DOI
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016, pp. 153–166.
2016 | Published | Conference Paper | IST-REx-ID: 11836 |
Graph minors for preserving terminal distances approximately - lower and upper bounds
Y.K. Cheung, G. Goranci, M.H. 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
Y.K. Cheung, G. Goranci, M.H. Henzinger, in:, 43rd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 11834 |
Incremental exact min-cut in poly-logarithmic amortized update time
G. Goranci, M.H. 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
G. Goranci, M.H. Henzinger, M. Thorup, in:, 24th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 11835 |
Incremental and fully dynamic subgraph connectivity for emergency planning
M.H. 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
M.H. Henzinger, S. Neumann, in:, 24th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Published | Journal Article | IST-REx-ID: 12620 |
An enhanced temperature index model for debris-covered glaciers accounting for thickness effect
M. Carenzo, F. Pellicciotti, J. Mabillard, T. Reid, B.W. Brock, Advances in Water Resources 94 (2016) 457–469.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Carenzo, F. Pellicciotti, J. Mabillard, T. Reid, B.W. Brock, Advances in Water Resources 94 (2016) 457–469.
2016 | Published | Journal Article | IST-REx-ID: 13385 |
Controlling the lifetimes of dynamic nanoparticle aggregates by spiropyran functionalization
P.K. Kundu, S. Das, J. Ahrens, R. Klajn, Nanoscale 8 (2016) 19280–19286.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
P.K. Kundu, S. Das, J. Ahrens, R. Klajn, Nanoscale 8 (2016) 19280–19286.
2016 | Published | Other Publication | IST-REx-ID: 13388 |
Inside cover: Reversible photoisomerization of spiropyran on the surfaces of Au25 nanoclusters (ChemPhysChem 12/2016)
T. Udayabhaskararao, P.K. Kundu, J. Ahrens, R. Klajn, Inside Cover: Reversible Photoisomerization of Spiropyran on the Surfaces of Au25 Nanoclusters (ChemPhysChem 12/2016), Wiley, 2016.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Udayabhaskararao, P.K. Kundu, J. Ahrens, R. Klajn, Inside Cover: Reversible Photoisomerization of Spiropyran on the Surfaces of Au25 Nanoclusters (ChemPhysChem 12/2016), Wiley, 2016.
2016 | Published | Journal Article | IST-REx-ID: 13478 |
Long-term stability of the HR 8799 planetary system without resonant lock
Y.L.L. Götberg, M.B. Davies, A.J. Mustill, A. Johansen, R.P. Church, Astronomy & Astrophysics 592 (2016).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
Y.L.L. Götberg, M.B. Davies, A.J. Mustill, A. Johansen, R.P. Church, Astronomy & Astrophysics 592 (2016).
2016 | Published | Journal Article | IST-REx-ID: 1833 |
On the closure of relational models
A. Klimova, T. Rudas, Journal of Multivariate Analysis 143 (2016) 440–452.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Klimova, T. Rudas, Journal of Multivariate Analysis 143 (2016) 440–452.
2016 | Published | Journal Article | IST-REx-ID: 1881 |
Extremal eigenvalues and eigenvectors of deformed Wigner matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
[Preprint]
View
| DOI
| Download Preprint (ext.)
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
2016 | Published | Journal Article | IST-REx-ID: 262 |
The proportion of failures of the Hasse norm principle
T.D. Browning, R. Newton, Mathematika 62 (2016) 337–347.
View
| DOI
| Download (ext.)
T.D. Browning, R. Newton, Mathematika 62 (2016) 337–347.
2016 | Published | Journal Article | IST-REx-ID: 263 |
Counting rational points on the Cayley ruled cubic
R. De La Bretèche, T.D. Browning, P. Salberger, European Journal of Mathematics 2 (2016) 55–72.
View
| DOI
| Download (ext.)
R. De La Bretèche, T.D. Browning, P. Salberger, European Journal of Mathematics 2 (2016) 55–72.
2016 | Published | Journal Article | IST-REx-ID: 264 |
Failures of weak approximation in families
M. Bright, T.D. Browning, D. Loughran, Compositio Mathematica 152 (2016) 1435–1475.
View
| DOI
| Download (ext.)
M. Bright, T.D. Browning, D. Loughran, Compositio Mathematica 152 (2016) 1435–1475.
2016 | Published | Journal Article | IST-REx-ID: 460 |
Expanding the interactome of the noncanonical NF-κB signaling pathway
K. Willmann, R. Sacco, R. Martins, W. Garncarz, A. Krolo, S. Knapp, K. Bennett, K. Boztug, Journal of Proteome Research 15 (2016) 2900–2909.
View
| DOI
| Download (ext.)
K. Willmann, R. Sacco, R. Martins, W. Garncarz, A. Krolo, S. Knapp, K. Bennett, K. Boztug, Journal of Proteome Research 15 (2016) 2900–2909.
2016 | Published | Conference Paper | IST-REx-ID: 478 |
The complexity of deciding legality of a single step of magic: The gathering
K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.