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 | Book Review | IST-REx-ID: 3814
M. Frotscher, P. M. Jonas, and R. Sloviter, “Synapses formed by normal and abnormal hippocampal mossy fibers (Review),” Cell and Tissue Research, vol. 326, no. 2. Springer, pp. 361–7, 2006.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3888
K. Chatterjee and T. A. Henzinger, “Strategy improvement for stochastic Rabin and Streett games,” presented at the CONCUR: Concurrency Theory, 2006, vol. 4137, pp. 375–389.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3890
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “The complexity of quantitative concurrent parity games,” presented at the SODA: Symposium on Discrete Algorithms, 2006, pp. 678–687.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3908
J. Ustinova, R. Achmann, S. Cremer, and F. Mayer, “Long repeats in a huge gemome: microsatellite loci in the grasshopper Chorthippus biguttulus,” Journal of Molecular Evolution, vol. 62, no. 2, pp. 158–167, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3934
M. Drumea Mirancea et al., “Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules,” Journal of Cell Science, vol. 119, no. Pt 7, pp. 1396–1405, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4184
M. Köppen, B. Fernández, L. Carvalho, A. Jacinto, and C. Heisenberg, “Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila,” Development, vol. 133, no. 14, pp. 2671–2681, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4235
H. Vladar and J. González, “Dynamic response of cancer under the influence of immunological activity and therapy,” Journal of Theoretical Biology, pp. 91–109, 2006.
View
 

2006 | Conference Paper | IST-REx-ID: 4374
O. Maler, D. Nickovic, and A. Pnueli, “From MITL to Timed Automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2006, pp. 274–289.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4406
M. De Wulf, L. Doyen, T. A. Henzinger, and J. Raskin, “Antichains: A new algorithm for checking universality of finite automata,” presented at the CAV: Computer Aided Verification, 2006, vol. 4144, pp. 17–30.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4432
T. A. Henzinger and V. Prabhu, “Timed alternating-time temporal logic,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2006, vol. 4202, pp. 1–17.
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed