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.




4032 Publications

2011 | Technical Report | IST-REx-ID: 5383 | OA
T. Wies, M. Muñiz, and V. Kuncak, On an efficient decision procedure for imperative tree data structures. IST Austria, 2011.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5384 | OA
K. Chatterjee and M. Tracol, Decidable problems for probabilistic automata on infinite words. IST Austria, 2011.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5385 | OA
U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, Temporal specifications with accumulative values. IST Austria, 2011.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5387 | OA
K. Chatterjee and L. Doyen, Energy and mean-payoff parity Markov decision processes. IST Austria, 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 6496 | OA
H. Park, P. Oikonomou, C. C. Guet, and P. Cluzel, “Noise underlies switching behavior of the bacterial flagellum,” Biophysical Journal, vol. 101, no. 10. Elsevier, pp. 2336–2340, 2011.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 9483 | OA
T.-F. Hsieh et al., “Regulation of imprinted gene expression in Arabidopsis endosperm,” Proceedings of the National Academy of Sciences, vol. 108, no. 5. National Academy of Sciences, pp. 1755–1762, 2011.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2011 | Other Publication | IST-REx-ID: 9522 | OA
D. Zilberman, Balancing parental contributions in plant embryonic gene activation, vol. 20, no. 6. Elsevier, 2011, pp. 735–736.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2011 | Conference Paper | IST-REx-ID: 9648 | OA
R. Gonzalez-Diaz, A. Ion, M. J. Jimenez, and R. Poyatos, “Incremental-decremental algorithm for computing AT-models and persistent homology,” in Computer Analysis of Images and Patterns, Seville, Spain, 2011, vol. 6854, pp. 286–293.
View | DOI | Download Published Version (ext.)
 
2011 | Conference Paper | IST-REx-ID: 9943 | OA
C. M. Sommer, C. Straehle, U. Köthe, and F. A. Hamprecht, “Ilastik: Interactive learning and segmentation toolkit,” in 2011 IEEE International Symposium on Biomedical Imaging: from Nano to Micro, Chicago, Illinois, USA, 2011.
View | DOI | Download Preprint (ext.)
 
2011 | Journal Article | IST-REx-ID: 3429
N. Plachta, M. T. Bollenbach, S. Pease, S. Fraser, and P. Pantazis, “Oct4 kinetics predict cell lineage patterning in the early mammalian embryo,” Nature Cell Biology, vol. 13, no. 2. Nature Publishing Group, pp. 117–123, 2011.
View | DOI
 

Search

Filter Publications