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, Rajeev, and Thomas A. Henzinger. “Reactive Modules.” Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 207–18, doi:10.1109/LICS.1996.561320.
View | DOI | Download None (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 4610
Alur, Rajeev, et al. “The Benefits of Relaxing Punctuality.” Journal of the ACM, vol. 43, no. 1, ACM, 1996, pp. 116–46, doi:10.1145/227595.227602.
View | DOI | Download None (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 4611 | OA
Alur, Rajeev, et al. “Automatic Symbolic Verification of Embedded Systems.” IEEE Transactions on Software Engineering, vol. 22, no. 3, IEEE, 1996, pp. 181–201, doi:10.1109/32.489079.
[Published Version] View | DOI | Download Published Version (ext.)
 

1996 | Published | Book (Editor) | IST-REx-ID: 4612
Alur, Rajeev, et al., editors. Hybrid Systems III: Verification and Control. Vol. 1066, Springer, 1996, doi:10.1007/BFb0020931.
View | DOI
 

1996 | Published | Journal Article | IST-REx-ID: 6161 | OA
de Bono, Mario, 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, 1996, pp. 587–95.
[Published Version] View | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Published | Conference Paper | IST-REx-ID: 11804
Henzinger, Monika H., and Jan Arne Telle. “Faster Algorithms for the Nonemptiness of Streett Automata and for Communication Protocol Pruning.” 5th Scandinavian Workshop on Algorithm Theory, vol. 1097, Springer Nature, 1996, pp. 16–27, doi:10.1007/3-540-61422-2_117.
View | DOI
 

1996 | Published | Conference Paper | IST-REx-ID: 11910
Henzinger, Monika H., and Mikkel Thorup. “Improved Sampling with Applications to Dynamic Graph Algorithms.” 23rd International Colloquium on Automata, Languages, and Programming, vol. 1099, Springer Nature, 1996, pp. 290–99, doi:10.1007/3-540-61440-0_136.
View | DOI
 

1996 | Published | Conference Paper | IST-REx-ID: 11927 | OA
Henzinger, Monika H., et al. “Constructing a Tree from Homeomorphic Subtrees, with Applications to Computational Evolutionary Biology.” 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1996, pp. 333–40.
[Published Version] View | Files available | Download Published Version (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 3462
Melcher, Thorsten, et al. “Analysis of Molecular Determinants in Native AMPA Receptors.” Neurochemistry International, vol. 28, no. 2, Elsevier, 1996, pp. 141–44, doi:10.1016/0197-0186(95)00077-1.
View | DOI | PubMed | Europe PMC
 

1996 | Published | Conference Paper | IST-REx-ID: 3553
Edelsbrunner, Herbert, et al. “Geometric Modeling in CAVE.” Proceedings of the ACM Symposium on Virtual Reality Software and Technology, ACM, 1996, pp. 35-41 and-193–94, doi:10.1145/3304181.3304190.
View | DOI
 

1996 | Published | Journal Article | IST-REx-ID: 3634
Barton, Nicholas H., and James 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, 1996, pp. 785–95, doi:10.1098/rstb.1996.0073.
View | DOI | PubMed | Europe PMC
 

1996 | Published | Journal Article | IST-REx-ID: 3635
Charlesworth, Brian, and Nicholas H. Barton. “Recombination Load Associated with Selection for Increased Recombination.” Genetical Research, vol. 67, no. 1, Cambridge University Press, 1996, pp. 27–41, doi:10.1017/S0016672300033450.
View | DOI | PubMed | Europe PMC
 

1996 | Published | Journal Article | IST-REx-ID: 3756 | OA
Dogterom, Marileen, et al. “Influence of M-Phase Chromatin on the Anisotropy of Microtubule Asters.” Journal of Cell Biology, vol. 133, no. 1, Rockefeller University Press, 1996, pp. 125–40, 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, Nataraj, et al. “Viewing Geometric Protein Structures from inside a CAVE.” IEEE Computer Graphics and Applications, vol. 16, no. 4, IEEE, 1996, pp. 58–61, doi:10.1109/38.511855.
View | DOI
 

1996 | Published | Journal Article | IST-REx-ID: 4025 | OA
Akkiraju, Nataraj, and Herbert Edelsbrunner. “Triangulating the Surface of a Molecule.” Discrete Applied Mathematics, vol. 71, no. 1–3, Elsevier, 1996, pp. 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, Herbert, and Nimish Shah. “Incremental Topological Flipping Works for Regular Triangulations.” Algorithmica, vol. 15, no. 3, Springer, 1996, pp. 223–41, doi:10.1007/BF01975867.
View | DOI
 

1996 | Published | Journal Article | IST-REx-ID: 4027
Chazelle, Bernard, et al. “Lines in Space: Combinatorics and Algorithms.” Algorithmica, vol. 15, no. 5, Springer, 1996, pp. 428–47, doi:10.1007/BF01955043.
View | DOI
 

1996 | Published | Conference Poster | IST-REx-ID: 4030 | OA
Liang, Jie, et al. “Effects of Molecular Shape Representations on Boundary Element Method for Protein Electrostatics Computations.” Fortieth Annual Meeting, vol. 70, no. 2, Part 2, Cell Press, 1996, pp. 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, Jie, et al. “Analytical Method for Molecular Shapes: Area, Volume, Cavities, Interface and Pockets.” Fortieth Annual Meeting, vol. 70, no. 2, Part 2, Cell Press, 1996, pp. A377–A377, doi:10.1016/S0006-3495(96)79670-4.
View | DOI | Download None (ext.)
 

1996 | Published | Journal Article | IST-REx-ID: 4142
Whitfield, Tanya, et al. “Mutations Affecting Development of the Zebrafish Inner Ear and Lateral Line.” Development, vol. 123, Company of Biologists, 1996, pp. 241–54, 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: MLA

Export / Embed