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.
8924 Publications
1996 |
Published |
Journal Article |
IST-REx-ID: 4219 |
Brand, Michael, et al. “Mutations in Zebrafish Genes Affecting the Formation of the Boundary between Midbrain and Hindbrain.” Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 179–90, 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: 4220 |
Van Eeden, Fredericus, et al. “Genetic Analysis of Fin Formation in the Zebrafish, Danio Rerio.” Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 255–62, doi:10.1242/dev.123.1.255 .
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 |
Published |
Journal Article |
IST-REx-ID: 4222 |
Van Eeden, Fredericus, et al. “Mutations Affecting Somite Formation and Patterning in the Zebrafish, Danio Rerio.” Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 153–64, 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: 4292
Partridge, Linda, and Nicholas H. Barton. “On Measuring the Rate of Ageing.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 263, no. 1375, Royal Society of London, 1996, pp. 1365–71, doi:10.1098/rspb.1996.0200.
View
| DOI
| Download None (ext.)
1996 |
Published |
Book Chapter |
IST-REx-ID: 4294
Barton, Nicholas H., and Ian Wilson. “Genealogies and Geography.” New Uses for New Phylogenies, Oxford University Press, 1996, pp. 23–56, doi:10.1098/rstb.1995.0090.
View
| DOI
| PubMed | Europe PMC
1996 |
Published |
Book Chapter |
IST-REx-ID: 4295 |
Barton, Nicholas H. “Speciation: More than the Sum of Its Parts.” Current Biology, vol. 6, Cell Press, 1996, pp. 1244–46, 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, Peter. The Theory of Rectangular Hybrid Automata. Cornell University, 1996.
View
1996 |
Published |
Conference Paper |
IST-REx-ID: 4426
Henzinger, Thomas A., and Howard Wong Toi. “Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.” Hybrid Systems III: Verification and Control, edited by Rajeev Alur et al., vol. 1066, Springer, 1996, pp. 377–88, doi:10.1007/BFb0020961.
View
| DOI
| Download None (ext.)
1996 |
Published |
Book Chapter |
IST-REx-ID: 4427
Henzinger, Thomas A., and Howard Wong Toi. “Using HyTech to Synthesize Control Parameters for a Steam Boiler.” Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, vol. 1165, Springer, 1996, pp. 265–82, doi:10.1007/BFb0027241.
View
| DOI
| Download None (ext.)
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.)
1996 |
Published |
Conference Paper |
IST-REx-ID: 4495
Henzinger, Thomas A., et al. “A Space-Efficient on-the-Fly Algorithm for Real-Time Model Checking.” 7th International Conference on Concurrency Theory, vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–29, doi:10.1007/3-540-61604-7_73.
View
| DOI
| Download None (ext.)
1996 |
Published |
Conference Paper |
IST-REx-ID: 4519
Henzinger, Thomas A. “The Theory of Hybrid Automata.” Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 278–92, doi:10.1109/LICS.1996.561342 .
View
| DOI
| Download None (ext.)
1996 |
Published |
Conference (Editor) |
IST-REx-ID: 4585
Henzinger, Thomas A., and Rajeev Alur, editors. 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, Rajeev, and Thomas A. Henzinger. “Reactive Modules.” Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 207–18, doi:10.1109/LICS.1996.561320.
View
| DOI
| Download None (ext.)
1996 |
Published |
Journal Article |
IST-REx-ID: 4610
Alur, Rajeev, et al. “The Benefits of Relaxing Punctuality.” Journal of the ACM, vol. 43, no. 1, ACM, 1996, pp. 116–46, doi:10.1145/227595.227602.
View
| DOI
| Download None (ext.)
1996 |
Published |
Journal Article |
IST-REx-ID: 4611 |
Alur, Rajeev, et al. “Automatic Symbolic Verification of Embedded Systems.” IEEE Transactions on Software Engineering, vol. 22, no. 3, IEEE, 1996, pp. 181–201, doi:10.1109/32.489079.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1996 |
Published |
Book (Editor) |
IST-REx-ID: 4612
Alur, Rajeev, et al., editors. Hybrid Systems III: Verification and Control. Vol. 1066, Springer, 1996, doi:10.1007/BFb0020931.
View
| DOI
1996 |
Published |
Journal Article |
IST-REx-ID: 2492
Neki, Akio, et al. “Metabotropic Glutamate Receptors MGluR2 and MGluR5 Are Expressed in Two Non-Overlapping Populations of Golgi Cells in the Rat Cerebellum.” Neuroscience, vol. 75, no. 3, Elsevier, 1996, pp. 815–26, doi:10.1016/0306-4522(96)00316-8.
View
| DOI
| PubMed | Europe PMC
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: 2564
Ding, Yu, et al. “Localization of the Neuromedin K Receptor (NK3) in the Central Nervous System of the Rat.” Journal of Comparative Neurology, vol. 364, no. 2, Wiley-Blackwell, 1996, pp. 290–310, doi:10.1002/(SICI)1096-9861(19960108)364:2<290::AID-CNE8>3.0.CO;2-0.
View
| DOI
| PubMed | Europe PMC