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 | Journal Article | IST-REx-ID: 1462 | OA
T. Hausel, “Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform,” PNAS, vol. 103, no. 16. National Academy of Sciences, pp. 6120–6124, 2006.
View | DOI | Download (ext.)
 

2006 | Published | Journal Article | IST-REx-ID: 1715
V. Dudu, T. Bittig, E. Entchev, A. Kicheva, F. Julicher, and M. González Gaitán, “Postsynaptic mad signaling at the Drosophila neuromuscular junction,” Current Biology, vol. 16, no. 7. Cell Press, pp. 625–635, 2006.
View | Files available | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 18730 | OA
L. Ciotti, Z. Haiman, and J. P. Ostriker, “What does the local black hole mass distribution tell us about the evolution of the quasar luminosity function?,” in Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop, Venice, Italy, 2006, pp. 106–108.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2006 | Published | Conference Paper | IST-REx-ID: 18731 | OA
Z. Haiman, “The assembly of the first galaxies,” in Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop, Venice, Italy, 2006, pp. 316–323.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2006 | Published | Journal Article | IST-REx-ID: 1961
L. A. Sazanov and P. Hinchliffe, “Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus,” Science, vol. 311, no. 5766. American Association for the Advancement of Science, pp. 1430–1436, 2006.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 1966
P. Hinchliffe, J. Carroll, and L. A. Sazanov, “Identification of a novel subunit of respiratory complex I from Thermus thermophilus,” Biochemistry, vol. 45, no. 14. ACS, pp. 4413–4420, 2006.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4345
P. Danowski and L. Heller, “Bibliothek 2.0 - Die Bibliothek der Zukunft?,” Bibliotheksdienst, vol. 40, no. 11. De Gruyter, pp. 1250–1271, 2006.
View | DOI
 

2006 | Published | 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 | Published | 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 | Published | Conference Paper | IST-REx-ID: 4359
T. Wies, V. Kuncak, P. Lam, A. Podelski, and M. Rinard, “Field constraint analysis,” in 7th International Conference on Verification, Model Checking, and Abstract Interpretation, Charleston, SC, United States, 2006, vol. 3855, pp. 157–173.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4373
O. Maler, D. Nickovic, and A. Pnueli, “Real time temporal logic: Past, present, future,” in Third International Conference on Formal Modeling and Analysis of Timed Systems, Uppsala, Sweden, 2006, vol. 3829, pp. 2–16.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4374
O. Maler, D. Nickovic, and A. Pnueli, “From MITL to timed automata,” in 4th International Conference on Formal Modeling and Analysis of Timed Systems, Paris, France, 2006, vol. 4202, pp. 274–289.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4401
R. Alur, P. Cerny, and S. Zdancewic, “Preserving secrecy under refinement,” in 33rd International Colloquium on Automata, Languages and Programming, 2006, vol. 4052, pp. 107–118.
View | DOI
 

2006 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed