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.
1941 Publications
1996 | Conference Paper | IST-REx-ID: 11910
Henzinger, Monika H, and Mikkel Thorup. “Improved Sampling with Applications to Dynamic Graph Algorithms.” In 23rd International Colloquium on Automata, Languages, and Programming, 1099:290–99. Springer Nature, 1996. https://doi.org/10.1007/3-540-61440-0_136.
View
| DOI
1996 | Conference Paper | IST-REx-ID: 11927 | 
Henzinger, Monika H, Valerie King, and Tandy Warnow. “Constructing a Tree from Homeomorphic Subtrees, with Applications to Computational Evolutionary Biology.” In 7th Annual ACM-SIAM Symposium on Discrete Algorithms, 333–40. Society for Industrial and Applied Mathematics, 1996.
[Published Version]
View
| Files available
| Download Published Version (ext.)
1996 | Journal Article | IST-REx-ID: 2562
Neki, Akio, Hitoshi Ohishi, Takeshi Kaneko, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Pre- and Postsynaptic Localization of a Metabotropic Glutamate Receptor, MGluR2, in the Rat Brain: An Immunohistochemical Study with a Monoclonal Antibody.” Neuroscience Letters. Elsevier, 1996. https://doi.org/10.1016/0304-3940(95)12248-6.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2573
Tokuno, Hironobu, Masahiko Takada, Takeshi Kaneko, Ryuichi Shigemoto, and Noboru Mizuno. “Patchy Distribution of Substance P Receptor Immunoreactivity in the Developing Rat Striatum.” Developmental Brain Research. Elsevier, 1996. https://doi.org/10.1016/0165-3806(96)00080-6.
View
| DOI
| PubMed | Europe PMC
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
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. https://doi.org/10.1242/dev.123.1.329.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4170
Mullins, Mary, Matthias Hammerschmidt, Donald Kane, Jörg Odenthal, Michael Brand, Fredericus Van Eeden, Makoto Furutani Seiki, et al. “Genes Establishing Dorsoventral Pattern Formation in the Zebrafish Embryo: The Ventral Specifying Genes.” Development. Company of Biologists, 1996. https://doi.org/10.1242/dev.123.1.81.
View
| DOI
| PubMed | Europe PMC
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. https://doi.org/10.1242/dev.123.1.391.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4212
Haffter, Pascal, Michael Granato, Michael Brand, Mary Mullins, Matthias Hammerschmidt, Donald Kane, Jörg Odenthal, et al. “The Identification of Genes with Unique and Essential Functions in the Development of the Zebrafish, Danio Rerio.” Development. Company of Biologists, 1996. https://doi.org/10.1242/dev.123.1.1 .
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4215 |
Chen, Jaunian, Pascal Haffter, Jörg Odenthal, Elisabeth Vogelsang, Michael Brand, Fredericus Van Eeden, Makoto Furutani Seiki, et al. “Mutations Affecting the Cardiovascular System and Other Internal Organs in Zebrafish.” Development. Company of Biologists, 1996. https://doi.org/10.1242/dev.123.1.293.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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 | Journal Article | IST-REx-ID: 4191
Jiang, Yunjin, Michael Brand, Carl-Philipp J Heisenberg, Dirk Beuchle, Makoto Furutani Seiki, Robert Kelsh, Rachel Warga, et al. “Mutations Affecting Neurogenesis and Brain Morphology in the Zebrafish, Danio Rerio.” Development. Company of Biologists, 1996. https://doi.org/10.1242/dev.123.1.205.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4189
Kane, Donald, Hans Maischein, Michael Brand, Fredericus Van Eeden, Makoto Furutani Seiki, Michael Granato, Pascal Haffter, et al. “The Zebrafish Early Arrest Mutants.” Development. Company of Biologists, 1996. https://doi.org/10.1242/dev.123.1.57 .
View
| DOI
| PubMed | Europe PMC
1996 | Conference Paper | IST-REx-ID: 4443
Henzinger, Thomas A, and Peter Kopke. “State Equivalences for Rectangular Hybrid Automata.” In 7th International Conference on Concurrency Theory, 1119:530–45. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996. https://doi.org/10.1007/3-540-61604-7_74.
View
| DOI
| Download None (ext.)
1996 | Conference Paper | IST-REx-ID: 4495
Henzinger, Thomas A, Orna Kupferman, and Moshe Vardi. “A Space-Efficient on-the-Fly Algorithm for Real-Time Model Checking.” In 7th International Conference on Concurrency Theory, 1119:514–29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996. https://doi.org/10.1007/3-540-61604-7_73.
View
| DOI
| Download None (ext.)
1996 | Conference (Editor) | IST-REx-ID: 4585
Henzinger, Thomas A, and Rajeev Alur, eds. 8th International Conference on Computer Aided Verification. Vol. 1102. Springer, 1996. https://doi.org/10.1007/3-540-61474-5.
View
| DOI
| Download None (ext.)
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. Berlin ; Heidelberg: Springer, 1996. https://doi.org/10.1007/BFb0020931.
View
| DOI
1995 | Journal Article | IST-REx-ID: 11677
Henzinger, Monika H. “Fully Dynamic Biconnectivity in Graphs.” Algorithmica. Springer Nature, 1995. https://doi.org/10.1007/bf01189067.
View
| DOI
1995 | Conference Paper | IST-REx-ID: 11806
Henzinger, Monika H. “Approximating Minimum Cuts under Insertions.” In 22nd International Colloquium on Automata, Languages and Programming, 944:280–291. Springer Nature, 1995. https://doi.org/10.1007/3-540-60084-1_81.
View
| DOI
1995 | Conference Paper | IST-REx-ID: 11805
Henzinger, Monika H, and Han Poutré. “Certificates and Fast Algorithms for Biconnectivity in Fully-Dynamic Graphs.” In 3rd Annual European Symposium on Algorithms, 979:171–184. Springer Nature, 1995. https://doi.org/10.1007/3-540-60313-1_142.
View
| DOI