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


1999 | Published | Conference Paper | IST-REx-ID: 4480
T. A. Henzinger, X. Liu, S. Qadeer, and S. Rajamani, “Formal specification and verification of a dataflow processor array,” presented at the ICCAD: Computer-Aided Design, San Jose, CA, United States of America, 1999, pp. 494–499.
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4484
T. A. Henzinger, S. Qadeer, and S. Rajamani, “Verifying sequential consistency on shared-memory multiprocessor systems,” in Proceedings of the 11th International Conference on Computer Aided Verification, Trento, Italy, 1999, vol. 1633, pp. 301–315.
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4485
T. A. Henzinger, B. Horowitz, and R. Majumdar, “Rectangular hybrid games,” in Proceedings of the 10th International Conference on Concurrency Theory, Eindhoven, The Netherlands, 1999, vol. 1664, pp. 320–335.
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4487
T. A. Henzinger, S. Qadeer, and S. Rajamani, “Assume-guarantee refinement between different time scales,” in Proceedings of the 11th International Conference on Computer Aided Verification, Trento, Italy, 1999, vol. 1633, pp. 208–221.
View | DOI
 

1999 | Published | Journal Article | IST-REx-ID: 4582
R. Alur and T. A. Henzinger, “Reactive modules,” Formal Methods in System Design, vol. 15, no. 1. Springer, pp. 7–48, 1999.
View | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 11680
D. Alberts and M. Henzinger, “Average-case analysis of dynamic graph algorithms,” Algorithmica, vol. 20. Springer Nature, pp. 31–60, 1998.
View | Files available | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 11681
M. Henzinger and M. L. Fredman, “Lower bounds for fully dynamic connectivity problems in graphs,” Algorithmica, vol. 22, no. 3. Springer Nature, pp. 351–362, 1998.
View | DOI
 

1998 | Published | Conference Paper | IST-REx-ID: 11682
P. K. Agarwal, D. EppsteinL. J. Guibas, and M. Henzinger, “Parametric and kinetic minimum spanning trees,” in Proceedings of the 39th Annual Symposium on Foundations of Computer Science, Palo Alto, CA, United States, 1998, pp. 596–605.
View | DOI
 

1998 | Published | Conference Paper | IST-REx-ID: 11926
A. Goel, M. Henzinger, and S. Plotkin, “An online throughput-competitive algorithm for multicast routing and admission control,” in 9th Annual ACM SIAM Symposium on Discrete Algorithms, San Francisco, CA, United States, 1998, pp. 97–106.
View | Files available
 

1998 | Published | Book Chapter | IST-REx-ID: 2695
L. Erdös and H. Yau, “Linear Boltzmann equation as scaling limit of quantum Lorentz gas,” in Advances in Differential Equations and Mathematical Physics, vol. 217, American Mathematical Society, 1998, pp. 137–155.
View | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 2728
L. Erdös, “Lifschitz tail in a magnetic field: The nonclassical regime,” Probability Theory and Related Fields, vol. 112, no. 3. Springer, pp. 321–371, 1998.
View | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 1449 | OA
T. Hausel, “Compactification of moduli of Higgs bundles,” Journal fur die Reine und Angewandte Mathematik, vol. 1998, no. 503. Walter de Gruyter, pp. 169–192, 1998.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

1998 | Published | Journal Article | IST-REx-ID: 1450 | OA
T. Hausel, “Vanishing of intersection numbers on the moduli space of Higgs bundles,” Advances in Theoretical and Mathematical Physics, vol. 2, no. 5. International Press, pp. 1011–1040, 1998.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

1998 | Published | Journal Article | IST-REx-ID: 17839 | OA
Z. Haiman and A. Loeb, “Observational signatures of the first quasars,” The Astrophysical Journal, vol. 503, no. 2. American Astronomical Society, pp. 505–517, 1998.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

1998 | Published | Journal Article | IST-REx-ID: 1954
L. A. Sazanov, P. Burrows, and P. Nixon, “The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves,” FEBS Letters, vol. 429, no. 1. Elsevier, pp. 115–118, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Published | Journal Article | IST-REx-ID: 1955 | OA
P. Burrows, L. A. Sazanov, Z. Sváb, P. Maliga, and P. Nixon, “Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes,” EMBO Journal, vol. 17, no. 4. Wiley-Blackwell, pp. 868–876, 1998.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1998 | Published | Journal Article | IST-REx-ID: 1956 | OA
L. A. Sazanov, P. Burrows, and P. Nixon, “The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes,” PNAS, vol. 95, no. 3. National Academy of Sciences, pp. 1319–1324, 1998.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1998 | Published | Journal Article | IST-REx-ID: 2583
J. Li, Y. Ding, K. Xiong, J. Li, R. Shigemoto, and N. Mizuno, “Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat,” Neuroscience Research, vol. 30, no. 3. Elsevier, pp. 219–225, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Published | Journal Article | IST-REx-ID: 2584
A. Kinoshita, R. Shigemoto, H. Ohishi, H. Van Der Putten, and N. Mizuno, “Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study,” Journal of Comparative Neurology, vol. 393, no. 3. Wiley-Blackwell, pp. 332–352, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Published | Journal Article | IST-REx-ID: 2585
E. Wada, R. Shigemoto, A. Kinoshita, H. Ohishi, and N. Mizuno, “Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat,” Journal of Comparative Neurology, vol. 393, no. 4. Wiley-Blackwell, pp. 493–504, 1998.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed