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 | 
Daca, P., Henzinger, T. A., Kretinsky, J., & Petrov, T. (2016). Faster statistical model checking for unbounded temporal properties (Vol. 9636, pp. 112–129). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/978-3-662-49674-9_7
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1526 |
Henzinger, T. A., Otop, J., & Samanta, R. (2016). Lipschitz robustness of timed I/O systems (Vol. 9583, pp. 250–267). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer. https://doi.org/10.1007/978-3-662-49122-5_12
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1335 |
Chatterjee, K., Henzinger, T. A., & Otop, J. (2016). Quantitative monitor automata (Vol. 9837, pp. 23–38). Presented at the SAS: Static Analysis Symposium, Edinburgh, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-53413-7_2
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1439 |
Dragoi, C., Henzinger, T. A., & Zufferey, D. (2016). PSYNC: A partially synchronous language for fault-tolerant distributed algorithms (Vol. 20–22, pp. 400–415). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837650
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1391 |
Daca, P., Henzinger, T. A., & Kupriyanov, A. (2016). Array folds logic (Vol. 9780, pp. 230–248). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer. https://doi.org/10.1007/978-3-319-41540-6_13
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1341 |
Avni, G., Henzinger, T. A., & Kupferman, O. (2016). Dynamic resource allocation games (Vol. 9928, pp. 153–166). Presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-53354-3_13
[Preprint]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 11836 |
Cheung, Y. K., Goranci, G., & Henzinger, M. H. (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: 11834 |
Goranci, G., Henzinger, M. H., & 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. H., & 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 | Journal Article | IST-REx-ID: 12620 |
Carenzo, M., Pellicciotti, F., Mabillard, J., Reid, T., & Brock, B. W. (2016). An enhanced temperature index model for debris-covered glaciers accounting for thickness effect. Advances in Water Resources. Elsevier. https://doi.org/10.1016/j.advwatres.2016.05.001
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Published | Journal Article | IST-REx-ID: 13385 |
Kundu, P. K., Das, S., Ahrens, J., & Klajn, R. (2016). Controlling the lifetimes of dynamic nanoparticle aggregates by spiropyran functionalization. Nanoscale. Royal Society of Chemistry. https://doi.org/10.1039/c6nr05959g
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Published | Other Publication | IST-REx-ID: 13388 |
Udayabhaskararao, T., Kundu, P. K., Ahrens, J., & Klajn, R. (2016). Inside cover: Reversible photoisomerization of spiropyran on the surfaces of Au25 nanoclusters (ChemPhysChem 12/2016). ChemPhysChem (Vol. 17, pp. 1711–1711). Wiley. https://doi.org/10.1002/cphc.201600480
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Published | Journal Article | IST-REx-ID: 13478 |
Götberg, Y. L. L., Davies, M. B., Mustill, A. J., Johansen, A., & Church, R. P. (2016). Long-term stability of the HR 8799 planetary system without resonant lock. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/201526309
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1833 |
Klimova, A., & Rudas, T. (2016). On the closure of relational models. Journal of Multivariate Analysis. Elsevier. https://doi.org/10.1016/j.jmva.2015.10.005
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Journal Article | IST-REx-ID: 1881 |
Lee, J., & Schnelli, K. (2016). Extremal eigenvalues and eigenvectors of deformed Wigner matrices. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-014-0610-8
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Journal Article | IST-REx-ID: 262 |
Browning, T. D., & Newton, R. (2016). The proportion of failures of the Hasse norm principle. Mathematika. Cambridge University Press. https://doi.org/10.1112/S0025579315000261
View
| DOI
| Download (ext.)
2016 | Published | Journal Article | IST-REx-ID: 263 |
De La Bretèche, R., Browning, T. D., & Salberger, P. (2016). Counting rational points on the Cayley ruled cubic. European Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s40879-015-0049-1
View
| DOI
| Download (ext.)
2016 | Published | Journal Article | IST-REx-ID: 264 |
Bright, M., Browning, T. D., & Loughran, D. (2016). Failures of weak approximation in families. Compositio Mathematica. Cambridge University Press. https://doi.org/10.1112/S0010437X16007405
View
| DOI
| Download (ext.)
2016 | Published | Journal Article | IST-REx-ID: 460 |
Willmann, K., Sacco, R., Martins, R., Garncarz, W., Krolo, A., Knapp, S., … Boztug, K. (2016). Expanding the interactome of the noncanonical NF-κB signaling pathway. Journal of Proteome Research. American Chemical Society. https://doi.org/10.1021/acs.jproteome.5b01004
View
| DOI
| Download (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 478 |
Chatterjee, K., & Ibsen-Jensen, R. (2016). The complexity of deciding legality of a single step of magic: The gathering (Vol. 285, pp. 1432–1439). Presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands: IOS Press. https://doi.org/10.3233/978-1-61499-672-9-1432
[Published Version]
View
| Files available
| DOI