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.
10605 Publications
2017 | Published | Conference Paper | IST-REx-ID: 663 | 
Kong, Hui, Safety verification of nonlinear hybrid systems based on invariant clusters. Proceedings of the 20th International Conference on Hybrid Systems. 2017
[Submitted Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 432 |
Zhang, Hantian, ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning. Proceedings of Machine Learning Research 70. 2017
[Submitted Version]
View
| Files available
2017 | Published | Conference Paper | IST-REx-ID: 551 |
Chatterjee, Krishnendu, Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. Leibniz International Proceedings in Informatics 83. 2017
[Published Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 553 |
Chatterjee, Krishnendu, Strategy complexity of concurrent safety games. Leibniz International Proceedings in Informatics 83. 2017
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 912 |
Deuchert, Andreas, A lower bound for the BCS functional with boundary conditions at infinity. Journal of Mathematical Physics 58 (8). 2017
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Published | Journal Article | IST-REx-ID: 687 |
Davison, Ben, The critical CoHA of a quiver with potential. Quarterly Journal of Mathematics 68 (2). 2017
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 470 |
Jeschke S, Wojtan C. 2017. Water wave packets. ACM Transactions on Graphics. 36(4), 103.
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 839 |
Hahn D. 2017. Brittle fracture simulation with boundary elements for computer graphics. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5568 |
Hahn D. 2017. Source codes: Brittle fracture simulation with boundary elements for computer graphics, Institute of Science and Technology Austria, 10.15479/AT:ISTA:73.
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5560 |
Bergmiller T, Andersson AM, Tomasek K, Balleza E, Kiviet D, Hauschild R, Tkačik G, Guet CC. 2017. Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity, Institute of Science and Technology Austria, 10.15479/AT:ISTA:53.
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 665
Bergmiller, Tobias, Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity. Science 356 (6335). 2017
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 685 |
Briscoe J, Kicheva A. 2017. The physics of development 100 years after D’Arcy Thompson’s “on growth and form”. Mechanisms of Development. 145, 26–31.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 654 |
Kicheva A, Rivron N. 2017. Creating to understand – developmental biology meets engineering in Paris. Development. 144(5), 733–736.
[Submitted Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 745 |
Xu, Duo, Transition to turbulence in pulsating pipe flow. Journal of Fluid Mechanics 831. 2017
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1087 |
Song, Baofang, Speed and structure of turbulent fronts in pipe flow. Journal of Fluid Mechanics 813. 2017
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Published | Journal Article | IST-REx-ID: 670 |
Schreck C, Rohmer D, Hahmann S. 2017. Interactive paper tearing. Computer Graphics Forum. 36(2), 95–106.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 | Published | Thesis | IST-REx-ID: 992 |
Rolinek M. 2017. Complexity of constraint satisfaction. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 915 |
Swoboda P, Andres B. 2017. A message passing algorithm for the minimum cost multicut problem. CVPR: Computer Vision and Pattern Recognition vol. 2017, 4990–4999.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 916 |
Swoboda P, Rother C, Abu Alhaija C, Kainmueller D, Savchynskyy B. 2017. A study of lagrangean decompositions and dual ascent solvers for graph matching. CVPR: Computer Vision and Pattern Recognition vol. 2017, 7062–7071.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 917 |
Swoboda P, Kuske J, Savchynskyy B. 2017. A dual ascent framework for Lagrangean decomposition of combinatorial problems. CVPR: Computer Vision and Pattern Recognition vol. 2017, 4950–4960.
[Submitted Version]
View
| Files available
| DOI
| WoS