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.

6978 Publications


1999 |Published| Journal Article | IST-REx-ID: 4014
H. Edelsbrunner, “Deformable smooth surface design,” Discrete & Computational Geometry, vol. 21, no. 1. Springer, pp. 87–115, 1999.
View | DOI
 

1999 |Published| Journal Article | IST-REx-ID: 4204
C.-P. J. Heisenberg, C. Brennan, and S. Wilson, “Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development,” Development, vol. 126, no. 10. Company of Biologists, pp. 2129–2140, 1999.
View | DOI | PubMed | Europe PMC
 

1999 |Published| Journal Article | IST-REx-ID: 4279
S. Goodman, N. H. Barton, G. Swanson, K. Abernethy, and J. Pemberton, “Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland,” Genetics, vol. 152, no. 1. Genetics Society of America, pp. 355–371, 1999.
View | DOI | PubMed | Europe PMC
 

1999 |Published| Thesis | IST-REx-ID: 4411
S. Qadeer, “Algorithms and Methodology for Scalable Model Checking,” University of California, Berkeley, 1999.
View | Download None (ext.)
 

1999 |Published| Journal Article | IST-REx-ID: 4442
T. A. Henzinger and P. Kopke, “Discrete-time control for rectangular hybrid automata,” Theoretical Computer Science, vol. 221, no. 1–2. Elsevier, pp. 369–392, 1999.
View | DOI
 

1999 |Published| Conference Paper | IST-REx-ID: 4484
T. A. Henzinger, S. Qadeer, and S. Rajamani, “Verifying sequential consistency on shared-memory multiprocessor systems,” in Proceedings of the 11th International Conference on Computer Aided Verification, Trento, Italy, 1999, vol. 1633, pp. 301–315.
View | DOI
 

1999 |Published| Conference Paper | IST-REx-ID: 4485
T. A. Henzinger, B. Horowitz, and R. Majumdar, “Rectangular hybrid games,” in Proceedings of the 10th International Conference on Concurrency Theory, Eindhoven, The Netherlands, 1999, vol. 1664, pp. 320–335.
View | DOI
 

1999 |Published| Conference Paper | IST-REx-ID: 4480
T. A. Henzinger, X. Liu, S. Qadeer, and S. Rajamani, “Formal specification and verification of a dataflow processor array,” presented at the ICCAD: Computer-Aided Design, San Jose, CA, United States of America, 1999, pp. 494–499.
View | DOI
 

1999 |Published| Conference Paper | IST-REx-ID: 4487
T. A. Henzinger, S. Qadeer, and S. Rajamani, “Assume-guarantee refinement between different time scales,” in Proceedings of the 11th International Conference on Computer Aided Verification, Trento, Italy, 1999, vol. 1633, pp. 208–221.
View | DOI
 

1999 |Published| Journal Article | IST-REx-ID: 4582
R. Alur and T. A. Henzinger, “Reactive modules,” Formal Methods in System Design, vol. 15, no. 1. Springer, pp. 7–48, 1999.
View | DOI
 

1999 |Published| Conference Paper | IST-REx-ID: 4601
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” in Proceedings of the International Symposium on Compositionality, Bad Malente, Germany, 1999, vol. 1536, pp. 23–60.
View | DOI
 

1999 |Published| Conference Paper | IST-REx-ID: 4602
R. Alur, L. De Alfaro, T. A. Henzinger, and F. Mang, “Automating modular verification,” in Proceedings of the 10th International Conference on Concurrency Theory, Eindhoven, The Netherlands, 1999, vol. 1664, pp. 82–97.
View | DOI
 

1999 |Published| Journal Article | IST-REx-ID: 3582 | OA
T. Dey, H. Edelsbrunner, S. Guha, and D. Nekhayev, “Topology preserving edge contraction,” Publications de l’Institut Mathématique, vol. 66. Mathematical Institute, Serbian Academy of Sciences and Arts, pp. 23–45, 1999.
View | Download None (ext.)
 

1999 |Published| Journal Article | IST-REx-ID: 2592 | OA
M. Masugi et al., “Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion,” Journal of Neuroscience, vol. 19, no. 3. Society for Neuroscience, pp. 955–963, 1999.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1999 |Published| Journal Article | IST-REx-ID: 2593 | OA
X. Yu, E. Zhang, A. Craig, R. Shigemoto, A. Ribeiro Da Silva, and Y. De Koninck, “NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord,” Journal of Neuroscience, vol. 19, no. 9. Society for Neuroscience, pp. 3545–3555, 1999.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1999 |Published| Journal Article | IST-REx-ID: 2591
W. Kummer, R. Shigemoto, and R. Haberberger, “Smooth muscle cells are the site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic nerve,” Neuroscience Letters, vol. 259, no. 2. Elsevier, pp. 119–122, 1999.
View | DOI | PubMed | Europe PMC
 

1999 |Published| Journal Article | IST-REx-ID: 883
A. Kondrashov and F. Kondrashov, “Interactions among quantitative traits in the course of sympatric speciation,” Nature, vol. 400, no. 6742. Nature Publishing Group, pp. 351–354, 1999.
View | DOI | PubMed | Europe PMC
 

1998 |Published| Journal Article | IST-REx-ID: 1450 | OA
T. Hausel, “Vanishing of intersection numbers on the moduli space of Higgs bundles,” Advances in Theoretical and Mathematical Physics, vol. 2, no. 5. International Press, pp. 1011–1040, 1998.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

1998 |Published| Journal Article | IST-REx-ID: 1449 | OA
T. Hausel, “Compactification of moduli of Higgs bundles,” Journal fur die Reine und Angewandte Mathematik, vol. 1998, no. 503. Walter de Gruyter, pp. 169–192, 1998.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

1998 |Published| Journal Article | IST-REx-ID: 1956 | OA
L. A. Sazanov, P. Burrows, and P. Nixon, “The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes,” PNAS, vol. 95, no. 3. National Academy of Sciences, pp. 1319–1324, 1998.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

supervisor%3D38F4F166-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications