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.
6965 Publications
1996 | 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 | Thesis | IST-REx-ID: 4419
Kopke, Peter. The Theory of Rectangular Hybrid Automata. Cornell University, 1996.
View
1996 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 6161 |
de Bono, Mario, and J. Hodgkin. “Evolution of Sex Determination in Caenorhabditis: Unusually High Divergence of Tra-1 and Its Functional Consequences.” Genetics, vol. 144, no. 2, Genetics Society of America, 1996, pp. 587–95.
[Published Version]
View
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 1943 |
Sazanov, Leonid A., and Baz Jackson. “Cyclic Reactions Catalysed by Detergent-Dispersed and Reconstituted Transhydrogenase from Beef Heart Mitochondria; Implications for the Mechanism of Proton Translocation.” Biochimica et Biophysica Acta - Bioenergetics, vol. 1231, no. 3, Elsevier, 1995, pp. 304–12, doi:10.1016/0005-2728(95)00096-2.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Book Chapter | IST-REx-ID: 2465
Morris, David, et al. “Auxin Transport.” Plant Hormones: Biosynthesis, Signal Transduction, Action!, edited by Peter Davies, Kluwer, 1995, pp. 451–84, doi:10.1007/978-1-4020-2686-7_21.
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 2491
Ohishi, Hitoshi, et al. “Distributions of the MRNAs for L-2-Amino-4-Phosphonobutyrate-Sensitive Metabotropic Glutamate Receptors, MGluR4 and MGluR7, in the Rat Brain.” Journal of Comparative Neurology, vol. 360, no. 4, Wiley-Blackwell, 1995, pp. 555–70, doi:10.1002/cne.903600402.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 2559 |
Masu, Masayuki, et al. “Specific Deficit of the ON Response in Visual Transmission by Targeted Disruption of the MGIuR6 Gene.” Cell, vol. 80, no. 5, Cell Press, 1995, pp. 757–65, doi:10.1016/0092-8674(95)90354-2.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 2558
Mick, Gérard, et al. “Localization of Substance P Receptors in Central Neural Structures Controlling Daily Rhythms in Nocturnal Rodents.” Comptes Rendus de l’Academie Des Sciences - Series III, vol. 318, no. 2, Gauthier Villars Editeur, 1995, pp. 209–17.
View
| Download None (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 2561
Ohishi, Hitoshi, et al. “Presynaptic Localization of a Metabotropic Glutamate Receptor, MGluR7, in the Primary Afferent Neurons: An Immunohistochemical Study in the Rat.” Neuroscience Letters, vol. 202, no. 1–2, Elsevier, 1995, pp. 85–88, doi:10.1016/0304-3940(95)12207-9.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 2560
Lü, Yan, et al. “Expression of C-Fos Protein in Substance P Receptor-like Immunoreactive Neurons in Response to Noxious Stimuli on the Urinary Bladder: An Observation in the Lumbosacral Cord Segments of the Rat.” Neuroscience Letters, vol. 198, no. 2, Elsevier, 1995, pp. 139–42, doi:10.1016/0304-3940(95)11991-5.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC