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, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Permissive Interfaces,” 31–40. ACM, 2005. https://doi.org/10.1145/1081706.1081713.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4457
Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Composable Code Generation for Distributed Giotto,” 21–30. ACM, 2005. https://doi.org/10.1145/1065910.1065914.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4536
Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Automatic Rectangular Refinement of Affine Hybrid Systems,” 3829:144–61. Springer, 2005. https://doi.org/DOI: 10.1007/11603009_13.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4541
Chatterjee, Krishnendu, and Thomas A Henzinger. “Semiperfect-Information Games,” 3821:1–18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005. https://doi.org/10.1007/11590156_1.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4553
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “The Complexity of Stochastic Rabin and Streett Games,” 3580:878–90. Springer, 2005. https://doi.org/10.1007/11523468_71.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4554
Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziński. “Mean-Payoff Parity Games,” 178–87. IEEE, 2005. https://doi.org/10.1109/LICS.2005.26.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4557
Chatterjee, Krishnendu, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Planning,” 104–11. AUAI Press, 2005.
View
| Download (ext.)
2005 |
Published |
Conference Paper |
IST-REx-ID: 4560
Chakrabarti, Arindam, Krishnendu Chatterjee, Thomas A Henzinger, Orna Kupferman, and Ritankar Majumdar. “Verifying Quantitative Properties Using Bound Functions,” 3725:50–64. Springer, 2005. https://doi.org/10.1007/11560548_7.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4576
Beyer, Dirk, Arindam Chakrabarti, and Thomas A Henzinger. “Web Service Interfaces,” 148–59. ACM, 2005. https://doi.org/10.1145/1060745.1060770.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4579
Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Checking Memory Safety with BLAST,” 3442:2–18. Springer, 2005. https://doi.org/10.1007/978-3-540-31984-9_2.
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 11762 |
Henzinger, Monika. “Algorithmic Challenges in Web Search Engines.” Internet Mathematics. Internet Mathematics, 2004. 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, Monika. “The Past, Present, and Future of Web Search Engines.” In 31st International Colloquium on Automata, Languages and Programming, 3142:3. Springer Nature, 2004. https://doi.org/10.1007/978-3-540-27836-8_2.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 11801
Henzinger, Monika. “Algorithmic Aspects of Web Search Engines.” In 2th Annual European Symposium on Algorithms, 3221:3. Springer Nature, 2004. https://doi.org/10.1007/978-3-540-30140-0_2.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 11859
Henzinger, Monika. “The Past, Present, and Future of Web Information Retrieval.” In SPIE Proceedings, 5296:23–26. Society of Photo-Optical Instrumentation Engineers, 2004. https://doi.org/10.1117/12.537534.
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 11877 |
Henzinger, Monika, and Steve Lawrence. “Extracting Knowledge from the World Wide Web.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2004. 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, Zhihua, Min Chen, Yifu Gong, Liang Guo, Qiumin Tan, Xiaoqi Feng, Xiaofen Sun, Feng Tan, and Kexuan Tang. “A New Geranylgeranyl Diphosphate Synthase Gene from Ginkgo Biloba, Which Intermediates the Biosynthesis of the Key Precursor for Ginkgolides.” DNA Sequence. Informa UK Limited, 2004. https://doi.org/10.1080/10425170410001667348.
View
| DOI
| PubMed | Europe PMC
2004 |
Published |
Book Review |
IST-REx-ID: 2636
Momiyama, Akiko, and Ryuichi Shigemoto. “Function and Distribution of Glutamate Receptors in the Central Synapses.” Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme. Kyoritsu Shuppan, 2004.
View
2004 |
Published |
Journal Article |
IST-REx-ID: 2638
Kulik, Ákos, Kazuhiko Nakadate, Akari Hagiwara, Yugo Fukazawa, Rafael Luján, Hiromitsu Saito, Noboru Suzuki, et al. “Immunocytochemical Localization of the Α1A Subunit of the P/Q-Type Calcium Channel in the Rat Cerebellum.” European Journal of Neuroscience. Wiley-Blackwell, 2004. https://doi.org/10.1111/j.0953-816X.2004.03319.x.
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 2639
Somogyi, Jozsef, Agnès Baude, Yuko Omori, Hidemi Shimizu, Salah El Mestikawy, Masahiro Fukaya, Ryuichi Shigemoto, Masahiko Watanabe, and Péter Somogyi. “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, 2004. https://doi.org/10.1111/j.0953-816X.2003.03091.x.
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 2640
Notomi, Takuya, and Ryuichi Shigemoto. “Immunohistochemical Localization of Ih Channel Subunits, HCN1-4, in the Rat Brain.” Journal of Comparative Neurology. Wiley-Blackwell, 2004. https://doi.org/10.1002/cne.11039.
View
| DOI