Please note that IST 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.
374 Publications
2015 | Journal Article | IST-REx-ID: 1680
On the decidability of elementary modal logics
J. Michaliszyn, J. Otop, E. Kieroňski, ACM Transactions on Computational Logic 17 (2015).
View
| DOI
J. Michaliszyn, J. Otop, E. Kieroňski, ACM Transactions on Computational Logic 17 (2015).
2015 | Journal Article | IST-REx-ID: 1681 | 
Evolution of decisions in population games with sequentially searching individuals
T. Priklopil, K. Chatterjee, Games 6 (2015) 413–437.
View
| Files available
| DOI
T. Priklopil, K. Chatterjee, Games 6 (2015) 413–437.
2015 | Journal Article | IST-REx-ID: 1682 |
Robust satisfiability of systems of equations
P. Franek, M. Krcál, Journal of the ACM 62 (2015).
View
| DOI
| Download Preprint (ext.)
P. Franek, M. Krcál, Journal of the ACM 62 (2015).
2015 | Journal Article | IST-REx-ID: 1683
Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions
J.A. Letts, L.A. Sazanov, Current Opinion in Structural Biology 33 (2015) 135–145.
View
| DOI
J.A. Letts, L.A. Sazanov, Current Opinion in Structural Biology 33 (2015) 135–145.
2015 | Journal Article | IST-REx-ID: 1684 |
Numerous transitions of sex chromosomes in Diptera
B. Vicoso, D. Bachtrog, PLoS Biology 13 (2015).
View
| Files available
| DOI
B. Vicoso, D. Bachtrog, PLoS Biology 13 (2015).
2015 | Conference Paper | IST-REx-ID: 1685 |
A fixed parameter tractable approximation scheme for the optimal cut graph of a surface
V. Cohen Addad, A.N. de Mesmay, in:, Springer, 2015, pp. 386–398.
View
| DOI
| Download Preprint (ext.)
V. Cohen Addad, A.N. de Mesmay, in:, Springer, 2015, pp. 386–398.
2015 | Journal Article | IST-REx-ID: 1106
Mutations in either TUBB or MAPRE2 cause circumferential skin creases Kunze type
Isrie M, Breuss M, Tian G, Hansen AH, Cristofoli F, Morandell J, Kupchinsky ZA, Sifrim A, Rodriguez Rodriguez C, Dapena EP, Doonanco K, Leonard N, Tinsa F, Moortgat S, Ulucan H, Koparir E, Karaca E, Katsanis N, Marton V, Vermeesch JR, Davis EE, Cowan NJ, Keays D, Van Esch H. 2015. Mutations in either TUBB or MAPRE2 cause circumferential skin creases Kunze type. The American Journal of Human Genetics. 97(6), 790–800.
View
| DOI
Isrie M, Breuss M, Tian G, Hansen AH, Cristofoli F, Morandell J, Kupchinsky ZA, Sifrim A, Rodriguez Rodriguez C, Dapena EP, Doonanco K, Leonard N, Tinsa F, Moortgat S, Ulucan H, Koparir E, Karaca E, Katsanis N, Marton V, Vermeesch JR, Davis EE, Cowan NJ, Keays D, Van Esch H. 2015. Mutations in either TUBB or MAPRE2 cause circumferential skin creases Kunze type. The American Journal of Human Genetics. 97(6), 790–800.
2015 | Journal Article | IST-REx-ID: 120
Direct observation of particle interactions and clustering in charged granular streams
V. Lee, S.R. Waitukaitis, M. Miskin, H. Jaeger, Nature Physics 11 (2015) 733–737.
View
| DOI
V. Lee, S.R. Waitukaitis, M. Miskin, H. Jaeger, Nature Physics 11 (2015) 733–737.
2015 | Journal Article | IST-REx-ID: 121 |
Origami multistability: From single vertices to metasheets
S.R. Waitukaitis, R. Menaut, B. Chen, M. Van Hecke, APS Physics, Physical Review Letters 114 (2015).
View
| DOI
| Download Preprint (ext.)
| arXiv
S.R. Waitukaitis, R. Menaut, B. Chen, M. Van Hecke, APS Physics, Physical Review Letters 114 (2015).
2015 | Journal Article | IST-REx-ID: 886
Topological features of rugged fitness landscapes in sequence space
D. Kondrashov, F. Kondrashov, Trends in Genetics 31 (2015) 24–33.
View
| DOI
D. Kondrashov, F. Kondrashov, Trends in Genetics 31 (2015) 24–33.