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.
7353 Publications
2016 | Published | Conference Paper | IST-REx-ID: 1390
QLOSE: Program repair with quantitative objectives
L. D’Antoni, R. Samanta, R. Singh, in:, Springer, 2016, pp. 383–401.
View
| DOI
L. D’Antoni, R. Samanta, R. Singh, in:, Springer, 2016, pp. 383–401.
2016 | Published | Conference Paper | IST-REx-ID: 1421
Scalable static hybridization methods for analysis of nonlinear systems
Bak, Stanley, Scalable static hybridization methods for analysis of nonlinear systems. 2016
View
| DOI
Bak, Stanley, Scalable static hybridization methods for analysis of nonlinear systems. 2016
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 | Journal Article | IST-REx-ID: 1148
Adaptive moment closure for parameter inference of biochemical reaction networks
C. Schilling, S. Bogomolov, T.A. Henzinger, A. Podelski, J. Ruess, Biosystems 149 (2016) 15–25.
View
| Files available
| DOI
C. Schilling, S. Bogomolov, T.A. Henzinger, A. Podelski, J. Ruess, Biosystems 149 (2016) 15–25.
2016 | Published | Conference Paper | IST-REx-ID: 1138 |
Quantitative automata under probabilistic semantics
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85.
2016 | Published | Conference Paper | IST-REx-ID: 1140 |
Model and objective separation with conditional lower bounds: disjunction is harder than conjunction
K. Chatterjee, W. Dvoák, M. Henzinger, V. Loitzenbauer, in:, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, W. Dvoák, M. Henzinger, V. Loitzenbauer, in:, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206.
2016 | Published | Conference Paper | IST-REx-ID: 1093 |
Linear distances between Markov chains
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| Files available
| DOI
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1227 |
Discrete abstraction of multiaffine systems
H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T.A. Henzinger, Y. Jiang, C. Schilling, in:, Springer, 2016, pp. 128–144.
[Submitted Version]
View
| Files available
| DOI
H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T.A. Henzinger, Y. Jiang, C. Schilling, in:, Springer, 2016, pp. 128–144.
2016 | Published | Conference Paper | IST-REx-ID: 1205 |
Safety assured formal model driven design of the multifunction vehicle bus controller
Jiang, Yu, Safety assured formal model driven design of the multifunction vehicle bus controller. 9995. 2016
[Submitted Version]
View
| Files available
| DOI
Jiang, Yu, Safety assured formal model driven design of the multifunction vehicle bus controller. 9995. 2016
2016 | Published | Conference Paper | IST-REx-ID: 1068 |
Conditionally optimal algorithms for generalized Büchi Games
Chatterjee, Krishnendu, Conditionally optimal algorithms for generalized Büchi Games. 58. 2016
[Published Version]
View
| Files available
| DOI
Chatterjee, Krishnendu, Conditionally optimal algorithms for generalized Büchi Games. 58. 2016
2016 | Published | Conference Paper | IST-REx-ID: 1090 |
Nested weighted limit-average automata of bounded width
Chatterjee, Krishnendu, Nested weighted limit-average automata of bounded width. 58. 2016
[Published Version]
View
| Files available
| DOI
Chatterjee, Krishnendu, Nested weighted limit-average automata of bounded width. 58. 2016
2016 | Published | Conference Paper | IST-REx-ID: 1438 |
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, in:, ACM, 2016, pp. 327–342.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, in:, ACM, 2016, pp. 327–342.
2016 | Published | Journal Article | IST-REx-ID: 1529 |
Optimal cost almost-sure reachability in POMDPs
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Artificial Intelligence 234 (2016) 26–48.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Artificial Intelligence 234 (2016) 26–48.
2016 | Published | Journal Article | IST-REx-ID: 1408 |
On computability and triviality of well groups
P. Franek, M. Krcál, Discrete & Computational Geometry 56 (2016) 126–164.
[Published Version]
View
| Files available
| DOI
P. Franek, M. Krcál, Discrete & Computational Geometry 56 (2016) 126–164.
2016 | Published | Thesis | IST-REx-ID: 1121 |
Selective barriers to horizontal gene transfer
H. Acar, Selective Barriers to Horizontal Gene Transfer, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
H. Acar, Selective Barriers to Horizontal Gene Transfer, Institute of Science and Technology Austria, 2016.
2016 | Published | Journal Article | IST-REx-ID: 1197 |
Error-robust modes of the retinal population code
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, PLoS Computational Biology 12 (2016).
[Published Version]
View
| Files available
| DOI
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, PLoS Computational Biology 12 (2016).
2016 | Published | Conference Paper | IST-REx-ID: 1097 |
Computational multicopter design
T. Du, A. Schulz, B. Zhu, B. Bickel, W. Matusik, in:, ACM, 2016.
[Submitted Version]
View
| Files available
| DOI
T. Du, A. Schulz, B. Zhu, B. Bickel, W. Matusik, in:, ACM, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1364 |
Computational design of stable planar-rod structures
E. Miguel Villalba, M. Lepoutre, B. Bickel, in:, ACM, 2016.
[Preprint]
View
| Files available
| DOI
E. Miguel Villalba, M. Lepoutre, B. Bickel, in:, ACM, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1099 |
FlexMolds: Automatic design of flexible shells for molding
L. Malomo, N. Pietroni, B. Bickel, P. Cignoni, in:, ACM, 2016.
[Submitted Version]
View
| Files available
| DOI
L. Malomo, N. Pietroni, B. Bickel, P. Cignoni, in:, ACM, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1349 |
When non-elitism outperforms elitism for crossing fitness valleys
P. Oliveto, T. Paixao, J. Heredia, D. Sudholt, B. Trubenova, in:, Proceedings of the Genetic and Evolutionary Computation Conference 2016 , ACM, 2016, pp. 1163–1170.
[Published Version]
View
| Files available
| DOI
P. Oliveto, T. Paixao, J. Heredia, D. Sudholt, B. Trubenova, in:, Proceedings of the Genetic and Evolutionary Computation Conference 2016 , ACM, 2016, pp. 1163–1170.