Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5735 Publications
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).