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.

6112 Publications


1996 | Conference Paper | IST-REx-ID: 3553
Edelsbrunner, Herbert, Ping Fu, and Jiang Quian. “Geometric Modeling in CAVE,” 35-41 and-193–94. ACM, 1996.
View | Download (ext.)
 

1996 | Journal Article | IST-REx-ID: 4610
Alur, Rajeev, Tomás Feder, and Thomas A Henzinger. “The Benefits of Relaxing Punctuality.” Journal of the ACM. ACM, 1996. https://doi.org/10.1145/227595.227602.
View | DOI | Download (ext.)
 

1996 | Journal Article | IST-REx-ID: 4611
Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems.” IEEE Transactions on Software Engineering. IEEE, 1996. https://doi.org/10.1109/32.489079.
View | DOI
 

1996 | Book (Editor) | IST-REx-ID: 4612
Alur, Rajeev, Thomas A Henzinger, and Eduardo D Sontag, eds. Hybrid Systems III: Verification and Control. Vol. 1066. Lecture Notes in Computer Science. Springer, 1996. https://doi.org/10.1007/BFb0020931.
View | DOI
 

1996 | Conference (Editor) | IST-REx-ID: 4585
Alur, Rajeev, and Thomas A Henzinger. CAV: Computer Aided Verification. CAV: Computer Aided Verification. Vol. 1102. Springer, 1996. https://doi.org/1075.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4588
Alur, Rajeev, and Thomas A Henzinger. “Reactive Modules,” 207–18. IEEE, 1996. https://doi.org/10.1109/LICS.1996.561320.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3756
Dogterom, Marileen, M. Felix, Calin C Guet, and Stanislas Leibler. “Influence of M-Phase Chromatin on the Anisotropy of Microtubule Asters.” Journal of Cell Biology. Rockefeller University Press, 1996. https://doi.org/doi: 10.1083/jcb.133.1.125 .
View | DOI
 

1996 | 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. Royal Society, The, 1996. https://doi.org/10.1098/rstb.1996.0073.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3635
Charlesworth, Brian, and Nicholas H Barton. “Recombination Load Associated with Selection for Increased Recombination.” Genetical Research. Cambridge University Press, 1996. https://doi.org/10.1017/S0016672300033450.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4024
Akkiraju, Nataraj, Herbert Edelsbrunner, Ping Fu, and Jiang Qian. “Viewing Geometric Protein Structures from inside a CAVE.” IEEE Computer Graphics and Applications. IEEE, 1996. https://doi.org/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. Elsevier, 1996. https://doi.org/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. Springer, 1996. https://doi.org/10.1007/BF01975867.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4027
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Jorge Stolfi. “Lines in Space: Combinatorics and Algorithms.” Algorithmica. Springer, 1996. https://doi.org/10.1007/BF01955043.
View | DOI
 

1996 | Conference Poster | IST-REx-ID: 4030
Liang, Jie, Herbert Edelsbrunner, and Shankar Subramaniam. Effects of Molecular Shape Representations on Boundary Element Method for Protein Electrostatics Computations. Fortieth Annual Meeting. Vol. 70. Cell Press, 1996. https://doi.org/10.1016/S0006-3495(96)79664-9.
View | DOI
 

1996 | Conference Poster | IST-REx-ID: 4031
Liang, Jie, Herbert Edelsbrunner, Sudhakar Pamidghantam, and Shankar Subramaniam. Analytical Method for Molecular Shapes: Area, Volume, Cavities, Interface and Pockets. Fortieth Annual Meeting. Vol. 70. Cell Press, 1996. https://doi.org/10.1016/S0006-3495(96)79670-4.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4142
Whitfield, Tanya, Michael Granato, Fredericus Van Eeden, Ursula Schach, Michael Brand, Makoto Furutani Seiki, Pascal Haffter, et al. “Mutations Affecting Development of the Zebrafish Inner Ear and Lateral Line.” Development. Company of Biologists, 1996.
View
 

1996 | Journal Article | IST-REx-ID: 4151
Schilling, Thomas, Tatjana Piotrowski, Heiner Grandel, Michael Brand, Carl-Philipp J Heisenberg, Yunjin Jiang, Dirk Beuchle, et al. “Jaw and Branchial Arch Mutants in Zebrafish I: Branchial Arches.” Development. Company of Biologists, 1996.
View
 

1996 | Journal Article | IST-REx-ID: 4154
Ransom, David, Pascal Haffter, Jörg Odenthal, Alison Brownlie, Elisabeth Vogelsang, Robert Kelsh, Michael Brand, et al. “Characterization of Zebrafish Mutants with Defects in Embryonic Hematopoiesis.” Development. Company of Biologists, 1996.
View
 

1996 | Journal Article | IST-REx-ID: 4156
Piotrowski, Tatjana, Thomas Schilling, Michael Brand, Yunjin Jiang, Carl-Philipp J Heisenberg, Dirk Beuchle, Heiner Grandel, et al. “Jaw and Branchial Arch Mutants in Zebrafish II: Anterior Arches and Cartilage Differentiation.” Development. Company of Biologists, 1996.
View | Download None (ext.)
 

1996 | Journal Article | IST-REx-ID: 4164
Odenthal, Jörg, Karin Rossnagel, Pascal Haffter, Robert Kelsh, Elisabeth Vogelsang, Michael Brand, Fredericus Van Eeden, et al. “Mutations Affecting Xanthophore Pigmentation in the Zebrafish, Danio Rerio.” Development. Company of Biologists, 1996.
View
 

Search

Filter Publications