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.




3063 Publications

2013 | Encyclopedia Article | IST-REx-ID: 3321
N. Quadrianto and C. Lampert, “Kernel based learning,” in Encyclopedia of Systems Biology, vol. 3, W. Dubitzky, O. Wolkenhauer, K. Cho, and H. Yokota, Eds. Springer, 2013, pp. 1069–1069.
View | DOI
 
2013 | Thesis | IST-REx-ID: 1405 | OA
D. Zufferey, “Analysis of dynamic message passing programs,” IST Austria, 2013.
View | Files available | Download Published Version (ext.)
 
2013 | Conference Paper | IST-REx-ID: 2847 | OA
K. Bansal, E. Koskinen, T. Wies, and D. Zufferey, “Structural Counter Abstraction,” vol. 7795. Springer, pp. 62–77, 2013.
View | Files available | DOI | Download Submitted Version (ext.)
 
2013 | Conference Paper | IST-REx-ID: 2445 | OA
P. Cerny, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, and T. Tarrach, “Efficient synthesis for concurrency by semantics-preserving transformations,” presented at the CAV: Computer Aided Verification, St. Petersburg, Russia, 2013, vol. 8044, pp. 951–967.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2263 | OA
H. Liang, S. Hippenmeyer, and H. Ghashghaei, “A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors,” Biology open, vol. 1, no. 12. The Company of Biologists, pp. 1200–1203, 2012.
View | Files available | DOI
 

Filters and Search Terms

type<>research_data

Search

Filter Publications