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 K, De Alfaro L, Faella M, Majumdar R, Raman V. 2013. Code aware resource management. Formal Methods in System Design. 42(2), 142–174.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 3261 | OA
Dubuis J, Tkačik G, Wieschaus E, Gregor T, Bialek W. 2013. Positional information, in bits. PNAS. 110(41), 16301–16308.
View | Files available | DOI | PubMed | Europe PMC
 
2013 | Encyclopedia Article | IST-REx-ID: 3321
Quadrianto N, Lampert C. 2013.Kernel based learning. In: Encyclopedia of Systems Biology. vol. 3, 1069–1069.
View | DOI
 
2013 | Thesis | IST-REx-ID: 1405 | OA
Zufferey D. 2013. Analysis of dynamic message passing programs. IST Austria.
View | Files available | Download Published Version (ext.)
 
2013 | Conference Paper | IST-REx-ID: 2847 | OA
Bansal K, Koskinen E, Wies T, Zufferey D. 2013. Structural Counter Abstraction (eds. N. Piterman & S. Smolka). 7795, 62–77.
View | Files available | DOI | Download Submitted Version (ext.)
 

Search

Filter Publications