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.
1847 Publications
1997 | Conference Paper | IST-REx-ID: 4496
Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, in:, Proceedings of the 8th International Conference on Concurrency Theory, Springer, 1997, pp. 273–287.
View
| DOI
T.A. Henzinger, O. Kupferman, S. Rajamani, in:, Proceedings of the 8th International Conference on Concurrency Theory, Springer, 1997, pp. 273–287.
1997 | Conference Paper | IST-REx-ID: 4494
HyTech: A model checker for hybrid systems
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1997, pp. 460–463.
View
| DOI
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1997, pp. 460–463.
1997 | Conference Paper | IST-REx-ID: 4583
Modularity for timed and hybrid systems
R. Alur, T.A. Henzinger, in:, 8th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88.
View
| DOI
R. Alur, T.A. Henzinger, in:, 8th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88.
1997 | Conference Paper | IST-REx-ID: 4608
Partial-order reduction in symbolic state-space exploration
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, in:, 9th International Conference on Computer Aided Verification, Springer, 1997, pp. 340–351.
View
| DOI
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, in:, 9th International Conference on Computer Aided Verification, Springer, 1997, pp. 340–351.
1997 | Journal Article | IST-REx-ID: 8528
Prevalence in the space of finitely smooth maps
V. Kaloshin, Functional Analysis and Its Applications 31 (1997) 95–99.
View
| DOI
V. Kaloshin, Functional Analysis and Its Applications 31 (1997) 95–99.
1996 | Conference Paper | IST-REx-ID: 11804
Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning
M.H. Henzinger, J.A. Telle, in:, 5th Scandinavian Workshop on Algorithm Theory, Springer Nature, 1996, pp. 16–27.
View
| DOI
M.H. Henzinger, J.A. Telle, in:, 5th Scandinavian Workshop on Algorithm Theory, Springer Nature, 1996, pp. 16–27.
1996 | Conference Paper | IST-REx-ID: 11910
Improved sampling with applications to dynamic graph algorithms
M.H. Henzinger, M. Thorup, in:, 23rd International Colloquium on Automata, Languages, and Programming, Springer Nature, 1996, pp. 290–299.
View
| DOI
M.H. Henzinger, M. Thorup, in:, 23rd International Colloquium on Automata, Languages, and Programming, Springer Nature, 1996, pp. 290–299.
1996 | Conference Paper | IST-REx-ID: 11927 | 
Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology
M.H. Henzinger, V. King, T. Warnow, in:, 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1996, pp. 333–340.
[Published Version]
View
| Files available
| Download Published Version (ext.)
M.H. Henzinger, V. King, T. Warnow, in:, 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1996, pp. 333–340.
1996 | Journal Article | IST-REx-ID: 2562
Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody
A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience Letters 202 (1996) 197–200.
View
| DOI
| PubMed | Europe PMC
A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience Letters 202 (1996) 197–200.
1996 | Journal Article | IST-REx-ID: 2573
Patchy distribution of substance P receptor immunoreactivity in the developing rat striatum
H. Tokuno, M. Takada, T. Kaneko, R. Shigemoto, N. Mizuno, Developmental Brain Research 95 (1996) 107–117.
View
| DOI
| PubMed | Europe PMC
H. Tokuno, M. Takada, T. Kaneko, R. Shigemoto, N. Mizuno, Developmental Brain Research 95 (1996) 107–117.
1996 | Journal Article | IST-REx-ID: 4025 |
Triangulating the surface of a molecule
N. Akkiraju, H. Edelsbrunner, Discrete Applied Mathematics 71 (1996) 5–22.
[Published Version]
View
| DOI
| Download Published Version (ext.)
N. Akkiraju, H. Edelsbrunner, Discrete Applied Mathematics 71 (1996) 5–22.
1996 | Journal Article | IST-REx-ID: 4151
Jaw and branchial arch mutants in zebrafish I: Branchial arches
T. Schilling, T. Piotrowski, H. Grandel, M. Brand, C.-P.J. Heisenberg, Y. Jiang, D. Beuchle, M. Hammerschmidt, D. Kane, M. Mullins, F. Van Eeden, R. Kelsh, M. Furutani Seiki, M. Granato, P. Haffter, J. Odenthal, R. Warga, T. Trowe, C. Nüsslein Volhard, Development 123 (1996) 329–344.
View
| DOI
| PubMed | Europe PMC
T. Schilling, T. Piotrowski, H. Grandel, M. Brand, C.-P.J. Heisenberg, Y. Jiang, D. Beuchle, M. Hammerschmidt, D. Kane, M. Mullins, F. Van Eeden, R. Kelsh, M. Furutani Seiki, M. Granato, P. Haffter, J. Odenthal, R. Warga, T. Trowe, C. Nüsslein Volhard, Development 123 (1996) 329–344.
1996 | Journal Article | IST-REx-ID: 4170
Genes establishing dorsoventral pattern formation in the zebrafish embryo: The ventral specifying genes
M. Mullins, M. Hammerschmidt, D. Kane, J. Odenthal, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, P. Haffter, C.-P.J. Heisenberg, Y. Jiang, R. Kelsh, C. Nüsslein Volhard, Development 123 (1996) 81–93.
View
| DOI
| PubMed | Europe PMC
M. Mullins, M. Hammerschmidt, D. Kane, J. Odenthal, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, P. Haffter, C.-P.J. Heisenberg, Y. Jiang, R. Kelsh, C. Nüsslein Volhard, Development 123 (1996) 81–93.
1996 | Journal Article | IST-REx-ID: 4164
Mutations affecting xanthophore pigmentation in the zebrafish, Danio rerio
J. Odenthal, K. Rossnagel, P. Haffter, R. Kelsh, E. Vogelsang, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, M. Mullins, C. Nüsslein Volhard, Development 123 (1996) 391–398.
View
| DOI
| PubMed | Europe PMC
J. Odenthal, K. Rossnagel, P. Haffter, R. Kelsh, E. Vogelsang, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, M. Mullins, C. Nüsslein Volhard, Development 123 (1996) 391–398.
1996 | Journal Article | IST-REx-ID: 4212
The identification of genes with unique and essential functions in the development of the zebrafish, Danio rerio
P. Haffter, M. Granato, M. Brand, M. Mullins, M. Hammerschmidt, D. Kane, J. Odenthal, F. Van Eeden, Y. Jiang, C.-P.J. Heisenberg, R. Kelsh, M. Furutani Seiki, E. Vogelsang, D. Beuchle, U. Schach, C. Fabian, C. Nüsslein Volhard, Development 123 (1996) 1–36.
View
| DOI
| PubMed | Europe PMC
P. Haffter, M. Granato, M. Brand, M. Mullins, M. Hammerschmidt, D. Kane, J. Odenthal, F. Van Eeden, Y. Jiang, C.-P.J. Heisenberg, R. Kelsh, M. Furutani Seiki, E. Vogelsang, D. Beuchle, U. Schach, C. Fabian, C. Nüsslein Volhard, Development 123 (1996) 1–36.
1996 | Journal Article | IST-REx-ID: 4215 |
Mutations affecting the cardiovascular system and other internal organs in zebrafish
J. Chen, P. Haffter, J. Odenthal, E. Vogelsang, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, C. Nüsslein Volhard, Development 123 (1996) 293–302.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Chen, P. Haffter, J. Odenthal, E. Vogelsang, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, C. Nüsslein Volhard, Development 123 (1996) 293–302.
1996 | Journal Article | IST-REx-ID: 4027
Lines in space: Combinatorics and algorithms
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, J. Stolfi, Algorithmica 15 (1996) 428–447.
View
| DOI
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, J. Stolfi, Algorithmica 15 (1996) 428–447.
1996 | Journal Article | IST-REx-ID: 4191
Mutations affecting neurogenesis and brain morphology in the zebrafish, Danio rerio
Y. Jiang, M. Brand, C.-P.J. Heisenberg, D. Beuchle, M. Furutani Seiki, R. Kelsh, R. Warga, M. Granato, P. Haffter, M. Hammerschmidt, D. Kane, M. Mullins, J. Odenthal, F. Van Eeden, C. Nüsslein Volhard, Development 123 (1996) 205–216.
View
| DOI
| PubMed | Europe PMC
Y. Jiang, M. Brand, C.-P.J. Heisenberg, D. Beuchle, M. Furutani Seiki, R. Kelsh, R. Warga, M. Granato, P. Haffter, M. Hammerschmidt, D. Kane, M. Mullins, J. Odenthal, F. Van Eeden, C. Nüsslein Volhard, Development 123 (1996) 205–216.
1996 | Journal Article | IST-REx-ID: 4189
The zebrafish early arrest mutants
D. Kane, H. Maischein, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, P. Haffter, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, R. Kelsh, M. Mullins, J. Odenthal, R. Warga, C. Nüsslein Volhard, Development 123 (1996) 57–66.
View
| DOI
| PubMed | Europe PMC
D. Kane, H. Maischein, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, P. Haffter, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, R. Kelsh, M. Mullins, J. Odenthal, R. Warga, C. Nüsslein Volhard, Development 123 (1996) 57–66.
1996 | Conference Paper | IST-REx-ID: 4443
State equivalences for rectangular hybrid automata
T.A. Henzinger, P. Kopke, in:, 7th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–545.
View
| DOI
| Download None (ext.)
T.A. Henzinger, P. Kopke, in:, 7th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–545.