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.

1950 Publications


1997 | Journal Article | IST-REx-ID: 4174 | OA
Masai I, Heisenberg C-PJ, Barth KA, Macdonald R, Adamek S, Wilson S. 1997. Floating head and masterblind regulate neuronal patterning in the roof of the forebrain. Neuron. 18(1), 43–57.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 4285 | OA
Otto S, Barton NH. 1997. The evolution of recombination: Removing the limits to natural selection. Genetics. 147(2), 879–906.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Conference Paper | IST-REx-ID: 4441
Henzinger TA, Kopke P. 1997. Discrete-time control for rectangular hybrid automata. Proceedings of the 24th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 1256, 582–593.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4496
Henzinger TA, Kupferman O, Rajamani S. 1997. Fair simulation. Proceedings of the 8th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1243, 273–287.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4494
Henzinger TA, Ho P, Wong Toi H. 1997. HyTech: A model checker for hybrid systems. CAV: Computer Aided Verification, LNCS, vol. 1254, 460–463.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4583
Alur R, Henzinger TA. 1997. Modularity for timed and hybrid systems. 8th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1243, 74–88.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4608
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. 1997. Partial-order reduction in symbolic state-space exploration. 9th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1254, 340–351.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 8528
Kaloshin V. 1997. Prevalence in the space of finitely smooth maps. Functional Analysis and Its Applications. 31(2), 95–99.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 11804
Henzinger MH, Telle JA. 1996. Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning. 5th Scandinavian Workshop on Algorithm Theory. SWAT: Scandinavian Workshop on Algorithm Theory, LNCS, vol. 1097, 16–27.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 11910
Henzinger MH, Thorup M. 1996. Improved sampling with applications to dynamic graph algorithms. 23rd International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 1099, 290–299.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 11927 | OA
Henzinger MH, King V, Warnow T. 1996. Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology. 7th Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 333–340.
[Published Version] View | Files available | Download Published Version (ext.)
 

1996 | Journal Article | IST-REx-ID: 2562
Neki A, Ohishi H, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1996. Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody. Neuroscience Letters. 202(3), 197–200.
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2573
Tokuno H, Takada M, Kaneko T, Shigemoto R, Mizuno N. 1996. Patchy distribution of substance P receptor immunoreactivity in the developing rat striatum. Developmental Brain Research. 95(1), 107–117.
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4025 | OA
Akkiraju N, Edelsbrunner H. 1996. Triangulating the surface of a molecule. Discrete Applied Mathematics. 71(1–3), 5–22.
[Published Version] View | DOI | Download Published Version (ext.)
 

1996 | Journal Article | IST-REx-ID: 4151
Schilling T, Piotrowski T, Grandel H, Brand M, Heisenberg C-PJ, Jiang Y, Beuchle D, Hammerschmidt M, Kane D, Mullins M, Van Eeden F, Kelsh R, Furutani Seiki M, Granato M, Haffter P, Odenthal J, Warga R, Trowe T, Nüsslein Volhard C. 1996. Jaw and branchial arch mutants in zebrafish I: Branchial arches. Development. 123(1), 329–344.
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4170
Mullins M, Hammerschmidt M, Kane D, Odenthal J, Brand M, Van Eeden F, Furutani Seiki M, Granato M, Haffter P, Heisenberg C-PJ, Jiang Y, Kelsh R, Nüsslein Volhard C. 1996. Genes establishing dorsoventral pattern formation in the zebrafish embryo: The ventral specifying genes. Development. 123(1), 81–93.
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4164
Odenthal J, Rossnagel K, Haffter P, Kelsh R, Vogelsang E, Brand M, Van Eeden F, Furutani Seiki M, Granato M, Hammerschmidt M, Heisenberg C-PJ, Jiang Y, Kane D, Mullins M, Nüsslein Volhard C. 1996. Mutations affecting xanthophore pigmentation in the zebrafish, Danio rerio. Development. 123(1), 391–398.
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4212
Haffter P, Granato M, Brand M, Mullins M, Hammerschmidt M, Kane D, Odenthal J, Van Eeden F, Jiang Y, Heisenberg C-PJ, Kelsh R, Furutani Seiki M, Vogelsang E, Beuchle D, Schach U, Fabian C, Nüsslein Volhard C. 1996. The identification of genes with unique and essential functions in the development of the zebrafish, Danio rerio. Development. 123(1), 1–36.
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4215 | OA
Chen J, Haffter P, Odenthal J, Vogelsang E, Brand M, Van Eeden F, Furutani Seiki M, Granato M, Hammerschmidt M, Heisenberg C-PJ, Jiang Y, Kane D, Kelsh R, Mullins M, Nüsslein Volhard C. 1996. Mutations affecting the cardiovascular system and other internal organs in zebrafish. Development. 123, 293–302.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4027
Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Stolfi J. 1996. Lines in space: Combinatorics and algorithms. Algorithmica. 15(5), 428–447.
View | DOI
 

Filters and Search Terms

isbn%3D978-3-99078-004-6

Search

Filter Publications