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.
9789 Publications
2016 | Published | Journal Article | IST-REx-ID: 1148
Schilling C, Bogomolov S, Henzinger TA, Podelski A, Ruess J. Adaptive moment closure for parameter inference of biochemical reaction networks. Biosystems. 2016;149:15-25. doi:10.1016/j.biosystems.2016.07.005
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1093 | 
Daca P, Henzinger TA, Kretinsky J, Petrov T. Linear distances between Markov chains. In: Vol 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.CONCUR.2016.20
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1230 |
Daca P, Gupta A, Henzinger TA. Abstraction-driven concolic testing. In: Vol 9583. Springer; 2016:328-347. doi:10.1007/978-3-662-49122-5_16
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1234 |
Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. In: Vol 9636. Springer; 2016:112-129. doi: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 TA, Otop J, Samanta R. Lipschitz robustness of timed I/O systems. In: Vol 9583. Springer; 2016:250-267. doi: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 TA, Otop J. Quantitative monitor automata. In: Vol 9837. Springer; 2016:23-38. doi: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 TA, Zufferey D. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms. In: Vol 20-22. ACM; 2016:400-415. doi:10.1145/2837614.2837650
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1391 |
Daca P, Henzinger TA, Kupriyanov A. Array folds logic. In: Vol 9780. Springer; 2016:230-248. doi:10.1007/978-3-319-41540-6_13
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1421
Bak S, Bogomolov S, Henzinger TA, Johnson T, Prakash P. Scalable static hybridization methods for analysis of nonlinear systems. In: Springer; 2016:155-164. doi:10.1145/2883817.2883837
View
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1390
D’Antoni L, Samanta R, Singh R. QLOSE: Program repair with quantitative objectives. In: Vol 9780. Springer; 2016:383-401. doi:10.1007/978-3-319-41540-6_21
View
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1341 |
Avni G, Henzinger TA, Kupferman O. Dynamic resource allocation games. In: Vol 9928. Springer; 2016:153-166. doi:10.1007/978-3-662-53354-3_13
[Preprint]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 11836 |
Cheung YK, Goranci G, Henzinger MH. Graph minors for preserving terminal distances approximately - lower and upper bounds. In: 43rd International Colloquium on Automata, Languages, and Programming. Vol 55. 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: 11834 |
Goranci G, Henzinger MH, Thorup M. Incremental exact min-cut in poly-logarithmic amortized update time. In: 24th Annual European Symposium on Algorithms. Vol 57. 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 MH, Neumann S. Incremental and fully dynamic subgraph connectivity for emergency planning. In: 24th Annual European Symposium on Algorithms. Vol 57. 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 | Journal Article | IST-REx-ID: 12620 |
Carenzo M, Pellicciotti F, Mabillard J, Reid T, Brock BW. An enhanced temperature index model for debris-covered glaciers accounting for thickness effect. Advances in Water Resources. 2016;94:457-469. doi:10.1016/j.advwatres.2016.05.001
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Published | Journal Article | IST-REx-ID: 11983
Pieber B, Kappe CO. Generation and synthetic application of trifluoromethyl diazomethane utilizing continuous flow technologies. Organic Letters. 2016;18(5):1076-1079. doi:10.1021/acs.orglett.6b00194
View
| DOI
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 13385 |
Kundu PK, Das S, Ahrens J, Klajn R. Controlling the lifetimes of dynamic nanoparticle aggregates by spiropyran functionalization. Nanoscale. 2016;8(46):19280-19286. doi:10.1039/c6nr05959g
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 13391
Amdursky N, Kundu PK, Ahrens J, Huppert D, Klajn R. Noncovalent interactions with proteins modify the physicochemical properties of a molecular switch. ChemPlusChem. 2016;81(1):44-48. doi:10.1002/cplu.201500417
View
| DOI
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 13389
Udayabhaskararao T, Kundu PK, Ahrens J, Klajn R. Reversible photoisomerization of spiropyran on the surfaces of Au25 nanoclusters. ChemPhysChem. 2016;17(12):1805-1809. doi:10.1002/cphc.201500897
View
| DOI
| PubMed | Europe PMC
2016 | Published | Other Publication | IST-REx-ID: 13388 |
Udayabhaskararao T, Kundu PK, Ahrens J, Klajn R. Inside Cover: Reversible Photoisomerization of Spiropyran on the Surfaces of Au25 Nanoclusters (ChemPhysChem 12/2016). Vol 17. Wiley; 2016:1711-1711. doi:10.1002/cphc.201600480
[Published Version]
View
| DOI
| Download Published Version (ext.)