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.

71 Publications


1996 | Published | Conference Paper | IST-REx-ID: 4588
R. Alur and T. A. Henzinger, “Reactive modules,” in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, NJ, USA, 1996, pp. 207–218.
View | DOI | Download None (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 4610
R. Alur, T. Feder, and T. A. Henzinger, “The benefits of relaxing punctuality,” Journal of the ACM, vol. 43, no. 1. ACM, pp. 116–146, 1996.
View | DOI | Download None (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 4611 | OA
R. Alur, T. A. Henzinger, and P. Ho, “Automatic symbolic verification of embedded systems,” IEEE Transactions on Software Engineering, vol. 22, no. 3. IEEE, pp. 181–201, 1996.
[Published Version] View | DOI | Download Published Version (ext.)
 

1996 | Published | Book (Editor) | IST-REx-ID: 4612
R. Alur, T. A. Henzinger, and E. D. Sontag, Eds., Hybrid Systems III: Verification and Control, vol. 1066. Berlin ; Heidelberg: Springer, 1996.
View | DOI
 

1996 | Published | Journal Article | IST-REx-ID: 6161 | OA
M. de Bono and J. Hodgkin, “Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences,” Genetics, vol. 144, no. 2. Genetics Society of America, pp. 587–595, 1996.
[Published Version] View | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Published | Conference Paper | IST-REx-ID: 11804
M. H. Henzinger and J. A. Telle, “Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning,” in 5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, 1996, vol. 1097, pp. 16–27.
View | DOI
 

1996 | Published | Conference Paper | IST-REx-ID: 11910
M. H. Henzinger and M. Thorup, “Improved sampling with applications to dynamic graph algorithms,” in 23rd International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 1996, vol. 1099, pp. 290–299.
View | DOI
 

1996 | Published | Conference Paper | IST-REx-ID: 11927 | OA
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: 3462
T. Melcher, J. Geiger, P. M. Jonas, and H. Monyer, “Analysis of molecular determinants in native AMPA receptors,” Neurochemistry International, vol. 28, no. 2. Elsevier, pp. 141–144, 1996.
View | DOI | PubMed | Europe PMC
 

1996 | Published | Conference Paper | IST-REx-ID: 3553
H. Edelsbrunner, P. Fu, and J. Quian, “Geometric modeling in CAVE,” in Proceedings of the ACM Symposium on Virtual Reality Software and Technology, Hong Kong, 1996, pp. 35-41 and-193–194.
View | DOI
 

1996 | Published | Journal Article | IST-REx-ID: 3634
N. H. Barton and J. Mallet, “Natural selection and random genetic drift as causes of evolution on islands,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 351, no. 1341. Royal Society of London, pp. 785–795, 1996.
View | DOI | PubMed | Europe PMC
 

1996 | Published | Journal Article | IST-REx-ID: 3635
B. Charlesworth and N. H. Barton, “Recombination load associated with selection for increased recombination,” Genetical Research, vol. 67, no. 1. Cambridge University Press, pp. 27–41, 1996.
View | DOI | PubMed | Europe PMC
 

1996 | Published | Journal Article | IST-REx-ID: 3756 | OA
M. Dogterom, M. Felix, C. C. Guet, and S. Leibler, “Influence of M-phase chromatin on the anisotropy of microtubule asters,” Journal of Cell Biology, vol. 133, no. 1. Rockefeller University Press, pp. 125–140, 1996.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Published | Journal Article | IST-REx-ID: 4024
N. Akkiraju, H. Edelsbrunner, P. Fu, and J. Qian, “Viewing geometric protein structures from inside a CAVE,” IEEE Computer Graphics and Applications, vol. 16, no. 4. IEEE, pp. 58–61, 1996.
View | DOI
 

1996 | Published | Journal Article | IST-REx-ID: 4025 | OA
N. Akkiraju and H. Edelsbrunner, “Triangulating the surface of a molecule,” Discrete Applied Mathematics, vol. 71, no. 1–3. Elsevier, pp. 5–22, 1996.
[Published Version] View | DOI | Download Published Version (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 4026
H. Edelsbrunner and N. Shah, “Incremental topological flipping works for regular triangulations,” Algorithmica, vol. 15, no. 3. Springer, pp. 223–241, 1996.
View | DOI
 

1996 | Published | Journal Article | IST-REx-ID: 4027
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, and J. Stolfi, “Lines in space: Combinatorics and algorithms,” Algorithmica, vol. 15, no. 5. Springer, pp. 428–447, 1996.
View | DOI
 

1996 | Published | Conference Poster | IST-REx-ID: 4030 | OA
J. Liang, H. Edelsbrunner, and S. Subramaniam, Effects of molecular shape representations on boundary element method for protein electrostatics computations, vol. 70, no. 2, Part 2. Cell Press, 1996, pp. A224–A224.
View | DOI | Download None (ext.)
 

1996 | Published | Conference Poster | IST-REx-ID: 4031 | OA
J. Liang, H. Edelsbrunner, S. Pamidghantam, and S. Subramaniam, Analytical method for molecular shapes: Area, volume, cavities, interface and pockets, vol. 70, no. 2, Part 2. Cell Press, 1996, pp. A377–A377.
View | DOI | Download None (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 4142
T. Whitfield et al., “Mutations affecting development of the zebrafish inner ear and lateral line,” Development, vol. 123. Company of Biologists, pp. 241–254, 1996.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=1996

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed