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 TA. Reactive modules. In: Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1996:207-218. doi:10.1109/LICS.1996.561320
View | DOI | Download None (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 4610
Alur R, Feder T, Henzinger TA. The benefits of relaxing punctuality. Journal of the ACM. 1996;43(1):116-146. doi:10.1145/227595.227602
View | DOI | Download None (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 4611 | OA
Alur R, Henzinger TA, Ho P. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. 1996;22(3):181-201. doi:10.1109/32.489079
[Published Version] View | DOI | Download Published Version (ext.)
 

1996 | Published | Book (Editor) | IST-REx-ID: 4612
Alur R, Henzinger TA, Sontag ED, eds. Hybrid Systems III: Verification and Control. Vol 1066. Berlin ; Heidelberg: Springer; 1996. doi:10.1007/BFb0020931
View | DOI
 

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

1996 | Published | Conference Paper | IST-REx-ID: 11804
Henzinger MH, Telle JA. Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning. In: 5th Scandinavian Workshop on Algorithm Theory. Vol 1097. Springer Nature; 1996:16–27. doi:10.1007/3-540-61422-2_117
View | DOI
 

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

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

1996 | Published | Journal Article | IST-REx-ID: 3462
Melcher T, Geiger J, Jonas PM, Monyer H. Analysis of molecular determinants in native AMPA receptors. Neurochemistry International. 1996;28(2):141-144. doi: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. Geometric modeling in CAVE. In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology. ACM; 1996:35-41 and-193-194. doi:10.1145/3304181.3304190
View | DOI
 

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

1996 | Published | Journal Article | IST-REx-ID: 3635
Charlesworth B, Barton NH. Recombination load associated with selection for increased recombination. Genetical Research. 1996;67(1):27-41. doi:10.1017/S0016672300033450
View | DOI | PubMed | Europe PMC
 

1996 | Published | Journal Article | IST-REx-ID: 3756 | OA
Dogterom M, Felix M, Guet CC, Leibler S. Influence of M-phase chromatin on the anisotropy of microtubule asters. Journal of Cell Biology. 1996;133(1):125-140. doi: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. Viewing geometric protein structures from inside a CAVE. IEEE Computer Graphics and Applications. 1996;16(4):58-61. doi:10.1109/38.511855
View | DOI
 

1996 | Published | Journal Article | IST-REx-ID: 4025 | OA
Akkiraju N, Edelsbrunner H. Triangulating the surface of a molecule. Discrete Applied Mathematics. 1996;71(1-3):5-22. doi: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. Incremental topological flipping works for regular triangulations. Algorithmica. 1996;15(3):223-241. doi:10.1007/BF01975867
View | DOI
 

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

1996 | Published | Conference Poster | IST-REx-ID: 4030 | OA
Liang J, Edelsbrunner H, Subramaniam S. Effects of Molecular Shape Representations on Boundary Element Method for Protein Electrostatics Computations. Vol 70. Cell Press; 1996:A224-A224. doi: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. Analytical Method for Molecular Shapes: Area, Volume, Cavities, Interface and Pockets. Vol 70. Cell Press; 1996:A377-A377. doi: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, et al. Mutations affecting development of the zebrafish inner ear and lateral line. Development. 1996;123:241-254. doi:10.1242/dev.123.1.241
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=1996

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed