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.

358 Publications

2015 | Technical Report | IST-REx-ID: 5437   OA
Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs, IST Austria, 2015.
View | Files available | DOI

2015 | Technical Report | IST-REx-ID: 5444   OA
Reconstructing robust phylogenies of metastatic cancers
J. Reiter, A. Makohon-Moore, J. Gerold, I. Bozic, K. Chatterjee, C. Iacobuzio-Donahue, B. Vogelstein, M. Nowak, Reconstructing Robust Phylogenies of Metastatic Cancers, IST Austria, 2015.
View | Files available | DOI

2015 | Journal Article | IST-REx-ID: 594
Structural basis of transcription initiation by RNA polymerase II
S. Sainsbury, C.A. Bernecky, P. Cramer, Nature Reviews Molecular Cell Biology 16 (2015) 129–143.
View | DOI

2015 | Journal Article | IST-REx-ID: 6118   OA
Environmental CO2 inhibits Caenorhabditis elegans egg-laying by modulating olfactory neurons and evokes widespread changes in neural activity
L.A. Fenk, M. de Bono, Proceedings of the National Academy of Sciences 112 (2015) E3525–E3534.
View | Files available | DOI | PubMed | Europe PMC

2015 | Journal Article | IST-REx-ID: 6120   OA
Decoding a neural circuit controlling global animal state in C. elegans
P. Laurent, Z. Soltesz, G.M. Nelson, C. Chen, F. Arellano-Carbajal, E. Levy, M. de Bono, ELife 4 (2015) e04241.
View | Files available | DOI | PubMed | Europe PMC

Filters and Search Terms



Filter Publications

Display / Sort

Export / Embed