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.
230 Publications
2006 |
Published |
Journal Article |
IST-REx-ID: 1462 |
Hausel, Tamás. “Betti Numbers of Holomorphic Symplectic Quotients via Arithmetic Fourier Transform.” PNAS, vol. 103, no. 16, National Academy of Sciences, 2006, pp. 6120–24, doi:10.1073/pnas.0601337103.
View
| DOI
| Download (ext.)
2006 |
Published |
Journal Article |
IST-REx-ID: 1715
Dudu, Veronika, et al. “Postsynaptic Mad Signaling at the Drosophila Neuromuscular Junction.” Current Biology, vol. 16, no. 7, Cell Press, 2006, pp. 625–35, doi:10.1016/j.cub.2006.02.061.
View
| Files available
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 18730 |
Ciotti, Luca, et al. “What Does the Local Black Hole Mass Distribution Tell Us about the Evolution of the Quasar Luminosity Function?” Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop, Springer Nature, 2006, pp. 106–08, doi:10.1007/10899892_25.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2006 |
Published |
Conference Paper |
IST-REx-ID: 18731 |
Haiman, Zoltán. “The Assembly of the First Galaxies.” Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop, Springer Nature, 2006, pp. 316–23, doi:10.1007/10899892_77.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2006 |
Published |
Journal Article |
IST-REx-ID: 1961
Sazanov, Leonid A., and Philip 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, 2006, pp. 1430–36, doi:10.1126/science.1123809.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 1966
Hinchliffe, Philip, et al. “Identification of a Novel Subunit of Respiratory Complex I from Thermus Thermophilus.” Biochemistry, vol. 45, no. 14, ACS, 2006, pp. 4413–20, doi:10.1021/bi0600998.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4345
Danowski, Patrick, and Lambert Heller. “Bibliothek 2.0 - Die Bibliothek Der Zukunft?” Bibliotheksdienst, vol. 40, no. 11, De Gruyter, 2006, pp. 1250–71, doi:10.1515/bd.2006.40.11.1259.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4351
Bollback, Jonathan P. “SIMMAP: Stochastic Character Mapping of Discrete Traits on Phylogenies.” BMC Bioinformatics, vol. 7, BioMed Central, 2006, doi:10.1186/1471-2105-7-88.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4352
Conn, Jan, et al. “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, 2006, pp. 798–806.
View
| Download (ext.)
2006 |
Published |
Conference Paper |
IST-REx-ID: 4359
Wies, Thomas, et al. “Field Constraint Analysis.” 7th International Conference on Verification, Model Checking, and Abstract Interpretation, vol. 3855, Springer, 2006, pp. 157–73, doi:10.1007/11609773_11.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4373
Maler, Oded, et al. “Real Time Temporal Logic: Past, Present, Future.” Third International Conference on Formal Modeling and Analysis of Timed Systems, vol. 3829, Springer, 2006, pp. 2–16, doi:10.1007/11603009_2.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4374
Maler, Oded, et al. “From MITL to Timed Automata.” 4th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 4202, Springer, 2006, pp. 274–89, doi:10.1007/11867340_20.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4401
Alur, Rajeev, et al. “Preserving Secrecy under Refinement.” 33rd International Colloquium on Automata, Languages and Programming, vol. 4052, Springer, 2006, pp. 107–18, doi:10.1007/11787006_10.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4406
De Wulf, Martin, et al. Antichains: A New Algorithm for Checking Universality of Finite Automata. Vol. 4144, Springer, 2006, pp. 17–30, doi:10.1007/11817963_5.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4431
Henzinger, Thomas A., and Joseph Sifakis. The Embedded Systems Design Challenge. Vol. 4085, Springer, 2006, pp. 1–15, doi:10.1007/11813040_1.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4432
Henzinger, Thomas A., and Vinayak Prabhu. Timed Alternating-Time Temporal Logic. Vol. 4202, Springer, 2006, pp. 1–17, doi:10.1007/11867340_1.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4436
Henzinger, Thomas A., and Slobodan Matic. An Interface Algebra for Real-Time Components. IEEE, 2006, pp. 253–66, doi:10.1109/RTAS.2006.11.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4437
Henzinger, Thomas A., and Nir Piterman. Solving Games without Determinization. Vol. 4207, Springer, 2006, pp. 395–410, doi:10.1007/11874683_26.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4451
Henzinger, Thomas A., et al. “On the Universal and Existential Fragments of the Mu-Calculus.” Theoretical Computer Science, vol. 354, no. 2, Elsevier, 2006, pp. 173–86, doi:10.1016/j.tcs.2005.11.015.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4523
Gulavani, Bhargav, et al. Synergy: A New Algorithm for Property Checking. ACM, 2006, pp. 117–27, doi:10.1145/1181775.1181790.
View
| DOI