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.

8924 Publications


1999 | Published | Journal Article | IST-REx-ID: 4277
Kruuk, L., Gilchrist, J., & Barton, N. H. (1999). Hybrid dysfunction in fire-bellied toads (Bombina). Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.2307/2640907
View | DOI | PubMed | Europe PMC
 

1999 | Published | Journal Article | IST-REx-ID: 4279
Goodman, S., Barton, N. H., Swanson, G., Abernethy, K., & Pemberton, J. (1999). Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/152.1.355
View | DOI | PubMed | Europe PMC
 

1999 | Published | Thesis | PhD | IST-REx-ID: 4411
Qadeer, S. (1999). Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley.
View | Download None (ext.)
 

1999 | Published | Journal Article | IST-REx-ID: 4442
Henzinger, T. A., & Kopke, P. (1999). Discrete-time control for rectangular hybrid automata. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/S0304-3975(99)00038-9
View | DOI
 

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
 

1999 | Published | Conference Paper | IST-REx-ID: 4601
Alur, R., Henzinger, T. A., & Kupferman, O. (1999). Alternating-time temporal logic. In Proceedings of the International Symposium on Compositionality (Vol. 1536, pp. 23–60). Bad Malente, Germany: Springer. https://doi.org/10.1007/3-540-49213-5_2
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4602
Alur, R., De Alfaro, L., Henzinger, T. A., & Mang, F. (1999). Automating modular verification. In Proceedings of the 10th International Conference on Concurrency Theory (Vol. 1664, pp. 82–97). Eindhoven, The Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-48320-9_8
View | DOI
 

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: 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: 6160
de Bono, M., & Bargmann, C. I. (1998). Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans. Cell. Elsevier. https://doi.org/10.1016/s0092-8674(00)81609-8
View | DOI | PubMed | Europe PMC
 

1998 | Published | Journal Article | IST-REx-ID: 11680
Alberts, D., & Henzinger, M. H. (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. H., & 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. H. (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
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed