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.

191 Publications


2006 | Book Review | IST-REx-ID: 3814
Frotscher M, Jonas PM, Sloviter R. 2006. Synapses formed by normal and abnormal hippocampal mossy fibers (Review). Cell and Tissue Research. 326(2), 361–7.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3888
Chatterjee K, Henzinger TA. 2006. Strategy improvement for stochastic Rabin and Streett games. CONCUR: Concurrency Theory, LNCS, vol. 4137. 375–389.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3890
Chatterjee K, De Alfaro L, Henzinger TA. 2006. The complexity of quantitative concurrent parity games. SODA: Symposium on Discrete Algorithms 678–687.
View | DOI
 

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

2006 | Journal Article | IST-REx-ID: 3934
Drumea Mirancea M, Wessels J, Müller C, Essl M, Eble J, Tolosa E, Koch M, Reinhardt D, Sixt MK, Sorokin L, Stierhof Y, Schwarz H, Klein G. 2006. Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules. Journal of Cell Science. 119(Pt 7), 1396–1405.
View | DOI
 

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

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

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

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

2006 | Conference Paper | IST-REx-ID: 4432
Henzinger TA, Prabhu V. 2006. Timed alternating-time temporal logic. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4202. 1–17.
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed