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.
50 Publications
1999 | Journal Article | IST-REx-ID: 3539
Hirase, Hajima, András Czurkó, Jozsef L Csicsvari, and György Buzsáki. “Firing Rate and Theta-Phase Coding by Hippocampal Pyramidal Neurons during ‘Space Clamping.’” European Journal of Neuroscience. Wiley-Blackwell, 1999. https://doi.org/10.1046/j.1460-9568.1999.00853.x.
View
| DOI
| PubMed | Europe PMC
1999 | Conference Paper | IST-REx-ID: 3554
Jiao, Xiangmin, Herbert Edelsbrunner, and Michael Heath. “Mesh Association: Formulation and Algorithms.” In Proceedings of the 8th International Meshing Roundtable, 75–82. Elsevier, 1999.
View
| Download None (ext.)
1999 | Book Chapter | IST-REx-ID: 3571
Dey, Tamal, Herbert Edelsbrunner, and Sumanta Guha. “Computational Topology.” In Advances in Discrete and Computational Geometry, 223:109–43. American Mathematical Society, 1999.
View
1999 | 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 | Journal Article | IST-REx-ID: 3515
Penttonen, Markku, Nina Nurminen, Riitta Miettinen, Jouni Sirviö, Darrell Henze, Jozsef L Csicsvari, and György Buzsáki. “Ultra-Slow Oscillation (0.025 Hz) Triggers Hippocampal Afterdischarges in Wistar Rats.” Neuroscience. Elsevier, 1999. https://doi.org/10.1016/S0306-4522(99)00367-X.
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 3626
Kruuk, Loeske, Stuart Baird, Katherine Gale, and Nicholas H Barton. “A Comparison of Multilocus Clines Maintained by Environmental Adaptation or by Selection against Hybrids.” Genetics. Genetics Society of America, 1999. https://doi.org/10.1093/genetics/153.4.1959.
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 3625
Barton, Nicholas H. “Clines in Polygenic Traits.” Genetical Research. Cambridge University Press, 1999. https://doi.org/10.1017/S001667239900422X.
View
| DOI
| PubMed | Europe PMC
1999 | 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 | 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 | 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 | Thesis | IST-REx-ID: 4411
Qadeer, Shaz. “Algorithms and Methodology for Scalable Model Checking.” University of California, Berkeley, 1999.
View
| Download None (ext.)
1999 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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