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.

184 Publications

2006 | Journal Article | IST-REx-ID: 3522
J. O’Neill, T. Senior, and J. L. Csicsvari, “Place-selective firing of CA1 pyramidal cells during sharp wave/ripple network patterns in exploratory behavior,” Neuron, vol. 49, no. 1, pp. 143–155, 2006.
View | DOI

2006 | Conference Paper | IST-REx-ID: 3560
H. Edelsbrunner, D. Morozov, and V. Pascucci, “Persistence-sensitive simplification of functions on 2-manifolds,” presented at the SCG: Symposium on Computational Geometry, 2006, pp. 127–134.
View | DOI | Download (ext.)

2006 | Journal Article | IST-REx-ID: 3914
K. Moder, B. Schlick Steiner, F. Steiner, S. Cremer, E. Christian, and B. Seifert, “Optimal species distinction by discriminant analysis: comparing established methods of character selection with a combination procedure using ant morphometrics as a case study,” Journal of Zoological Systematics and Evolutionary Research, vol. 45, no. 1, pp. 82–87, 2006.
View | DOI

2006 | Journal Article | IST-REx-ID: 4140
S. Witzel, V. Zimyanin, F. Carreira Barbosa, M. Tada, and C. Heisenberg, “Wnt11 controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane,” Journal of Cell Biology, vol. 175, no. 5, pp. 791–802, 2006.
View | DOI

2006 | Journal Article | IST-REx-ID: 4145
D. Tonelli et al., “Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid,” Biotechniques, vol. 41, no. 6, pp. 727–732, 2006.
View | DOI

2006 | Journal Article | IST-REx-ID: 4176
V. Link, L. Carvalho, I. Castanon, P. Stockinger, A. Shevchenko, and C. Heisenberg, “Identification of regulators of germ layer morphogenesis using proteomics in zebrafish,” Journal of Cell Science, vol. 119, no. 10, pp. 2073–2083, 2006.
View | DOI

2006 | Conference Paper | IST-REx-ID: 4373
O. Maler, D. Nickovic, and A. Pnueli, “Real Time Temporal Logic: Past, Present, Future,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2006, pp. 2–16.
View | DOI

2006 | Conference Paper | IST-REx-ID: 4359
T. Wies, V. Kuncak, P. Lam, A. Podelski, and M. Rinard, “Field Constraint Analysis,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, 2006, pp. 157–173.
View | DOI

2006 | Conference Paper | IST-REx-ID: 4431
T. A. Henzinger and J. Sifakis, “The embedded systems design challenge,” presented at the FM: Formal Methods, 2006, vol. 4085, pp. 1–15.
View | DOI

2006 | Conference Paper | IST-REx-ID: 4436
T. A. Henzinger and S. Matic, “An interface algebra for real-time components,” presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, 2006, pp. 253–266.
View | DOI

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed