Please note that IST 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.

6292 Publications


1996 | Journal Article | IST-REx-ID: 4611
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.
View | DOI
 

1996 | 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 | 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.
View | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 3756
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 .
View | DOI
 

1996 | 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 | Journal Article | IST-REx-ID: 4025
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.
View | DOI
 

1996 | 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 | 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 | Conference Poster | IST-REx-ID: 4030
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
 

1996 | Conference Poster | IST-REx-ID: 4031
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
 

Search

Filter Publications