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
T. A. Henzinger and C. Kirsch, “A typed assembly language for real-time programs,” presented at the EMSOFT: Embedded Software , 2004, pp. 104–113.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4458
T. A. Henzinger, R. Jhala, R. Majumdar, and K. Mcmillan, “Abstractions from proofs,” presented at the POPL: Principles of Programming Languages, 2004, pp. 232–244.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4459
T. A. Henzinger, R. Jhala, and R. Majumdar, “Race checking by context inference,” presented at the PLDI: Programming Languages Design and Implementation, 2004, pp. 1–13.
View | DOI
 

2004 | Published | Book Chapter | IST-REx-ID: 4461
T. A. Henzinger, R. Jhala, R. Majumdar, and M. Sanvido, “Extreme model checking,” in Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–358.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4525
A. Ghosal, T. A. Henzinger, C. Kirsch, and M. Sanvido, “Event-driven programming with logical execution times,” presented at the HSCC: Hybrid Systems - Computation and Control, 2004, vol. 2993, pp. 167–170.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4555
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Trading memory for randomness,” presented at the QEST: Quantitative Evaluation of Systems, 2004, pp. 206–217.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 4556
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T. A. Henzinger, and J. Palsberg, “Stack size analysis for interrupt-driven programs,” Information and Computation, vol. 194, no. 2. Elsevier, pp. 144–174, 2004.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4558
K. Chatterjee, M. Jurdziński, and T. A. Henzinger, “Quantitative stochastic parity games,” presented at the SODA: Symposium on Discrete Algorithms, 2004, pp. 121–130.
View
 

2004 | Published | Conference Paper | IST-REx-ID: 4577
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “An eclipse plug-in for model checking,” presented at the IWPC: Program Comprehension, 2004, pp. 251–255.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4578
D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “The BLAST query language for software verification,” presented at the SAS: Static Analysis Symposium, 2004, vol. 3148, pp. 2–18.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4581
D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “Generating tests from counterexamples,” presented at the ICSE: Software Engineering, 2004, pp. 326–335.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 11764
A. Goel, M. Henzinger, S. Plotkin, and E. Tardos, “Scheduling data transfers in a network and the set scheduling problem,” Journal of Algorithms, vol. 48, no. 2. Elsevier, pp. 314–332, 2003.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 11766 | OA
M. Henzinger and S. Leonardi, “Scheduling multicasts on unit-capacity trees and meshes,” Journal of Computer and System Sciences, vol. 66, no. 3. Elsevier, pp. 567–611, 2003.
[Published Version] View | DOI | Download Published Version (ext.)
 

2003 | Published | Conference Paper | IST-REx-ID: 11860
M. Henzinger, B.-W. Chang, B. Milch, and S. Brin, “Query-free news search,” in Proceedings of the 12th international conference on World Wide Web, Budapest, Hungary, 2003.
View | Files available | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 11897
K. Bharat and M. Henzinger, “Improved algorithms for topic distillation in a hyperlinked environment,” in 21st annual international ACM SIGIR conference on Research and development in information retrieval, Melbourne, Australia, 2003, pp. 104–111.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 11909 | OA
M. Henzinger, R. Motwani, and C. Silverstein, “Challenges in web search engines,” in 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico, 2003, pp. 1573–1579.
[Published Version] View | Download Published Version (ext.)
 

2003 | Published | Journal Article | IST-REx-ID: 2623
M. Coesmans et al., “Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies,” Annals of Neurology, vol. 53, no. 3. Wiley-Blackwell, pp. 325–336, 2003.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 2625
I. Minami, M. Kengaku, S. Smitt, R. Shigemoto, and T. Hirano, “Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons,” European Journal of Neuroscience, vol. 17, no. 5. Wiley-Blackwell, pp. 1023–1032, 2003.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 2626
K. Kaneda, M. Imanishi, A. Nambu, R. Shigemoto, and M. Takada, “Differential expression patterns of mGluR1α in monkey nigral dopamine neurons,” Neuroreport, vol. 14, no. 7. Lippincott, Williams & Wilkins, pp. 947–950, 2003.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 2627
R. Kawakami, Y. Shinohara, Y. Kato, H. Sugiyama, R. Shigemoto, and I. Ito, “Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal circuitry,” Science, vol. 300, no. 5621. American Association for the Advancement of Science, pp. 990–994, 2003.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed