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, T., Lee, C., Shigemoto, R., & Miller, R. (1999). Modulation of synaptic transmission and differential localisation of mGlus in cultured hippocampal autapses. Neuropharmacology. Elsevier. 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. (1999). Linear Boltzmann equation as the weak coupling limit of the random Schrödinger equation. In Proceedings of the 7th QMath Conference (Vol. 108, pp. 233–242). Prague, Czech Republik: World Scientific Publishing. https://doi.org/10.1007/978-3-0348-8745-8_20
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 2730
Erdös, L., & Solovej, J. (1999). Semiclassical eigenvalue estimates for the Pauli operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type estimate. Duke Mathematical Journal. Duke University Press. https://doi.org/10.1215/S0012-7094-99-09604-7
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 4014
Edelsbrunner, H. (1999). Deformable smooth surface design. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/PL00009412
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 4204
Heisenberg, C.-P. J., Brennan, C., & Wilson, S. (1999). Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development. Development. Company of Biologists. https://doi.org/10.1242/dev.126.10.2129
View
| DOI
| PubMed | Europe PMC
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 | 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
1999 | Published | Journal Article | IST-REx-ID: 883
Kondrashov, A., & Kondrashov, F. (1999). Interactions among quantitative traits in the course of sympatric speciation. Nature. Nature Publishing Group. https://doi.org/10.1038/22514
View
| DOI
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 8526
Kaloshin, V. (1999). An extension of the Artin-Mazur theorem. The Annals of Mathematics. JSTOR. https://doi.org/10.2307/121093
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 11687
Dean, J., & Henzinger, M. H. (1999). Finding related pages in the world wide Web. Computer Networks. Elsevier. https://doi.org/10.1016/s1389-1286(99)00022-5
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 11691
Goel, A., Henzinger, M. H., Plotkin, S., & Tardos, E. (1999). Scheduling data transfers in a network and the set scheduling problem. In Proceedings of the 31st annual ACM symposium on Theory of computing (pp. 189–197). Atlanta, GA, United States: Association for Computing Machinery. https://doi.org/10.1145/301250.301300
View
| DOI