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.
3144 Publications
2013 | Journal Article | IST-REx-ID: 3116
Chatterjee K, De Alfaro L, Faella M, Majumdar R, Raman V. Code aware resource management. Formal Methods in System Design. 2013;42(2):142-174. doi:10.1007/s10703-012-0170-4
View
| DOI
2013 | Journal Article | IST-REx-ID: 3261 |

Dubuis J, Tkačik G, Wieschaus E, Gregor T, Bialek W. Positional information, in bits. PNAS. 2013;110(41):16301-16308. doi:10.1073/pnas.1315642110
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Encyclopedia Article | IST-REx-ID: 3321
Quadrianto N, Lampert C. Kernel based learning. In: Dubitzky W, Wolkenhauer O, Cho K, Yokota H, eds. Encyclopedia of Systems Biology. Vol 3. Springer; 2013:1069-1069. doi:10.1007/978-1-4419-9863-7_604
View
| DOI
2013 | Thesis | IST-REx-ID: 1405 |

Zufferey D. Analysis of dynamic message passing programs. 2013.
View
| Files available
| Download Published Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2847 |

Bansal K, Koskinen E, Wies T, Zufferey D. Structural Counter Abstraction. Piterman N, Smolka S, eds. 2013;7795:62-77. doi:10.1007/978-3-642-36742-7_5
View
| Files available
| DOI
| Download Submitted Version (ext.)