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
2014 | Published | Conference Paper | IST-REx-ID: 1702 | 
Generalised interpolation by solving recursion free-horn clauses
A. Gupta, C. Popeea, A. Rybalchenko, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2014, pp. 31–38.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
A. Gupta, C. Popeea, A. Rybalchenko, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2014, pp. 31–38.
2014 | Published | Journal Article | IST-REx-ID: 2226 |
Transient growth of Ekman-Couette flow
L. Shi, B. Hof, A. Tilgner, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
L. Shi, B. Hof, A. Tilgner, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).
2014 | Published | Conference Paper | IST-REx-ID: 2190 |
From LTL to deterministic automata: A safraless compositional approach
J. Esparza, J. Kretinsky, in:, Springer, 2014, pp. 192–208.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
J. Esparza, J. Kretinsky, in:, Springer, 2014, pp. 192–208.
2014 | Published | Journal Article | IST-REx-ID: 2184 |
Computing all maps into a sphere
M. Čadek, M. Krcál, J. Matoušek, F. Sergeraert, L. Vokřínek, U. Wagner, Journal of the ACM 61 (2014).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Čadek, M. Krcál, J. Matoušek, F. Sergeraert, L. Vokřínek, U. Wagner, Journal of the ACM 61 (2014).
2014 | Published | Journal Article | IST-REx-ID: 2186 |
On the well-posedness and scattering for the Gross-Pitaevskii hierarchy via quantum de Finetti
T. Chen, C. Hainzl, N. Pavlović, R. Seiringer, Letters in Mathematical Physics 104 (2014) 871–891.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
T. Chen, C. Hainzl, N. Pavlović, R. Seiringer, Letters in Mathematical Physics 104 (2014) 871–891.
2014 | Published | Journal Article | IST-REx-ID: 2257 |
Searching for collective behavior in a large network of sensory neurons
G. Tkačik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, M. Berry, PLoS Computational Biology 10 (2014).
[Published Version]
View
| Files available
| DOI
G. Tkačik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, M. Berry, PLoS Computational Biology 10 (2014).
2014 | Published | Journal Article | IST-REx-ID: 1733 |
Interface simulation distances
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 560 (2014) 348–363.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 560 (2014) 348–363.
2014 | Published | Journal Article | IST-REx-ID: 2246 |
Alternating traps in Muller and parity games
A. Grinshpun, P. Phalitnonkiat, S. Rubin, A. Tarfulea, Theoretical Computer Science 521 (2014) 73–91.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
A. Grinshpun, P. Phalitnonkiat, S. Rubin, A. Tarfulea, Theoretical Computer Science 521 (2014) 73–91.
2014 | Published | Journal Article | IST-REx-ID: 2029 |
Validity of spin-wave theory for the quantum Heisenberg model
M. Correggi, A. Giuliani, R. Seiringer, EPL 108 (2014).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
M. Correggi, A. Giuliani, R. Seiringer, EPL 108 (2014).
2014 | Published | Journal Article | IST-REx-ID: 2699 |
Universality of general β-ensembles
L. Erdös, P. Bourgade, H. Yau, Duke Mathematical Journal 163 (2014) 1127–1190.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Erdös, P. Bourgade, H. Yau, Duke Mathematical Journal 163 (2014) 1127–1190.
2014 | Published | Journal Article | IST-REx-ID: 1896 |
Mathematical model of alternative mechanism of telomere length maintenance
R. Kollár, K. Bodova, J. Nosek, Ľ. Tomáška, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
R. Kollár, K. Bodova, J. Nosek, Ľ. Tomáška, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).
2014 | Published | Conference Paper | IST-REx-ID: 1507 |
Random matrices, log-gases and Hölder regularity
L. Erdös, in:, Proceedings of the International Congress of Mathematicians, International Congress of Mathematicians, 2014, pp. 214–236.
[Submitted Version]
View
| Download Submitted Version (ext.)
| arXiv
L. Erdös, in:, Proceedings of the International Congress of Mathematicians, International Congress of Mathematicians, 2014, pp. 214–236.
2014 | Published | Journal Article | IST-REx-ID: 1842 |
On the geometric ramsey number of outerplanar graphs
J. Cibulka, P. Gao, M. Krcál, T. Valla, P. Valtr, Discrete & Computational Geometry 53 (2014) 64–79.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
J. Cibulka, P. Gao, M. Krcál, T. Valla, P. Valtr, Discrete & Computational Geometry 53 (2014) 64–79.
2014 | Published | Conference Paper | IST-REx-ID: 2171 |
Closed-form approximate CRF training for scalable image segmentation
A. Kolesnikov, M. Guillaumin, V. Ferrari, C. Lampert, in:, D. Fleet, T. Pajdla, B. Schiele, T. Tuytelaars (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 550–565.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
A. Kolesnikov, M. Guillaumin, V. Ferrari, C. Lampert, in:, D. Fleet, T. Pajdla, B. Schiele, T. Tuytelaars (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 550–565.
2014 | Published | Journal Article | IST-REx-ID: 2174 |
Stability and response of polygenic traits to stabilizing selection and mutation
H. De Vladar, N.H. Barton, Genetics 197 (2014) 749–767.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
H. De Vladar, N.H. Barton, Genetics 197 (2014) 749–767.
2014 | Published | Journal Article | IST-REx-ID: 2183 |
Hierarchy and polysynchrony in an adaptive network
V. Botella Soler, P. Glendinning, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Botella Soler, P. Glendinning, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).
2014 | Published | Journal Article | IST-REx-ID: 2178 |
Markov degree of the three-state toric homogeneous Markov chain model
D. Haws, A. Martin del Campo Sanchez, A. Takemura, R. Yoshida, Beitrage Zur Algebra Und Geometrie 55 (2014) 161–188.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
D. Haws, A. Martin del Campo Sanchez, A. Takemura, R. Yoshida, Beitrage Zur Algebra Und Geometrie 55 (2014) 161–188.
2014 | Published | Technical Report | IST-REx-ID: 5428 |
Quantitative fair simulation games
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Quantitative Fair Simulation Games, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Quantitative Fair Simulation Games, IST Austria, 2014.
2014 | Published | Journal Article | IST-REx-ID: 1902 |
Growth rates made easy
B. Hall, H. Acar, A. Nandipati, M. Barlow, Molecular Biology and Evolution 31 (2014) 232–238.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
B. Hall, H. Acar, A. Nandipati, M. Barlow, Molecular Biology and Evolution 31 (2014) 232–238.
2014 | Published | Conference Paper | IST-REx-ID: 1903 |
Partial-observation stochastic reachability and parity games
K. Chatterjee, in:, Springer, 2014, pp. 1–4.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, in:, Springer, 2014, pp. 1–4.