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.
9789 Publications
1999 | Published | Journal Article | IST-REx-ID: 4277
Kruuk, Loeske, Jason Gilchrist, and Nicholas H Barton. “Hybrid Dysfunction in Fire-Bellied Toads (Bombina).” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 1999. https://doi.org/10.2307/2640907.
View
| DOI
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 4279
Goodman, Simon, Nicholas H Barton, Graeme Swanson, Kate Abernethy, and Josephine Pemberton. “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, 1999. https://doi.org/10.1093/genetics/152.1.355.
View
| DOI
| PubMed | Europe PMC
1999 | Published | Thesis | IST-REx-ID: 4411
Qadeer, Shaz. “Algorithms and Methodology for Scalable Model Checking.” University of California, Berkeley, 1999.
View
| Download None (ext.)
1999 | Published | Journal Article | IST-REx-ID: 4442
Henzinger, Thomas A, and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” Theoretical Computer Science. Elsevier, 1999. https://doi.org/10.1016/S0304-3975(99)00038-9.
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 4480
Henzinger, Thomas A, Xiaojun Liu, Shaz Qadeer, and Sriram Rajamani. “Formal Specification and Verification of a Dataflow Processor Array,” 494–99. IEEE, 1999. https://doi.org/10.1109/ICCAD.1999.810700.
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 4484
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.” In Proceedings of the 11th International Conference on Computer Aided Verification, 1633:301–15. Springer, 1999. https://doi.org/10.1007/3-540-48683-6_27.
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 4485
Henzinger, Thomas A, Benjamin Horowitz, and Ritankar Majumdar. “Rectangular Hybrid Games.” In Proceedings of the 10th International Conference on Concurrency Theory, 1664:320–35. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999. https://doi.org/10.1007/3-540-48320-9_23.
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 4487
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Assume-Guarantee Refinement between Different Time Scales.” In Proceedings of the 11th International Conference on Computer Aided Verification, 1633:208–21. Springer, 1999. https://doi.org/10.1007/3-540-48683-6_20.
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 4582
Alur, Rajeev, and Thomas A Henzinger. “Reactive Modules.” Formal Methods in System Design. Springer, 1999. https://doi.org/10.1023/A:1008739929481.
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 4601
Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.” In Proceedings of the International Symposium on Compositionality, 1536:23–60. Springer, 1999. https://doi.org/10.1007/3-540-49213-5_2.
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 4602
Alur, Rajeev, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Automating Modular Verification.” In Proceedings of the 10th International Conference on Concurrency Theory, 1664:82–97. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999. https://doi.org/10.1007/3-540-48320-9_8.
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 883
Kondrashov, Alexey, and Fyodor Kondrashov. “Interactions among Quantitative Traits in the Course of Sympatric Speciation.” Nature. Nature Publishing Group, 1999. https://doi.org/10.1038/22514.
View
| DOI
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 8526
Kaloshin, Vadim. “An Extension of the Artin-Mazur Theorem.” The Annals of Mathematics. JSTOR, 1999. https://doi.org/10.2307/121093.
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 11687
Dean, Jeffrey, and Monika H Henzinger. “Finding Related Pages in the World Wide Web.” Computer Networks. Elsevier, 1999. https://doi.org/10.1016/s1389-1286(99)00022-5.
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 11691
Goel, Ashish, Monika H Henzinger, Serge Plotkin, and Eva Tardos. “Scheduling Data Transfers in a Network and the Set Scheduling Problem.” In Proceedings of the 31st Annual ACM Symposium on Theory of Computing, 189–97. Association for Computing Machinery, 1999. https://doi.org/10.1145/301250.301300.
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 11895 | 
Silverstein, Craig, Hannes Marais, Monika H Henzinger, and Michael Moricz. “Analysis of a Very Large Web Search Engine Query Log.” ACM SIGIR Forum. Association for Computing Machinery, 1999. https://doi.org/10.1145/331403.331405.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1999 | Published | Journal Article | IST-REx-ID: 2783
Hof, Björn, Peter Lucas, and Tom Mullin. “Flow State Multiplicity in Convection.” Physics of Fluids. American Institute of Physics, 1999. https://doi.org/10.1063/1.870178 .
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 2864
Witters, Erwin, Koen Vanhoutte, Walter Dewitte, Ivana Macháčková, Eva Benková, Walter Van Dongen, Eddy Esmans, and Henri Van Onckelen. “Analysis of Cyclic Nucleotides and Cytokinins in Minute Plant Samples Using Phase System Switching Capillary Electrospray Liquid Chromatography Tandem Mass Spectrometry.” Phytochemical Analysis. Wiley-Blackwell, 1999. https://doi.org/10.1002/(SICI)1099-1565(199905/06)10:3<143::AID-PCA441>3.0.CO;2-G.
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 2865 |
Benková, Eva, Erwin Witters, Walter Van Dongen, Jan Kolář, Václav Motyka, Břetislav Brzobohatý, Henri Van Onckelen, and Ivana Macháčková. “Cytokinins in Tobacco and Wheat Chloroplasts. Occurrence and Changes Due to Light/Dark Treatment.” Plant Physiology. American Society of Plant Biologists, 1999. https://doi.org/10.1104/pp.121.1.245.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | Published | Book (Editor) | IST-REx-ID: 3137
Jonas, Peter M, and Hannah Monyer, eds. Ionotropic Glutamate Receptors in the CNS. 1st ed. Vol. 141. Berlin ; Heidelberg: Springer, 1999. https://doi.org/10.1007/978-3-662-08022-1.
View
| DOI
| Download None (ext.)