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
Henzinger, T. A., Liu, X., Qadeer, S., & Rajamani, S. (1999). Formal specification and verification of a dataflow processor array (pp. 494–499). Presented at the ICCAD: Computer-Aided Design, San Jose, CA, United States of America: IEEE. https://doi.org/10.1109/ICCAD.1999.810700
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4484
Henzinger, T. A., Qadeer, S., & Rajamani, S. (1999). Verifying sequential consistency on shared-memory multiprocessor systems. In Proceedings of the 11th International Conference on Computer Aided Verification (Vol. 1633, pp. 301–315). Trento, Italy: Springer. https://doi.org/10.1007/3-540-48683-6_27
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4485
Henzinger, T. A., Horowitz, B., & Majumdar, R. (1999). Rectangular hybrid games. In Proceedings of the 10th International Conference on Concurrency Theory (Vol. 1664, pp. 320–335). Eindhoven, The Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-48320-9_23
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4487
Henzinger, T. A., Qadeer, S., & Rajamani, S. (1999). Assume-guarantee refinement between different time scales. In Proceedings of the 11th International Conference on Computer Aided Verification (Vol. 1633, pp. 208–221). Trento, Italy: Springer. https://doi.org/10.1007/3-540-48683-6_20
View | DOI
 

1999 | Published | Journal Article | IST-REx-ID: 4582
Alur, R., & Henzinger, T. A. (1999). Reactive modules. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1008739929481
View | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 11680
Alberts, D., & Henzinger, M. (1998). Average-case analysis of dynamic graph algorithms. Algorithmica. Springer Nature. https://doi.org/10.1007/pl00009186
View | Files available | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 11681
Henzinger, M., & Fredman, M. L. (1998). Lower bounds for fully dynamic connectivity problems in graphs. Algorithmica. Springer Nature. https://doi.org/10.1007/pl00009228
View | DOI
 

1998 | Published | Conference Paper | IST-REx-ID: 11682
Agarwal, P. K., EppsteinL. J. Guibas, D., & Henzinger, M. (1998). Parametric and kinetic minimum spanning trees. In Proceedings of the 39th Annual Symposium on Foundations of Computer Science (pp. 596–605). Palo Alto, CA, United States. https://doi.org/10.1109/SFCS.1998.743510
View | DOI
 

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

1998 | Published | Book Chapter | IST-REx-ID: 2695
Erdös, L., & Yau, H. (1998). Linear Boltzmann equation as scaling limit of quantum Lorentz gas. In Advances in Differential Equations and Mathematical Physics (Vol. 217, pp. 137–155). American Mathematical Society. https://doi.org/10.1090/conm/217
View | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 2728
Erdös, L. (1998). Lifschitz tail in a magnetic field: The nonclassical regime. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s004400050193
View | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 1449 | OA
Hausel, T. (1998). Compactification of moduli of Higgs bundles. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter. https://doi.org/10.1515/crll.1998.096
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

1998 | Published | Journal Article | IST-REx-ID: 1450 | OA
Hausel, T. (1998). Vanishing of intersection numbers on the moduli space of Higgs bundles. Advances in Theoretical and Mathematical Physics. International Press. https://doi.org/10.4310/ATMP.1998.v2.n5.a3
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

1998 | Published | Journal Article | IST-REx-ID: 17839 | OA
Haiman, Z., & Loeb, A. (1998). Observational signatures of the first quasars. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/306017
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

1998 | Published | Journal Article | IST-REx-ID: 1954
Sazanov, L. A., Burrows, P., & Nixon, P. (1998). The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves. FEBS Letters. Elsevier. https://doi.org/10.1016/S0014-5793(98)00573-0
View | DOI | PubMed | Europe PMC
 

1998 | Published | Journal Article | IST-REx-ID: 1955 | OA
Burrows, P., Sazanov, L. A., Sváb, Z., Maliga, P., & Nixon, P. (1998). Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes. EMBO Journal. Wiley-Blackwell. https://doi.org/10.1093/emboj/17.4.868
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1998 | Published | Journal Article | IST-REx-ID: 1956 | OA
Sazanov, L. A., Burrows, P., & Nixon, P. (1998). The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.95.3.1319
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1998 | Published | Journal Article | IST-REx-ID: 2583
Li, J., Ding, Y., Xiong, K., Li, J., Shigemoto, R., & Mizuno, N. (1998). 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. Elsevier. https://doi.org/10.1016/S0168-0102(97)00132-6
View | DOI | PubMed | Europe PMC
 

1998 | Published | Journal Article | IST-REx-ID: 2584
Kinoshita, A., Shigemoto, R., Ohishi, H., Van Der Putten, H., & Mizuno, N. (1998). 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. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19980413)393:3<332::AID-CNE6>3.0.CO;2-2
View | DOI | PubMed | Europe PMC
 

1998 | Published | Journal Article | IST-REx-ID: 2585
Wada, E., Shigemoto, R., Kinoshita, A., Ohishi, H., & Mizuno, N. (1998). 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. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19980420)393:4<493::AID-CNE8>3.0.CO;2-W
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed