Please note that ISTA 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.

231 Publications


2006 | Published | Conference Paper | IST-REx-ID: 4552
Chatterjee K, De Alfaro L, Henzinger TA. 2006. Strategy improvement for concurrent reachability games. Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems. QEST: Quantitative Evaluation of Systems, 291–300.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4528
Fisher J, Henzinger TA. 2006. Executable biology. Proceedings of the 38th conference on Winter simulation. WSC: Winter Simulation Conference, 1675–1682.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4550
Chatterjee K, Henzinger TA, Jurdziński M. 2006. Games with secure equilibria. Theoretical Computer Science. 365(1–2), 67–82.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4437
Henzinger TA, Piterman N. 2006. Solving games without determinization. Proceedings of the 20th international conference on Computer Science Logic. CSL: Computer Science Logic, LNCS, vol. 4207, 395–410.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4436
Henzinger TA, Matic S. 2006. An interface algebra for real-time components. Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium. RTAS: Real-time and Embedded Technology and Applications Symposium, 253–266.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4523
Gulavani B, Henzinger TA, Kannan Y, Nori A, Rajamani S. 2006. Synergy: A new algorithm for property checking. Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering. FSE: Foundations of Software Engineering, 117–127.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4526
Ghosal A, Henzinger TA, Iercan D, Kirsch C, Sangiovanni Vincentelli A. 2006. A hierarchical coordination language for interacting real-time tasks. Proceedings of the 6th ACM & IEEE International conference on Embedded software. EMSOFT: Embedded Software , 132–141.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4451
Henzinger TA, Kupferman O, Majumdar R. 2006. On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. 354(2), 173–186.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4352
Conn J, Vineis J, Bollback JP, Onyabe D, Wilkerson R, Povoa M. 2006. Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil. The American Journal of Tropical Medicine and Hygiene. 74(5), 798–806.
View | Download None (ext.) | PubMed | Europe PMC
 

2006 | Published | 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. Proceedings of the 18th international conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 4144, 17–30.
View | DOI
 

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

2006 | Published | Conference Paper | IST-REx-ID: 4431
Henzinger TA, Sifakis J. 2006. The embedded systems design challenge. Proceedings of the 14th international conference on Formal Methods. FM: Formal Methods, LNCS, vol. 4085, 1–15.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4351
Bollback JP. 2006. SIMMAP: stochastic character mapping of discrete traits on phylogenies. BMC Bioinformatics. 7, 88.
View | DOI | PubMed | Europe PMC
 

2006 | Published | Journal Article | IST-REx-ID: 4248
Roze D, Barton NH. 2006. The Hill-Robertson effect and the evolution of recombination. Genetics. 173(3), 1793–1811.
View | DOI | PubMed | Europe PMC
 

2006 | Published | Book Review | IST-REx-ID: 4250
Barton NH. 2006. Evolutionary Biology: How did the human species form? Current Biology. 16(16), 647–650.
View | DOI | PubMed | Europe PMC
 

2006 | Published | Journal Article | IST-REx-ID: 4218
Blaser H, Reichman Fried M, Castanon I, Dumstrei K, Marlow F, Kawakami K, Solnica Krezel L, Heisenberg C-PJ, Raz E. 2006. Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow. Developmental Cell. 11(5), 613–627.
View | DOI | PubMed | Europe PMC
 

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

2006 | Published | Journal Article | IST-REx-ID: 4176
Link V, Carvalho L, Castanon I, Stockinger P, Shevchenko A, Heisenberg C-PJ. 2006. Identification of regulators of germ layer morphogenesis using proteomics in zebrafish. Journal of Cell Science. 119(10), 2073–2083.
View | DOI | PubMed | Europe PMC
 

2006 | Published | Journal Article | IST-REx-ID: 4178
Langenberg T, Dracz T, Oates A, Heisenberg C-PJ, Brand M. 2006. Analysis and visualization of cell movement in the developing zebrafish brain. Developmental Dynamics. 235(4), 928–933.
View | DOI | PubMed | Europe PMC
 

2006 | Published | Journal Article | IST-REx-ID: 4140
Witzel S, Zimyanin V, Carreira Barbosa F, Tada M, Heisenberg C-PJ. 2006. Wnt11 controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane. Journal of Cell Biology. 175(5), 791–802.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed