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.
2645 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
2012 | Journal Article | IST-REx-ID: 2965
P. Danowski, “Kontext Open Access: Creative Commons,” Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare, vol. 65, no. 2, pp. 200–212, 2012.
View
| Files available
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 3127
N. Quadrianto, C. Lampert, and C. Chen, “The most persistent soft-clique in a set of sampled graphs,” in Proceedings of the 29th International Conference on Machine Learning, Edinburgh, United Kingdom, 2012, pp. 211–218.
View
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 3134
H. Edelsbrunner, B. Fasy, and G. Rote, “Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions,” in Proceedings of the twenty-eighth annual symposium on Computational geometry , Chapel Hill, NC, USA, 2012, pp. 91–100.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3242
M. Konrad et al., “Social transfer of pathogenic fungus promotes active immunisation in ant colonies,” PLoS Biology, vol. 10, no. 4, 2012.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3158
H. Schachtner et al., “Tissue inducible Lifeact expression allows visualization of actin dynamics in vivo and ex vivo,” European Journal of Cell Biology, vol. 91, no. 11–12, pp. 923–929, 2012.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2012 | Conference Paper | IST-REx-ID: 3280
K. Z. Pietrzak, “Subspace LWE,” presented at the TCC: Theory of Cryptography Conference, Taormina, Sicily, Italy, 2012, vol. 7194, pp. 548–563.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 3317
E. Eggermann, I. Bucurenciu, S. Goswami, and P. M. Jonas, “Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses,” Nature Reviews Neuroscience, vol. 13, no. 1, pp. 7–21, 2012.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3331
M. Kerber and M. Sagraloff, “A worst case bound for topology computation of algebraic curves,” Journal of Symbolic Computation, vol. 47, no. 3, pp. 239–258, 2012.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 3115
E. Berberich, D. Halperin, M. Kerber, and R. Pogalnikova, “Deconstructing approximate offsets,” Discrete & Computational Geometry, vol. 48, no. 4, pp. 964–989, 2012.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2012 | Journal Article | IST-REx-ID: 3836
A. Ghosal, D. Iercan, C. Kirsch, T. A. Henzinger, and A. Sangiovanni Vincentelli, “Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code,” Science of Computer Programming, vol. 77, no. 2, pp. 96–112, 2012.
View
| DOI
2012 | Journal Article | IST-REx-ID: 2972
K. Chatterjee and L. Doyen, “Energy parity games,” Theoretical Computer Science, vol. 458, pp. 49–60, 2012.
View
| Files available
| DOI
| arXiv
2012 | Conference Paper | IST-REx-ID: 3165
K. Chatterjee and M. Henzinger, “An O(n2) time algorithm for alternating Büchi games,” in Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Kyoto, Japan, 2012, pp. 1386–1399.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3254
K. Chatterjee, “The complexity of stochastic Müller games,” Information and Computation, vol. 211, pp. 29–48, 2012.
View
| DOI
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2048
S. Faust, K. Z. Pietrzak, and J. Schipper, “Practical leakage-resilient symmetric cryptography,” in Conference proceedings CHES 2012, Leuven, Belgium, 2012, vol. 7428, pp. 213–232.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2411
I. Ebersberger et al., “A consistent phylogenetic backbone for the fungi,” Molecular Biology and Evolution, vol. 29, no. 5, pp. 1319–1334, 2012.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2904
F. Pausinger, “Weak multipliers for generalized van der Corput sequences,” Journal de Theorie des Nombres des Bordeaux, vol. 24, no. 3, pp. 729–749, 2012.
View
| DOI
| Download (ext.)
2012 | Preprint | IST-REx-ID: 2928
V. Kolmogorov and T. Schoenemann, “Generalized sequential tree-reweighted message passing,” arXiv. ArXiv, 2012.
View
| Download (ext.)
| arXiv
2012 | Conference Paper | IST-REx-ID: 2930
A. Huber and V. Kolmogorov, “Towards minimizing k-submodular functions,” presented at the ISCO: International Symposium on Combinatorial Optimization, Athens, Greece, 2012, vol. 7422, pp. 451–462.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2959
C. Uhler, “Geometry of maximum likelihood estimation in Gaussian graphical models,” Annals of Statistics, vol. 40, no. 1, pp. 238–261, 2012.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2954
A. Pernia-Andrade, S. Goswami, Y. Stickler, U. Fröbe, A. Schlögl, and P. M. Jonas, “A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo,” Biophysical Journal, vol. 103, no. 7, pp. 1429–1439, 2012.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2966
S. Cremer, M. Suefuji, A. Schrempf, and J. Heinze, “The dynamics of male-male competition in Cardiocondyla obscurior ants,” BMC Ecology, vol. 12, 2012.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3159
Y. Mileyko, H. Edelsbrunner, C. Price, and J. Weitz, “Hierarchical ordering of reticular networks,” PLoS One, vol. 7, no. 6, 2012.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3161
M. Vyleta, J. Wong, and B. Magun, “Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome,” PLoS One, vol. 7, no. 5, 2012.
View
| Files available
| DOI