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: 2597
Bushell, Trevor, Chong Lee, Ryuichi Shigemoto, and Richard Miller. “Modulation of Synaptic Transmission and Differential Localisation of MGlus in Cultured Hippocampal Autapses.” Neuropharmacology. Elsevier, 1999. https://doi.org/10.1016/S0028-3908(99)00103-3.
View
| DOI
| PubMed | Europe PMC
1999 | Published | Conference Paper | IST-REx-ID: 2711
Erdös, László. “Linear Boltzmann Equation as the Weak Coupling Limit of the Random Schrödinger Equation.” In Proceedings of the 7th QMath Conference, 108:233–42. World Scientific Publishing, 1999. https://doi.org/10.1007/978-3-0348-8745-8_20.
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 2730
Erdös, László, and Jan Solovej. “Semiclassical Eigenvalue Estimates for the Pauli Operator with Strong Nonhomogeneous Magnetic Fields, I: Nonasymptotic Lieb-Thirring-Type Estimate.” Duke Mathematical Journal. Duke University Press, 1999. https://doi.org/10.1215/S0012-7094-99-09604-7.
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 4014
Edelsbrunner, Herbert. “Deformable Smooth Surface Design.” Discrete & Computational Geometry. Springer, 1999. https://doi.org/10.1007/PL00009412.
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 4204
Heisenberg, Carl-Philipp J, Caroline Brennan, and Stephen Wilson. “Zebrafish Aussicht Mutant Embryos Exhibit Widespread Overexpression of Ace (Fgf8) and Coincident Defects in CNS Development.” Development. Company of Biologists, 1999. https://doi.org/10.1242/dev.126.10.2129.
View
| DOI
| PubMed | Europe PMC
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