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
Alur, R., & Henzinger, T. A. (1996). Reactive modules. In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (pp. 207–218). New Brunswick, NJ, USA: IEEE. https://doi.org/10.1109/LICS.1996.561320
View | DOI | Download None (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 4610
Alur, R., Feder, T., & Henzinger, T. A. (1996). The benefits of relaxing punctuality. Journal of the ACM. ACM. https://doi.org/10.1145/227595.227602
View | DOI | Download None (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 4611 | OA
Alur, R., Henzinger, T. A., & Ho, P. (1996). Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. IEEE. https://doi.org/10.1109/32.489079
[Published Version] View | DOI | Download Published Version (ext.)
 

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

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

1996 | Published | Conference Paper | IST-REx-ID: 11804
Henzinger, M. H., & Telle, J. A. (1996). Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning. In 5th Scandinavian Workshop on Algorithm Theory (Vol. 1097, pp. 16–27). Reykjavik, Iceland: Springer Nature. https://doi.org/10.1007/3-540-61422-2_117
View | DOI
 

1996 | Published | Conference Paper | IST-REx-ID: 11910
Henzinger, M. H., & Thorup, M. (1996). Improved sampling with applications to dynamic graph algorithms. In 23rd International Colloquium on Automata, Languages, and Programming (Vol. 1099, pp. 290–299). Paderborn, Germany: Springer Nature. https://doi.org/10.1007/3-540-61440-0_136
View | DOI
 

1996 | Published | Conference Paper | IST-REx-ID: 11927 | OA
Henzinger, M. H., King, V., & Warnow, T. (1996). Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology. In 7th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 333–340). Atlanta, GA, United States: Society for Industrial and Applied Mathematics.
[Published Version] View | Files available | Download Published Version (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 3462
Melcher, T., Geiger, J., Jonas, P. M., & Monyer, H. (1996). Analysis of molecular determinants in native AMPA receptors. Neurochemistry International. Elsevier. https://doi.org/10.1016/0197-0186(95)00077-1
View | DOI | PubMed | Europe PMC
 

1996 | Published | Conference Paper | IST-REx-ID: 3553
Edelsbrunner, H., Fu, P., & Quian, J. (1996). Geometric modeling in CAVE. In Proceedings of the ACM Symposium on Virtual Reality Software and Technology (pp. 35-41 and-193–194). Hong Kong: ACM. https://doi.org/10.1145/3304181.3304190
View | DOI
 

1996 | Published | Journal Article | IST-REx-ID: 3634
Barton, N. H., & Mallet, J. (1996). Natural selection and random genetic drift as causes of evolution on islands. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society of London. https://doi.org/10.1098/rstb.1996.0073
View | DOI | PubMed | Europe PMC
 

1996 | Published | Journal Article | IST-REx-ID: 3635
Charlesworth, B., & Barton, N. H. (1996). Recombination load associated with selection for increased recombination. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672300033450
View | DOI | PubMed | Europe PMC
 

1996 | Published | Journal Article | IST-REx-ID: 3756 | OA
Dogterom, M., Felix, M., Guet, C. C., & Leibler, S. (1996). Influence of M-phase chromatin on the anisotropy of microtubule asters. Journal of Cell Biology. Rockefeller University Press. https://doi.org/doi: 10.1083/jcb.133.1.125
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Published | Journal Article | IST-REx-ID: 4024
Akkiraju, N., Edelsbrunner, H., Fu, P., & Qian, J. (1996). Viewing geometric protein structures from inside a CAVE. IEEE Computer Graphics and Applications. IEEE. https://doi.org/10.1109/38.511855
View | DOI
 

1996 | Published | Journal Article | IST-REx-ID: 4025 | OA
Akkiraju, N., & Edelsbrunner, H. (1996). Triangulating the surface of a molecule. Discrete Applied Mathematics. Elsevier. https://doi.org/10.1016/S0166-218X(96)00054-6
[Published Version] View | DOI | Download Published Version (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 4026
Edelsbrunner, H., & Shah, N. (1996). Incremental topological flipping works for regular triangulations. Algorithmica. Springer. https://doi.org/10.1007/BF01975867
View | DOI
 

1996 | Published | Journal Article | IST-REx-ID: 4027
Chazelle, B., Edelsbrunner, H., Guibas, L., Sharir, M., & Stolfi, J. (1996). Lines in space: Combinatorics and algorithms. Algorithmica. Springer. https://doi.org/10.1007/BF01955043
View | DOI
 

1996 | Published | Conference Poster | IST-REx-ID: 4030 | OA
Liang, J., Edelsbrunner, H., & Subramaniam, S. (1996). Effects of molecular shape representations on boundary element method for protein electrostatics computations. Fortieth Annual Meeting (Vol. 70, pp. A224–A224). Cell Press. https://doi.org/10.1016/S0006-3495(96)79664-9
View | DOI | Download None (ext.)
 

1996 | Published | Conference Poster | IST-REx-ID: 4031 | OA
Liang, J., Edelsbrunner, H., Pamidghantam, S., & Subramaniam, S. (1996). Analytical method for molecular shapes: Area, volume, cavities, interface and pockets. Fortieth Annual Meeting (Vol. 70, pp. A377–A377). Cell Press. https://doi.org/10.1016/S0006-3495(96)79670-4
View | DOI | Download None (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 4142
Whitfield, T., Granato, M., Van Eeden, F., Schach, U., Brand, M., Furutani Seiki, M., … Nüsslein Volhard, C. (1996). Mutations affecting development of the zebrafish inner ear and lateral line. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.241
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=1996

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed