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 NH. Hybrid dysfunction in fire-bellied toads (Bombina). Evolution; International Journal of Organic Evolution. 1999;53(5):1611-1616. doi:10.2307/2640907
View | DOI | PubMed | Europe PMC
 

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

1999 | Published | Thesis | PhD | IST-REx-ID: 4411
Qadeer S. Algorithms and Methodology for Scalable Model Checking. 1999:1-150.
View | Download None (ext.)
 

1999 | Published | Journal Article | IST-REx-ID: 4442
Henzinger TA, Kopke P. Discrete-time control for rectangular hybrid automata. Theoretical Computer Science. 1999;221(1-2):369-392. doi:10.1016/S0304-3975(99)00038-9
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4480
Henzinger TA, Liu X, Qadeer S, Rajamani S. Formal specification and verification of a dataflow processor array. In: IEEE; 1999:494-499. doi:10.1109/ICCAD.1999.810700
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4484
Henzinger TA, Qadeer S, Rajamani S. Verifying sequential consistency on shared-memory multiprocessor systems. In: Proceedings of the 11th International Conference on Computer Aided Verification. Vol 1633. Springer; 1999:301-315. doi:10.1007/3-540-48683-6_27
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4485
Henzinger TA, Horowitz B, Majumdar R. Rectangular hybrid games. In: Proceedings of the 10th International Conference on Concurrency Theory. Vol 1664. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1999:320-335. doi:10.1007/3-540-48320-9_23
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4487
Henzinger TA, Qadeer S, Rajamani S. Assume-guarantee refinement between different time scales. In: Proceedings of the 11th International Conference on Computer Aided Verification. Vol 1633. Springer; 1999:208-221. doi:10.1007/3-540-48683-6_20
View | DOI
 

1999 | Published | Journal Article | IST-REx-ID: 4582
Alur R, Henzinger TA. Reactive modules. Formal Methods in System Design. 1999;15(1):7-48. doi:10.1023/A:1008739929481
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4601
Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. In: Proceedings of the International Symposium on Compositionality. Vol 1536. Springer; 1999:23-60. doi:10.1007/3-540-49213-5_2
View | DOI
 

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

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

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

1998 | Published | Journal Article | IST-REx-ID: 1956 | OA
Sazanov LA, Burrows P, Nixon P. The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes. PNAS. 1998;95(3):1319-1324. doi: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. Compactification of moduli of Higgs bundles. Journal fur die Reine und Angewandte Mathematik. 1998;1998(503):169-192. doi:10.1515/crll.1998.096
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

1998 | Published | Journal Article | IST-REx-ID: 1450 | OA
Hausel T. Vanishing of intersection numbers on the moduli space of Higgs bundles. Advances in Theoretical and Mathematical Physics. 1998;2(5):1011-1040. doi: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 CI. Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans. Cell. 1998;94(5):679-689. doi:10.1016/s0092-8674(00)81609-8
View | DOI | PubMed | Europe PMC
 

1998 | Published | Journal Article | IST-REx-ID: 11680
Alberts D, Henzinger MH. Average-case analysis of dynamic graph algorithms. Algorithmica. 1998;20:31-60. doi:10.1007/pl00009186
View | Files available | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 11681
Henzinger MH, Fredman ML. Lower bounds for fully dynamic connectivity problems in graphs. Algorithmica. 1998;22(3):351-362. doi:10.1007/pl00009228
View | DOI
 

1998 | Published | Conference Paper | IST-REx-ID: 11682
Agarwal PK, EppsteinL. J. Guibas D, Henzinger MH. Parametric and kinetic minimum spanning trees. In: Proceedings of the 39th Annual Symposium on Foundations of Computer Science. ; 1998:596-605. doi:10.1109/SFCS.1998.743510
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed