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
T. A. Henzinger, R. Jhala, and R. Majumdar, “Permissive interfaces,” presented at the FSE: Foundations of Software Engineering, 2005, pp. 31–40.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4457
T. A. Henzinger, C. Kirsch, and S. Matic, “Composable code generation for distributed Giotto,” presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, 2005, pp. 21–30.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4536
L. Doyen, T. A. Henzinger, and J. Raskin, “Automatic rectangular refinement of affine hybrid systems,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2005, vol. 3829, pp. 144–161.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4541
K. Chatterjee and T. A. Henzinger, “Semiperfect-information games,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, 2005, vol. 3821, pp. 1–18.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4553
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “The complexity of stochastic Rabin and Streett games,” presented at the ICALP: Automata, Languages and Programming, 2005, vol. 3580, pp. 878–890.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4554
K. Chatterjee, T. A. Henzinger, and M. Jurdziński, “Mean-payoff parity games,” presented at the LICS: Logic in Computer Science, 2005, pp. 178–187.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4557
K. Chatterjee, T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided planning,” presented at the UAI: Uncertainty in Artificial Intelligence, 2005, pp. 104–111.
View | Download (ext.)
 

2005 | Published | Conference Paper | IST-REx-ID: 4560
A. Chakrabarti, K. Chatterjee, T. A. Henzinger, O. Kupferman, and R. Majumdar, “Verifying quantitative properties using bound functions,” presented at the CHARME: Correct Hardware Design and Verification Methods, 2005, vol. 3725, pp. 50–64.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4576
D. Beyer, A. Chakrabarti, and T. A. Henzinger, “Web service interfaces,” presented at the WWW: World Wide Web Conference, 2005, pp. 148–159.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4579
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “Checking memory safety with BLAST,” presented at the FASE: Fundamental Approaches To Software Engineering, 2005, vol. 3442, pp. 2–18.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 11762 | OA
M. Henzinger, “Algorithmic challenges in web search engines,” Internet Mathematics, vol. 1, no. 1. Internet Mathematics, pp. 115–123, 2004.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 11800
M. Henzinger, “The past, present, and future of web search engines,” in 31st International Colloquium on Automata, Languages and Programming, Turku, Finland, 2004, vol. 3142, p. 3.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 11801
M. Henzinger, “Algorithmic aspects of web search engines,” in 2th Annual European Symposium on Algorithms, Bergen, Norway, 2004, vol. 3221, p. 3.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 11859
M. Henzinger, “The past, present, and future of web information retrieval,” in SPIE Proceedings, San Jose, CA, United States, 2004, vol. 5296, pp. 23–26.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 11877 | OA
M. Henzinger and S. Lawrence, “Extracting knowledge from the World Wide Web,” Proceedings of the National Academy of Sciences, vol. 101, no. suppl_1. Proceedings of the National Academy of Sciences, pp. 5186–5191, 2004.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2004 | Published | Journal Article | IST-REx-ID: 12203
Z. Liao et al., “A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides,” DNA Sequence, vol. 15, no. 2. Informa UK Limited, pp. 153–158, 2004.
View | DOI | PubMed | Europe PMC
 

2004 | Published | Book Review | IST-REx-ID: 2636
A. Momiyama and R. Shigemoto, “Function and distribution of glutamate receptors in the central synapses,” Tanpakushitsu kakusan koso Protein nucleic acid enzyme, vol. 49, no. 3 Suppl. Kyoritsu Shuppan, pp. 287–294, 2004.
View
 

2004 | Published | Journal Article | IST-REx-ID: 2638
Á. Kulik et al., “Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum,” European Journal of Neuroscience, vol. 19, no. 8. Wiley-Blackwell, pp. 2169–2178, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 2639
J. Somogyi et al., “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, vol. 19, no. 3. Wiley-Blackwell, pp. 552–569, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 2640
T. Notomi and R. Shigemoto, “Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat brain,” Journal of Comparative Neurology, vol. 471, no. 3. Wiley-Blackwell, pp. 241–276, 2004.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed