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.




2616 Publications

2012 | Journal Article | IST-REx-ID: 506   OA
Sixt, M. K. (2012). Cell migration: Fibroblasts find a new way to get ahead. Journal of Cell Biology, 197(3), 347–349. https://doi.org/10.1083/jcb.201204039
View | Files available | DOI
 
2012 | Report | IST-REx-ID: 5398   OA
Porsche, J. (2012). Actual state of research data @ ISTAustria. IST Austria.
View | Files available
 
2012 | Journal Article | IST-REx-ID: 3246
Barone, V., & Heisenberg, C.-P. J. (2012). Cell adhesion in embryo morphogenesis. Current Opinion in Cell Biology, 24(1), 148–153. https://doi.org/10.1016/j.ceb.2011.11.006
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 1384   OA
Beyer, D., Henzinger, T. A., Keremoglu, M., & Wendler, P. (2012). Conditional model checking: A technique to pass information between verifiers. In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. Cary, NC, USA: ACM. https://doi.org/10.1145/2393596.2393664
View | DOI | Download (ext.)
 
2012 | Journal Article | IST-REx-ID: 3157   OA
Diaz Jr, L., Williams, R., Wu, J., Kinde, I., Hecht, J., Berlin, J., … Vogelstein, B. (2012). The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature, 486(7404), 537–540. https://doi.org/10.1038/nature11219
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 
2012 | Conference Paper | IST-REx-ID: 2957   OA
Chatterjee, K., & Tracol, M. (2012). Decidable problems for probabilistic automata on infinite words. In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. Dubrovnik, Croatia : IEEE. https://doi.org/10.1109/LICS.2012.29
View | Files available | DOI | Download (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 3260   OA
Chatterjee, K., Reiter, J., & Nowak, M. (2012). Evolutionary dynamics of biological auctions. Theoretical Population Biology, 81(1), 69–80. https://doi.org/10.1016/j.tpb.2011.11.003
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2263   OA
Liang, H., Hippenmeyer, S., & Ghashghaei, H. (2012). A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors. Biology Open, 1(12), 1200–1203. https://doi.org/10.1242/bio.20122287
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2302
Henzinger, T. A., & Mateescu, M. (2012). The propagation approach for computing biochemical reaction networks. IEEE ACM Transactions on Computational Biology and Bioinformatics, 10(2), 310–322. https://doi.org/10.1109/TCBB.2012.91
View | DOI | PubMed | Europe PMC
 
2012 | Conference Paper | IST-REx-ID: 2903   OA
Edelsbrunner, H., & Symonova, O. (2012). The adaptive topology of a digital image (pp. 41–48). Presented at the ISVD: International Symposium on Voronoi Diagrams in Science and Engineering, New Brunswick, NJ, USA : IEEE. https://doi.org/10.1109/ISVD.2012.11
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed