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.
11374 Publications
2004 |
Published |
Conference Paper |
IST-REx-ID: 4445
Henzinger, Thomas A, and Christoph Kirsch. “A Typed Assembly Language for Real-Time Programs,” 104–13. ACM, 2004. https://doi.org/10.1145/1017753.1017774.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4458
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Kenneth Mcmillan. “Abstractions from Proofs,” 232–44. ACM, 2004. https://doi.org/10.1145/964001.964021.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4459
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Race Checking by Context Inference,” 1–13. ACM, 2004. https://doi.org/10.1145/996841.996844.
View
| DOI
2004 |
Published |
Book Chapter |
IST-REx-ID: 4461
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Marco Sanvido. “Extreme Model Checking.” In Verification: Theory and Practice, 2772:332–58. Springer, 2004. https://doi.org/10.1007/978-3-540-39910-0_16.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4525
Ghosal, Arkadeb, Thomas A Henzinger, Christoph Kirsch, and Marco Sanvido. “Event-Driven Programming with Logical Execution Times,” 2993:167–70. Springer, 2004. https://doi.org/10.1007/978-3-540-24743-2_24.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4555
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Trading Memory for Randomness,” 206–17. IEEE, 2004. https://doi.org/10.1109/QEST.2004.10051.
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 4556
Chatterjee, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger, and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs.” Information and Computation. Elsevier, 2004. https://doi.org/10.1016/j.ic.2004.06.001.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4558
Chatterjee, Krishnendu, Marcin Jurdziński, and Thomas A Henzinger. “Quantitative Stochastic Parity Games,” 121–30. SIAM, 2004.
View
2004 |
Published |
Conference Paper |
IST-REx-ID: 4577
Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “An Eclipse Plug-in for Model Checking,” 251–55. IEEE, 2004. https://doi.org/10.1109/WPC.2004.1311069 .
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4578
Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The BLAST Query Language for Software Verification,” 3148:2–18. Springer, 2004. https://doi.org/10.1007/978-3-540-27864-1_2.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4581
Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Generating Tests from Counterexamples,” 326–35. IEEE, 2004. https://doi.org/10.1109/ICSE.2004.1317455.
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 11764
Goel, Ashish, Monika Henzinger, Serge Plotkin, and Eva Tardos. “Scheduling Data Transfers in a Network and the Set Scheduling Problem.” Journal of Algorithms. Elsevier, 2003. https://doi.org/10.1016/s0196-6774(03)00054-3.
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 11766 |
Henzinger, Monika, and Stefano Leonardi. “Scheduling Multicasts on Unit-Capacity Trees and Meshes.” Journal of Computer and System Sciences. Elsevier, 2003. https://doi.org/10.1016/s0022-0000(03)00043-6.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2003 |
Published |
Conference Paper |
IST-REx-ID: 11860
Henzinger, Monika, Bay-Wei Chang, Brian Milch, and Sergey Brin. “Query-Free News Search.” In Proceedings of the 12th International Conference on World Wide Web. Association for Computing Machinery, 2003. https://doi.org/10.1145/775152.775154.
View
| Files available
| DOI
2003 |
Published |
Conference Paper |
IST-REx-ID: 11897
Bharat, Krishna, and Monika Henzinger. “Improved Algorithms for Topic Distillation in a Hyperlinked Environment.” In 21st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 104–111. Association for Computing Machinery, 2003. https://doi.org/10.1145/290941.290972.
View
| DOI
2003 |
Published |
Conference Paper |
IST-REx-ID: 11909 |
Henzinger, Monika, Rajeev Motwani, and Craig Silverstein. “Challenges in Web Search Engines.” In 18th International Joint Conference on Artificial Intelligence, 1573–79. Association for Computing Machinery, 2003.
[Published Version]
View
| Download Published Version (ext.)
2003 |
Published |
Journal Article |
IST-REx-ID: 2623
Coesmans, Michiel, Peter Sillevis Smitt, David Linden, Ryuichi Shigemoto, Tomoo Hirano, Yoshinori Yamakawa, Adriaan Van Alphen, et al. “Mechanisms Underlying Cerebellar Motor Deficits Due to MGluR1-Autoantibodies.” Annals of Neurology. Wiley-Blackwell, 2003. https://doi.org/10.1002/ana.10451.
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2625
Minami, Itsunari, Mineko Kengaku, Sillevis Smitt, Ryuichi Shigemoto, and Tomoo Hirano. “Long-Term Potentiation of MGluR1 Activity by Depolarization-Induced Homer1a in Mouse Cerebellar Purkinje Neurons.” European Journal of Neuroscience. Wiley-Blackwell, 2003. https://doi.org/10.1046/j.1460-9568.2003.02499.x.
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2626
Kaneda, Katsuyuki, Michiko Imanishi, Atsushi Nambu, Ryuichi Shigemoto, and Masahiko Takada. “Differential Expression Patterns of MGluR1α in Monkey Nigral Dopamine Neurons.” Neuroreport. Lippincott, Williams & Wilkins, 2003. https://doi.org/10.1097/01.wnr.0000074344.81633.e4.
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2627
Kawakami, Ryosuke, Yoshiaki Shinohara, Yuichiro Kato, Hiroyuki Sugiyama, Ryuichi Shigemoto, and Isao Ito. “Asymmetrical Allocation of NMDA Receptor Ε2 Subunits in Hippocampal Circuitry.” Science. American Association for the Advancement of Science, 2003. https://doi.org/10.1126/science.1082609.
View
| DOI