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, Krishnendu, Luca De Alfaro, Marco Faella, Ritankar Majumdar, and Vishwanath Raman. “Code Aware Resource Management.” Formal Methods in System Design. Springer, 2013. https://doi.org/10.1007/s10703-012-0170-4.
View
| DOI
2013 | Journal Article | IST-REx-ID: 3261 |

Dubuis, Julien, Gašper Tkačik, Eric Wieschaus, Thomas Gregor, and William Bialek. “Positional Information, in Bits.” PNAS. National Academy of Sciences, 2013. https://doi.org/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.” In Encyclopedia of Systems Biology, edited by Werner Dubitzky, Olaf Wolkenhauer, Kwang Cho, and Hiroki Yokota, 3:1069–1069. Springer, 2013. https://doi.org/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, Eric Koskinen, Thomas Wies, and Damien Zufferey. “Structural Counter Abstraction.” Edited by Nir Piterman and Scott Smolka. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-36742-7_5.
View
| Files available
| DOI
| Download Submitted Version (ext.)