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.
7036 Publications
1996 |Published| Journal Article | IST-REx-ID: 4156
Piotrowski T, Schilling T, Brand M, et al. Jaw and branchial arch mutants in zebrafish II: Anterior arches and cartilage differentiation. Development. 1996;123(1):345-356. doi:10.1242/dev.123.1.345
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 4191
Jiang Y, Brand M, Heisenberg C-PJ, et al. Mutations affecting neurogenesis and brain morphology in the zebrafish, Danio rerio. Development. 1996;123(1):205-216. doi:10.1242/dev.123.1.205
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 4186
Kelsh R, Brand M, Jiang Y, et al. Zebrafish pigmentation mutations and the processes of neural crest development. Development. 1996;123(1):369-389. doi:10.1242/dev.123.1.369
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 4189
Kane D, Maischein H, Brand M, et al. The zebrafish early arrest mutants. Development. 1996;123(1):57-66. doi:10.1242/dev.123.1.57
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 4188
Kane D, Hammerschmidt M, Mullins M, et al. The zebrafish epiboly mutants. Development. 1996;123(1):47-55. doi:10.1242/dev.123.1.47
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 4203
Heisenberg C-PJ, Brand M, Jiang Y, et al. Genes involved in forebrain development in the zebrafish, Danio rerio. Development. 1996;123:191-203. doi:10.1242/dev.123.1.191
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 4216 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Brand M, Heisenberg C-PJ, Warga R, et al. Mutations affecting development of the midline and general body shape during zebrafish embryogenesis. Development. 1996;123(1):129-142. doi:10.1242/dev.123.1.129
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 4219 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Brand M, Heisenberg C-PJ, Jiang Y, et al. Mutations in zebrafish genes affecting the formation of the boundary between midbrain and hindbrain. Development. 1996;123(1):179-190. doi:10.1242/dev.123.1.179
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 4222 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Van Eeden F, Granato M, Schach U, et al. Mutations affecting somite formation and patterning in the zebrafish, Danio rerio. Development. 1996;123(1):153-164. doi:10.1242/dev.123.1.153
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 4220 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Van Eeden F, Granato M, Schach U, et al. Genetic analysis of fin formation in the zebrafish, Danio rerio. Development. 1996;123(1):255-262. doi:10.1242/dev.123.1.255
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 |Published| Book Chapter | IST-REx-ID: 4294
Barton NH, Wilson I. Genealogies and geography. In: New Uses for New Phylogenies. Oxford University Press; 1996:23-56. doi:10.1098/rstb.1995.0090
View
| DOI
| PubMed | Europe PMC
1996 |Published| Book Chapter | IST-REx-ID: 4295 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Barton NH. Speciation: more than the sum of its parts. In: Current Biology. Vol 6. Cell Press; 1996:1244-1246. doi:10.1016/S0960-9822(02)70707-0
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 |Published| Thesis | IST-REx-ID: 4419
Kopke P. The Theory of Rectangular Hybrid Automata. 1996.
View
1996 |Published| Conference Paper | IST-REx-ID: 4426
Henzinger TA, Wong Toi H. Linear phase-portrait approximations for nonlinear hybrid systems. In: Alur R, Henzinger TA, Sontag E, eds. Hybrid Systems III: Verification and Control. Vol 1066. Springer; 1996:377-388. doi:10.1007/BFb0020961
View
| DOI
| Download None (ext.)
1996 |Published| Book Chapter | IST-REx-ID: 4427
Henzinger TA, Wong Toi H. Using HyTech to synthesize control parameters for a steam boiler. In: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. Vol 1165. Springer; 1996:265-282. doi:10.1007/BFb0027241
View
| DOI
| Download None (ext.)
1996 |Published| Conference Paper | IST-REx-ID: 4443
Henzinger TA, Kopke P. State equivalences for rectangular hybrid automata. In: 7th International Conference on Concurrency Theory. Vol 1119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1996:530-545. doi:10.1007/3-540-61604-7_74
View
| DOI
| Download None (ext.)
1996 |Published| Conference Paper | IST-REx-ID: 4495
Henzinger TA, Kupferman O, Vardi M. A space-efficient on-the-fly algorithm for real-time model checking. In: 7th International Conference on Concurrency Theory. Vol 1119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1996:514-529. doi:10.1007/3-540-61604-7_73
View
| DOI
| Download None (ext.)
1996 |Published| Conference Paper | IST-REx-ID: 4519
Henzinger TA. The theory of hybrid automata. In: Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1996:278-292. doi:10.1109/LICS.1996.561342
View
| DOI
| Download None (ext.)
1996 |Published| Conference (Editor) | IST-REx-ID: 4585
Henzinger TA, Alur R, eds. 8th International Conference on Computer Aided Verification. Vol 1102. Springer; 1996. doi:10.1007/3-540-61474-5
View
| DOI
| Download None (ext.)
1996 |Published| Conference Paper | IST-REx-ID: 4588
Alur R, Henzinger TA. Reactive modules. In: Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1996:207-218. doi:10.1109/LICS.1996.561320
View
| DOI
| Download None (ext.)