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 |
Hausel, T. (2006). Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0601337103
View
| DOI
| Download (ext.)
2006 |
Published |
Journal Article |
IST-REx-ID: 1715
Dudu, V., Bittig, T., Entchev, E., Kicheva, A., Julicher, F., & González Gaitán, M. (2006). Postsynaptic mad signaling at the Drosophila neuromuscular junction. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2006.02.061
View
| Files available
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 18730 |
Ciotti, L., Haiman, Z., & Ostriker, J. P. (2006). 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 (pp. 106–108). Berlin/Heidelberg: Springer Nature. https://doi.org/10.1007/10899892_25
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2006 |
Published |
Conference Paper |
IST-REx-ID: 18731 |
Haiman, Z. (2006). The assembly of the first galaxies. In Proceedings of the European Southern Observatory and Universitäts-Sternwarte München Workshop (pp. 316–323). Venice, Italy: Springer Nature. https://doi.org/10.1007/10899892_77
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2006 |
Published |
Journal Article |
IST-REx-ID: 1961
Sazanov, L. A., & Hinchliffe, P. (2006). Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1123809
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 1966
Hinchliffe, P., Carroll, J., & Sazanov, L. A. (2006). Identification of a novel subunit of respiratory complex I from Thermus thermophilus. Biochemistry. ACS. https://doi.org/10.1021/bi0600998
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4345
Danowski, P., & Heller, L. (2006). Bibliothek 2.0 - Die Bibliothek der Zukunft? Bibliotheksdienst. De Gruyter. https://doi.org/10.1515/bd.2006.40.11.1259
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4351
Bollback, J. P. (2006). SIMMAP: stochastic character mapping of discrete traits on phylogenies. BMC Bioinformatics. BioMed Central. https://doi.org/10.1186/1471-2105-7-88
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4352
Conn, J., Vineis, J., Bollback, J. P., 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. American Society of Tropical Medicine and Hygiene.
View
| Download (ext.)
2006 |
Published |
Conference Paper |
IST-REx-ID: 4359
Wies, T., Kuncak, V., Lam, P., Podelski, A., & Rinard, M. (2006). Field constraint analysis. In 7th International Conference on Verification, Model Checking, and Abstract Interpretation (Vol. 3855, pp. 157–173). Charleston, SC, United States: Springer. https://doi.org/10.1007/11609773_11
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4373
Maler, O., Nickovic, D., & Pnueli, A. (2006). Real time temporal logic: Past, present, future. In Third International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 3829, pp. 2–16). Uppsala, Sweden: Springer. https://doi.org/10.1007/11603009_2
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4374
Maler, O., Nickovic, D., & Pnueli, A. (2006). From MITL to timed automata. In 4th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 4202, pp. 274–289). Paris, France: Springer. https://doi.org/10.1007/11867340_20
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4401
Alur, R., Cerny, P., & Zdancewic, S. (2006). Preserving secrecy under refinement. In 33rd International Colloquium on Automata, Languages and Programming (Vol. 4052, pp. 107–118). Springer. https://doi.org/10.1007/11787006_10
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4406
De Wulf, M., Doyen, L., Henzinger, T. A., & Raskin, J. (2006). Antichains: A new algorithm for checking universality of finite automata (Vol. 4144, pp. 17–30). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/11817963_5
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4431
Henzinger, T. A., & Sifakis, J. (2006). The embedded systems design challenge (Vol. 4085, pp. 1–15). Presented at the FM: Formal Methods, Springer. https://doi.org/10.1007/11813040_1
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4432
Henzinger, T. A., & Prabhu, V. (2006). Timed alternating-time temporal logic (Vol. 4202, pp. 1–17). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/10.1007/11867340_1
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4436
Henzinger, T. A., & Matic, S. (2006). An interface algebra for real-time components (pp. 253–266). Presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, IEEE. https://doi.org/10.1109/RTAS.2006.11
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4437
Henzinger, T. A., & Piterman, N. (2006). Solving games without determinization (Vol. 4207, pp. 395–410). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/11874683_26
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4451
Henzinger, T. A., Kupferman, O., & Majumdar, R. (2006). On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2005.11.015
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4523
Gulavani, B., Henzinger, T. A., Kannan, Y., Nori, A., & Rajamani, S. (2006). Synergy: A new algorithm for property checking (pp. 117–127). Presented at the FSE: Foundations of Software Engineering, ACM. https://doi.org/10.1145/1181775.1181790
View
| DOI