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 TA, Kirsch C. 2004. A typed assembly language for real-time programs. EMSOFT: Embedded Software , 104–113.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4458
Henzinger TA, Jhala R, Majumdar R, Mcmillan K. 2004. Abstractions from proofs. POPL: Principles of Programming Languages, 232–244.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4459
Henzinger TA, Jhala R, Majumdar R. 2004. Race checking by context inference. PLDI: Programming Languages Design and Implementation, 1–13.
View | DOI
 

2004 | Published | Book Chapter | IST-REx-ID: 4461
Henzinger TA, Jhala R, Majumdar R, Sanvido M. 2004.Extreme model checking. In: Verification: Theory and Practice. LNCS, vol. 2772, 332–358.
View | DOI
 

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

2004 | Published | Conference Paper | IST-REx-ID: 4555
Chatterjee K, De Alfaro L, Henzinger TA. 2004. Trading memory for randomness. QEST: Quantitative Evaluation of Systems, 206–217.
View | DOI
 

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

2004 | Published | Conference Paper | IST-REx-ID: 4558
Chatterjee K, Jurdziński M, Henzinger TA. 2004. Quantitative stochastic parity games. SODA: Symposium on Discrete Algorithms, 121–130.
View
 

2004 | Published | Conference Paper | IST-REx-ID: 4577
Beyer D, Henzinger TA, Jhala R, Majumdar R. 2004. An eclipse plug-in for model checking. IWPC: Program Comprehension, 251–255.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4578
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. The BLAST query language for software verification. SAS: Static Analysis Symposium, LNCS, vol. 3148, 2–18.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4581
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. Generating tests from counterexamples. ICSE: Software Engineering, 326–335.
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. 48(2), 314–332.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 11766 | OA
Henzinger M, Leonardi S. 2003. Scheduling multicasts on unit-capacity trees and meshes. Journal of Computer and System Sciences. 66(3), 567–611.
[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. Proceedings of the 12th international conference on World Wide Web. WWW: International Conference on World Wide Web, 1–10.
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. 21st annual international ACM SIGIR conference on Research and development in information retrieval. SIGIR: International Conference on Research and Development in Information Retrieval, 104–111.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 11909 | OA
Henzinger M, Motwani R, Silverstein C. 2003. Challenges in web search engines. 18th International Joint Conference on Artificial Intelligence. IJCAI: International Joint Conference on Artificial Intelligence, 1573–1579.
[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, Van Alphen A, Luo C, Van Der Geest J, Kros J, Gaillard C, Frens M, De Zeeuw C. 2003. Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies. Annals of Neurology. 53(3), 325–336.
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. 17(5), 1023–1032.
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. 14(7), 947–950.
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. 300(5621), 990–994.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed