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.
1867 Publications
1997 |Published| Conference Paper | IST-REx-ID: 4496
Henzinger, Thomas A., et al. “Fair Simulation.” Proceedings of the 8th International Conference on Concurrency Theory, vol. 1243, Springer, 1997, pp. 273–87, doi:10.1007/3-540-63141-0_19.
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4494
Henzinger, Thomas A., et al. HyTech: A Model Checker for Hybrid Systems. Vol. 1254, Springer, 1997, pp. 460–63, doi:10.1007/3-540-63166-6_48.
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4583
Alur, Rajeev, and Thomas A. Henzinger. “Modularity for Timed and Hybrid Systems.” 8th International Conference on Concurrency Theory, vol. 1243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88, doi:10.1007/3-540-63141-0_6.
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4608
Alur, Rajeev, et al. “Partial-Order Reduction in Symbolic State-Space Exploration.” 9th International Conference on Computer Aided Verification, vol. 1254, Springer, 1997, pp. 340–51, doi:10.1007/3-540-63166-6_34.
View
| DOI
1997 |Published| Journal Article | IST-REx-ID: 8528
Kaloshin, Vadim. “Prevalence in the Space of Finitely Smooth Maps.” Functional Analysis and Its Applications, vol. 31, no. 2, Springer Nature, 1997, pp. 95–99, doi:10.1007/bf02466014.
View
| DOI
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 2562
Neki, Akio, et al. “Pre- and Postsynaptic Localization of a Metabotropic Glutamate Receptor, MGluR2, in the Rat Brain: An Immunohistochemical Study with a Monoclonal Antibody.” Neuroscience Letters, vol. 202, no. 3, Elsevier, 1996, pp. 197–200, doi:10.1016/0304-3940(95)12248-6.
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2573
Tokuno, Hironobu, et al. “Patchy Distribution of Substance P Receptor Immunoreactivity in the Developing Rat Striatum.” Developmental Brain Research, vol. 95, no. 1, Elsevier, 1996, pp. 107–17, doi:10.1016/0165-3806(96)00080-6.
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 4025 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 4151
Schilling, Thomas, et al. “Jaw and Branchial Arch Mutants in Zebrafish I: Branchial Arches.” Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 329–44, doi:10.1242/dev.123.1.329.
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 4170
Mullins, Mary, et al. “Genes Establishing Dorsoventral Pattern Formation in the Zebrafish Embryo: The Ventral Specifying Genes.” Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 81–93, doi:10.1242/dev.123.1.81.
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 4164
Odenthal, Jörg, et al. “Mutations Affecting Xanthophore Pigmentation in the Zebrafish, Danio Rerio.” Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 391–98, doi:10.1242/dev.123.1.391.
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 4212
Haffter, Pascal, et al. “The Identification of Genes with Unique and Essential Functions in the Development of the Zebrafish, Danio Rerio.” Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 1–36, doi:10.1242/dev.123.1.1 .
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 4215 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chen, Jaunian, et al. “Mutations Affecting the Cardiovascular System and Other Internal Organs in Zebrafish.” Development, vol. 123, Company of Biologists, 1996, pp. 293–302, doi:10.1242/dev.123.1.293.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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| Journal Article | IST-REx-ID: 4191
Jiang, Yunjin, et al. “Mutations Affecting Neurogenesis and Brain Morphology in the Zebrafish, Danio Rerio.” Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 205–16, doi:10.1242/dev.123.1.205.
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 4189
Kane, Donald, et al. “The Zebrafish Early Arrest Mutants.” Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 57–66, doi:10.1242/dev.123.1.57 .
View
| DOI
| PubMed | Europe PMC
1996 |Published| Conference Paper | IST-REx-ID: 4443
Henzinger, Thomas A., and Peter Kopke. “State Equivalences for Rectangular Hybrid Automata.” 7th International Conference on Concurrency Theory, vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–45, doi:10.1007/3-540-61604-7_74.
View
| DOI
| Download None (ext.)