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.
6978 Publications
1997 |Published| Journal Article | IST-REx-ID: 4285 | 
Otto, Sarah, and Nicholas H. Barton. “The Evolution of Recombination: Removing the Limits to Natural Selection.” Genetics, vol. 147, no. 2, Genetics Society of America, 1997, pp. 879–906, doi:10.1093/genetics/147.2.879.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 |Published| Book Chapter | IST-REx-ID: 4284
Barton, Nicholas H. “Natural Selection and Random Genetic Drift as Causes of Evolution on Islands.” Evolution on Islands, Oxford University Press, 1997, pp. 102–23, doi:10.1098/rstb.1996.0073.
View
| DOI
| PubMed | Europe PMC
1997 |Published| Conference Paper | IST-REx-ID: 4438
Henzinger, Thomas A., and Orna Kupferman. “From Quantity to Quality.” Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, vol. 1201, Springer, 1997, pp. 48–62, doi:10.1007/BFb0014712.
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4441
Henzinger, Thomas A., and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” Proceedings of the 24th International Colloquium on Automata, Languages and Programming, vol. 1256, Springer, 1997, pp. 582–93, doi:10.1007/3-540-63165-8_213.
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4496
Henzinger, Thomas A., et al. “Fair Simulation.” Proceedings of the 8th International Conference on Concurrency Theory, vol. 1243, Springer, 1997, pp. 273–87, doi:10.1007/3-540-63141-0_19.
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4494
Henzinger, Thomas A., et al. HyTech: A Model Checker for Hybrid Systems. Vol. 1254, Springer, 1997, pp. 460–63, doi:10.1007/3-540-63166-6_48.
View
| DOI
1997 |Published| Journal Article | IST-REx-ID: 4493
Henzinger, Thomas A., et al. “HyTech: A Model Checker for Hybrid Systems.” Software Tools For Technology Transfer, vol. 1, no. 1–2, Springer, 1997, pp. 110–22, doi:10.1007/s100090050008.
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4520
Gupta, Vineet, et al. “Robust Timed Automata.” Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, vol. 1201, Springer, 1997, pp. 331–45, doi:10.1007/BFb0014736.
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4583
Alur, Rajeev, and Thomas A. Henzinger. “Modularity for Timed and Hybrid Systems.” 8th International Conference on Concurrency Theory, vol. 1243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88, doi:10.1007/3-540-63141-0_6.
View
| DOI
1997 |Published| Journal Article | IST-REx-ID: 4584
Alur, Rajeev, and Thomas A. Henzinger. “Real-Time System = Discrete System + Clock Variables.” Software Tools For Technology Transfer, vol. 1, no. 1–2, Springer, 1997, pp. 86–109, doi:10.1007/s100090050007.
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4608
Alur, Rajeev, et al. “Partial-Order Reduction in Symbolic State-Space Exploration.” 9th International Conference on Computer Aided Verification, vol. 1254, Springer, 1997, pp. 340–51, doi:10.1007/3-540-63166-6_34.
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4609
Alur, Rajeev, et al. “Alternating-Time Temporal Logic.” Proceedings of the 38th Annual Symposium on Foundations of Computer Science, Association for Computing Machinery (ACM), 1997, pp. 100–09, doi:10.1145/585265.585270.
View
| DOI
1997 |Published| Journal Article | IST-REx-ID: 4607
Alur, Rajeev, et al. “Computing Accumulated Delays in Real-Time Systems.” Formal Methods in System Design, vol. 11, no. 2, Springer, 1997, pp. 137–56, doi:10.1023/A:1008626013578.
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4605
Alur, Rajeev, et al. “Symbolic Analysis of Hybrid Systems.” Proceedings of the 36th IEEE Conference on Decision and Control, IEEE, 1997, pp. 702–07, doi:10.1109/CDC.1997.650717 .
View
| DOI
1996 |Published| Conference Paper | IST-REx-ID: 1942
Sazanov, Leonid A., et al. Presence of a Large Protein Complex Containing the NdhK Gene Product and Possessing NADH-Specific Dehydrogenase Activity in Thylakoid Membranes of Higher Plant Chloroplasts. Vol. 2, Kluwer, 1996, pp. 705–08.
View
1996 |Published| Journal Article | IST-REx-ID: 1952
Bizouarn, Tania, et al. “Estimation of the H+/H- Ratio of the Reaction Catalysed by the Nicotinamide Nucleotide Transhydrogenase in Chromatophores from over-Expressing Strains of Rhodospirillum Rubrum and in Liposomes Inlaid with the Purified Bovine Enzyme.” Biochimica et Biophysica Acta - Bioenergetics, vol. 1273, no. 1, Elsevier, 1996, pp. 4–12, doi:10.1016/0005-2728(95)00125-5.
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 1951
Sazanov, Leonid A., et al. “Detection and Characterization of a Complex I-like NADH-Specific Dehydrogenase from Pea Thylakoids.” Biochemical Society Transactions, vol. 24, no. 3, Portland Press, 1996, pp. 739–43, doi:10.1042/bst0240739.
View
| DOI
| PubMed | Europe PMC
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: 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
1996 |Published| Journal Article | IST-REx-ID: 2566
Kinoshita, Ayae, et al. “Presynaptic Localization of a Metabotropic Glutamate Receptor, MGluR8, in the Rhinencephalic Areas: A Light and Electron Microscope Study in the Rat.” Neuroscience Letters, vol. 207, no. 1, Elsevier, 1996, pp. 61–64, doi:10.1016/0304-3940(96)12489-7.
View
| DOI
| PubMed | Europe PMC