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, T. A., & Kirsch, C. (2004). A typed assembly language for real-time programs (pp. 104–113). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1017753.1017774
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4458
Henzinger, T. A., Jhala, R., Majumdar, R., & Mcmillan, K. (2004). Abstractions from proofs (pp. 232–244). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/964001.964021
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4459
Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Race checking by context inference (pp. 1–13). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/996841.996844
View
| DOI
2004 |
Published |
Book Chapter |
IST-REx-ID: 4461
Henzinger, T. A., Jhala, R., Majumdar, R., & Sanvido, M. (2004). Extreme model checking. In Verification: Theory and Practice (Vol. 2772, pp. 332–358). Springer. https://doi.org/10.1007/978-3-540-39910-0_16
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4525
Ghosal, A., Henzinger, T. A., Kirsch, C., & Sanvido, M. (2004). Event-driven programming with logical execution times (Vol. 2993, pp. 167–170). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/978-3-540-24743-2_24
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4555
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2004). Trading memory for randomness (pp. 206–217). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2004.10051
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 4556
Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T. A., & Palsberg, J. (2004). Stack size analysis for interrupt-driven programs. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2004.06.001
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4558
Chatterjee, K., Jurdziński, M., & Henzinger, T. A. (2004). Quantitative stochastic parity games (pp. 121–130). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
2004 |
Published |
Conference Paper |
IST-REx-ID: 4577
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). An eclipse plug-in for model checking (pp. 251–255). Presented at the IWPC: Program Comprehension, IEEE. https://doi.org/10.1109/WPC.2004.1311069
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4578
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). The BLAST query language for software verification (Vol. 3148, pp. 2–18). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/10.1007/978-3-540-27864-1_2
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4581
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Generating tests from counterexamples (pp. 326–335). Presented at the ICSE: Software Engineering, IEEE. https://doi.org/10.1109/ICSE.2004.1317455
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 11764
Goel, A., Henzinger, M., Plotkin, S., & Tardos, E. (2003). Scheduling data transfers in a network and the set scheduling problem. Journal of Algorithms. Elsevier. https://doi.org/10.1016/s0196-6774(03)00054-3
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 11766 |
Henzinger, M., & Leonardi, S. (2003). Scheduling multicasts on unit-capacity trees and meshes. Journal of Computer and System Sciences. Elsevier. 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, M., Chang, B.-W., Milch, B., & Brin, S. (2003). Query-free news search. In Proceedings of the 12th international conference on World Wide Web. Budapest, Hungary: Association for Computing Machinery. https://doi.org/10.1145/775152.775154
View
| Files available
| DOI
2003 |
Published |
Conference Paper |
IST-REx-ID: 11897
Bharat, K., & Henzinger, M. (2003). Improved algorithms for topic distillation in a hyperlinked environment. In 21st annual international ACM SIGIR conference on Research and development in information retrieval (pp. 104–111). Melbourne, Australia: Association for Computing Machinery. https://doi.org/10.1145/290941.290972
View
| DOI
2003 |
Published |
Conference Paper |
IST-REx-ID: 11909 |
Henzinger, M., Motwani, R., & Silverstein, C. (2003). Challenges in web search engines. In 18th International Joint Conference on Artificial Intelligence (pp. 1573–1579). Acapulco, Mexico: Association for Computing Machinery.
[Published Version]
View
| Download Published Version (ext.)
2003 |
Published |
Journal Article |
IST-REx-ID: 2623
Coesmans, M., Sillevis Smitt, P., Linden, D., Shigemoto, R., Hirano, T., Yamakawa, Y., … De Zeeuw, C. (2003). Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies. Annals of Neurology. Wiley-Blackwell. https://doi.org/10.1002/ana.10451
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2625
Minami, I., Kengaku, M., Smitt, S., Shigemoto, R., & Hirano, T. (2003). Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1046/j.1460-9568.2003.02499.x
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2626
Kaneda, K., Imanishi, M., Nambu, A., Shigemoto, R., & Takada, M. (2003). Differential expression patterns of mGluR1α in monkey nigral dopamine neurons. Neuroreport. Lippincott, Williams & Wilkins. https://doi.org/10.1097/01.wnr.0000074344.81633.e4
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2627
Kawakami, R., Shinohara, Y., Kato, Y., Sugiyama, H., Shigemoto, R., & Ito, I. (2003). Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal circuitry. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1082609
View
| DOI