en
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.
2595 Publications
2012 | Journal Article | IST-REx-ID: 3289 
A. Pereira et al., “A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization,” Journal of Virology, vol. 86, no. 1, pp. 172–184, 2012.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 3258
S. Kim, J. Guzmán, H. Hu, and P. M. Jonas, “Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons,” Nature Neuroscience, vol. 15, no. 4, pp. 600–606, 2012.
View
| Files available
| DOI
| Download (ext.)
| PubMed | Europe PMC
2012 | Conference Paper | IST-REx-ID: 3253
A. Bouajjani, C. Dragoi, C. Enea, and M. Sighireanu, “Abstract domains for automated reasoning about list manipulating programs with infinite data,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA, 2012, vol. 7148, pp. 1–22.
View
| DOI
2012 | Thesis | IST-REx-ID: 2964
S. Kim, Active properties of hippocampal CA3 pyramidal neuron dendrites. IST Austria, 2012.
View
| Files available
2012 | Journal Article | IST-REx-ID: 493
M. Tangermann et al., “Review of the BCI competition IV,” Frontiers in Neuroscience, vol. 6, 2012.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 498
M. Pickup, D. Field, D. Rowell, and A. Young, “Predicting local adaptation in fragmented plant populations: Implications for restoration genetics,” Evolutionary Applications, vol. 5, no. 8, pp. 913–924, 2012.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 506
M. K. Sixt, “Cell migration: Fibroblasts find a new way to get ahead,” Journal of Cell Biology, vol. 197, no. 3, pp. 347–349, 2012.
View
| Files available
| DOI
2012 | Report | IST-REx-ID: 5398
J. Porsche, Actual state of research data @ ISTAustria. IST Austria, 2012.
View
| Files available
2012 | Journal Article | IST-REx-ID: 3246
V. Barone and C.-P. J. Heisenberg, “Cell adhesion in embryo morphogenesis,” Current Opinion in Cell Biology, vol. 24, no. 1, pp. 148–153, 2012.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 1384
D. Beyer, T. A. Henzinger, M. Keremoglu, and P. Wendler, “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, 2012.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 3157
L. Diaz Jr et al., “The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers,” Nature, vol. 486, no. 7404, pp. 537–540, 2012.
View
| Files available
| DOI
| Download (ext.)
| PubMed | Europe PMC
2012 | Conference Paper | IST-REx-ID: 2957
K. Chatterjee and M. Tracol, “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 , 2012.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2012 | Journal Article | IST-REx-ID: 3260
K. Chatterjee, J. Reiter, and M. Nowak, “Evolutionary dynamics of biological auctions,” Theoretical Population Biology, vol. 81, no. 1, pp. 69–80, 2012.
View
| Files available
| DOI
| Download (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2263
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, pp. 1200–1203, 2012.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2302
T. A. Henzinger and M. Mateescu, “The propagation approach for computing biochemical reaction networks,” IEEE ACM Transactions on Computational Biology and Bioinformatics, vol. 10, no. 2, pp. 310–322, 2012.
View
| DOI
| PubMed | Europe PMC
2012 | Conference Paper | IST-REx-ID: 2903
H. Edelsbrunner and O. Symonova, “The adaptive topology of a digital image,” presented at the ISVD: International Symposium on Voronoi Diagrams in Science and Engineering, New Brunswick, NJ, USA , 2012, pp. 41–48.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2915
O. Kroemer, C. Lampert, and J. Peters, “Multi-modal learning for dynamic tactile sensing,” 2012.
View
2012 | Journal Article | IST-REx-ID: 2958
K. Allen, J. N. Rawlins, D. Bannerman, and J. L. Csicsvari, “Hippocampal place cells can encode multiple trial-dependent features through rate remapping,” Journal of Neuroscience, vol. 32, no. 42, pp. 14752–14766, 2012.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2941
N. Dolbilin, H. Edelsbrunner, and O. Musin, “On the optimality of functionals over triangulations of Delaunay sets,” Russian Mathematical Surveys, vol. 67, no. 4, pp. 781–783, 2012.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2946
A. Dueck, C. Ziegler, A. Eichner, E. Berezikov, and G. Meister, “MicroRNAs associated with the different human Argonaute proteins,” Nucleic Acids Research, vol. 40, no. 19, pp. 9850–9862, 2012.
View
| Files available
| DOI