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.
3025 Publications
2013 | Journal Article | IST-REx-ID: 3116
Chatterjee, Krishnendu, et al. “Code Aware Resource Management.” Formal Methods in System Design, vol. 42, no. 2, Springer, 2013, pp. 142–74, doi:10.1007/s10703-012-0170-4.
View
| DOI
2013 | Journal Article | IST-REx-ID: 3261 |

Dubuis, Julien, et al. “Positional Information, in Bits.” PNAS, vol. 110, no. 41, National Academy of Sciences, 2013, pp. 16301–08, doi:10.1073/pnas.1315642110.
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Encyclopedia Article | IST-REx-ID: 3321
Quadrianto, Novi, and Christoph Lampert. “Kernel Based Learning.” Encyclopedia of Systems Biology, edited by Werner Dubitzky et al., vol. 3, Springer, 2013, pp. 1069–1069, doi:10.1007/978-1-4419-9863-7_604.
View
| DOI
2013 | Thesis | IST-REx-ID: 1405 |

Zufferey, Damien. Analysis of Dynamic Message Passing Programs. IST Austria, 2013.
View
| Files available
| Download Published Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2847 |

Bansal, Kshitij, et al. Structural Counter Abstraction. Edited by Nir Piterman and Scott Smolka, vol. 7795, Springer, 2013, pp. 62–77, doi:10.1007/978-3-642-36742-7_5.
View
| Files available
| DOI
| Download Submitted Version (ext.)