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.

6292 Publications


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

2006 | Journal Article | IST-REx-ID: 4218
H. Blaser et al., “Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow,” Developmental Cell, vol. 11, no. 5. Cell Press, pp. 613–627, 2006.
View | DOI
 

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

2006 | Journal Article | IST-REx-ID: 4237
H. de Vladar, “Density-dependence as a size-independent regulatory mechanism,” Journal of Theoretical Biology, vol. 238, no. 2. Elsevier, pp. 245–256, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4248
D. Roze and N. H. Barton, “The Hill-Robertson effect and the evolution of recombination,” Genetics, vol. 173, no. 3. Genetics Society of America, pp. 1793–1811, 2006.
View | DOI
 

2006 | Book Review | IST-REx-ID: 4250
N. H. Barton, “Evolutionary Biology: How did the human species form?,” Current Biology, vol. 16, no. 16. Cell Press, pp. 647–650, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4345
P. Danowski and L. Heller, “Bibliothek 2.0 - Die Bibliothek der Zukunft?,” Bibliotheksdienst, vol. 40, no. 11. Zentral- und Landesbibliothek Berlin, pp. 1250–1271, 2006.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 4351
J. P. Bollback, “SIMMAP: stochastic character mapping of discrete traits on phylogenies,” BMC Bioinformatics, vol. 7. BioMed Central, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4352
J. Conn, J. Vineis, J. P. Bollback, D. Onyabe, R. Wilkerson, and M. Povoa, “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, vol. 74, no. 5. American Society of Tropical Medicine and Hygiene, pp. 798–806, 2006.
View | Download (ext.)
 

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: 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: 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: 4401
R. Alur, P. Cerny, and S. Zdancewic, “Preserving Secrecy Under Refinement,” presented at the ICALP: Automata, Languages and Programming, 2006, pp. 107–118.
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: 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: 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
 

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
 

2006 | Conference Paper | IST-REx-ID: 4437
T. A. Henzinger and N. Piterman, “Solving games without determinization,” presented at the CSL: Computer Science Logic, 2006, vol. 4207, pp. 395–410.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4451
T. A. Henzinger, O. Kupferman, and R. Majumdar, “On the universal and existential fragments of the mu-calculus,” Theoretical Computer Science, vol. 354, no. 2. Elsevier, pp. 173–186, 2006.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4523
B. Gulavani, T. A. Henzinger, Y. Kannan, A. Nori, and S. Rajamani, “Synergy: A new algorithm for property checking,” presented at the FSE: Foundations of Software Engineering, 2006, pp. 117–127.
View | DOI
 

Search

Filter Publications