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.
1619 Publications
1996 | Conference Paper | IST-REx-ID: 11927 | 
M. H. Henzinger, V. King, and T. Warnow, “Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology,” in 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Atlanta, GA, United States, 1996, pp. 333–340.
[Published Version]
View
| Files available
| Download Published Version (ext.)
1996 | Journal Article | IST-REx-ID: 4164
J. Odenthal et al., “Mutations affecting xanthophore pigmentation in the zebrafish, Danio rerio,” Development, vol. 123, no. 1. Company of Biologists, pp. 391–398, 1996.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4212
P. Haffter et al., “The identification of genes with unique and essential functions in the development of the zebrafish, Danio rerio,” Development, vol. 123, no. 1. Company of Biologists, pp. 1–36, 1996.
View
| DOI
| PubMed | Europe PMC
1996 | Conference Paper | IST-REx-ID: 4443
T. A. Henzinger and P. Kopke, “State equivalences for rectangular hybrid automata,” in 7th International Conference on Concurrency Theory, Pisa, Italy, 1996, vol. 1119, pp. 530–545.
View
| DOI
| Download None (ext.)
1996 | Conference Paper | IST-REx-ID: 4495
T. A. Henzinger, O. Kupferman, and M. Vardi, “A space-efficient on-the-fly algorithm for real-time model checking,” in 7th International Conference on Concurrency Theory, Pisa, Italy, 1996, vol. 1119, pp. 514–529.
View
| DOI
| Download None (ext.)
1996 | Conference (Editor) | IST-REx-ID: 4585
T. A. Henzinger and R. Alur, Eds., 8th International Conference on Computer Aided Verification, vol. 1102. Springer, 1996.
View
| DOI
| Download None (ext.)
1995 | Book Chapter | IST-REx-ID: 2465
D. Morris, J. Friml, and E. Zažímalová, “Auxin transport,” in Plant Hormones: Biosynthesis, Signal Transduction, Action!, P. Davies, Ed. Kluwer, 1995, pp. 451–484.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 2712
L. Erdös, “Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals,” presented at the International Conference on Partial Differential Operators and Mathematical Physics, Holzhau, Germany, 1995, vol. 78, pp. 127–132.
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 3478 |
N. Spruston, P. M. Jonas, and B. Sakmann, “Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons,” Journal of Physiology, vol. 482, no. Pt 2. Wiley-Blackwell, pp. 325–352, 1995.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Conference Paper | IST-REx-ID: 3551
H. Edelsbrunner, M. Facello, P. Fu, and J. Liang, “Measuring proteins and voids in proteins,” in Proceedings of the 28th Annual Hawaii International Conference on System Sciences, Wailea, HI, United States of America, 1995, pp. 256–264.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 3552
N. Akkiraju, H. Edelsbrunner, M. Facello, P. Fu, E. Mücke, and C. Varela, “Alpha shapes: definition and software,” presented at the GCG: International Computational Geometry Software Workshop, 1995, pp. 63–66.
View
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 3639
N. H. Barton, “A general model for the evolution of recombination,” Genetical Research, vol. 65, no. 2. Cambridge University Press, pp. 123–144, 1995.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC