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.
11357 Publications
2005 |
Published |
Conference Paper |
IST-REx-ID: 4456
Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Permissive interfaces (pp. 31–40). Presented at the FSE: Foundations of Software Engineering, ACM. https://doi.org/10.1145/1081706.1081713
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4457
Henzinger, T. A., Kirsch, C., & Matic, S. (2005). Composable code generation for distributed Giotto (pp. 21–30). Presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, ACM. https://doi.org/10.1145/1065910.1065914
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4536
Doyen, L., Henzinger, T. A., & Raskin, J. (2005). Automatic rectangular refinement of affine hybrid systems (Vol. 3829, pp. 144–161). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/DOI: 10.1007/11603009_13
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4541
Chatterjee, K., & Henzinger, T. A. (2005). Semiperfect-information games (Vol. 3821, pp. 1–18). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/11590156_1
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4553
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2005). The complexity of stochastic Rabin and Streett games (Vol. 3580, pp. 878–890). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/11523468_71
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4554
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2005). Mean-payoff parity games (pp. 178–187). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2005.26
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4557
Chatterjee, K., Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Counterexample-guided planning (pp. 104–111). Presented at the UAI: Uncertainty in Artificial Intelligence, AUAI Press.
View
| Download (ext.)
2005 |
Published |
Conference Paper |
IST-REx-ID: 4560
Chakrabarti, A., Chatterjee, K., Henzinger, T. A., Kupferman, O., & Majumdar, R. (2005). Verifying quantitative properties using bound functions (Vol. 3725, pp. 50–64). Presented at the CHARME: Correct Hardware Design and Verification Methods, Springer. https://doi.org/10.1007/11560548_7
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4576
Beyer, D., Chakrabarti, A., & Henzinger, T. A. (2005). Web service interfaces (pp. 148–159). Presented at the WWW: World Wide Web Conference, ACM. https://doi.org/10.1145/1060745.1060770
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4579
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Checking memory safety with BLAST (Vol. 3442, pp. 2–18). Presented at the FASE: Fundamental Approaches To Software Engineering, Springer. https://doi.org/10.1007/978-3-540-31984-9_2
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 11762 |
Henzinger, M. (2004). Algorithmic challenges in web search engines. Internet Mathematics. Internet Mathematics. https://doi.org/10.1080/15427951.2004.10129079
[Published Version]
View
| DOI
| Download Published Version (ext.)
2004 |
Published |
Conference Paper |
IST-REx-ID: 11800
Henzinger, M. (2004). The past, present, and future of web search engines. In 31st International Colloquium on Automata, Languages and Programming (Vol. 3142, p. 3). Turku, Finland: Springer Nature. https://doi.org/10.1007/978-3-540-27836-8_2
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 11801
Henzinger, M. (2004). Algorithmic aspects of web search engines. In 2th Annual European Symposium on Algorithms (Vol. 3221, p. 3). Bergen, Norway: Springer Nature. https://doi.org/10.1007/978-3-540-30140-0_2
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 11859
Henzinger, M. (2004). The past, present, and future of web information retrieval. In SPIE Proceedings (Vol. 5296, pp. 23–26). San Jose, CA, United States: Society of Photo-Optical Instrumentation Engineers. https://doi.org/10.1117/12.537534
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 11877 |
Henzinger, M., & Lawrence, S. (2004). Extracting knowledge from the World Wide Web. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.0307528100
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2004 |
Published |
Journal Article |
IST-REx-ID: 12203
Liao, Z., Chen, M., Gong, Y., Guo, L., Tan, Q., Feng, X., … Tang, K. (2004). A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides. DNA Sequence. Informa UK Limited. https://doi.org/10.1080/10425170410001667348
View
| DOI
| PubMed | Europe PMC
2004 |
Published |
Book Review |
IST-REx-ID: 2636
Momiyama, A., & Shigemoto, R. (2004). Function and distribution of glutamate receptors in the central synapses. Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme. Kyoritsu Shuppan.
View
2004 |
Published |
Journal Article |
IST-REx-ID: 2638
Kulik, Á., Nakadate, K., Hagiwara, A., Fukazawa, Y., Luján, R., Saito, H., … Shigemoto, R. (2004). Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.0953-816X.2004.03319.x
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 2639
Somogyi, J., Baude, A., Omori, Y., Shimizu, H., El Mestikawy, S., Fukaya, M., … Somogyi, P. (2004). GABAergic basket cells expressing cholecystokinin contain vesicular glutamate transporter type 3 (VGLUT3) in their synaptic terminals in hippocampus and isocortex of the rat. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.0953-816X.2003.03091.x
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 2640
Notomi, T., & Shigemoto, R. (2004). Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat brain. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.11039
View
| DOI