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.
1624 Publications
1997 |Published| Journal Article | IST-REx-ID: 4285 |
S. Otto and N. H. Barton, “The evolution of recombination: Removing the limits to natural selection,” Genetics, vol. 147, no. 2. Genetics Society of America, pp. 879–906, 1997.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 |Published| Conference Paper | IST-REx-ID: 4608
R. Alur, R. Brayton, T. A. Henzinger, S. Qadeer, and S. Rajamani, “Partial-order reduction in symbolic state-space exploration,” in 9th International Conference on Computer Aided Verification, Haifa, Israel, 1997, vol. 1254, pp. 340–351.
View
| DOI
1996 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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.)