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 S, Barton NH. The evolution of recombination: Removing the limits to natural selection. Genetics. 1997;147(2):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 NH. Natural selection and random genetic drift as causes of evolution on islands. In: Evolution on Islands. Oxford University Press; 1997:102-123. doi:10.1098/rstb.1996.0073
View
| DOI
| PubMed | Europe PMC
1997 |Published| Conference Paper | IST-REx-ID: 4438
Henzinger TA, Kupferman O. From quantity to quality. In: Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems. Vol 1201. Springer; 1997:48-62. doi:10.1007/BFb0014712
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4441
Henzinger TA, Kopke P. Discrete-time control for rectangular hybrid automata. In: Proceedings of the 24th International Colloquium on Automata, Languages and Programming. Vol 1256. Springer; 1997:582-593. doi:10.1007/3-540-63165-8_213
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4496
Henzinger TA, Kupferman O, Rajamani S. Fair simulation. In: Proceedings of the 8th International Conference on Concurrency Theory. Vol 1243. Springer; 1997:273-287. doi:10.1007/3-540-63141-0_19
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4494
Henzinger TA, Ho P, Wong Toi H. HyTech: A model checker for hybrid systems. In: Vol 1254. Springer; 1997:460-463. doi:10.1007/3-540-63166-6_48
View
| DOI
1997 |Published| Journal Article | IST-REx-ID: 4493
Henzinger TA, Ho P, Wong Toi H. HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. 1997;1(1-2):110-122. doi:10.1007/s100090050008
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4520
Gupta V, Henzinger TA, Jagadeesan R. Robust timed automata. In: Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems. Vol 1201. Springer; 1997:331-345. doi:10.1007/BFb0014736
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4583
Alur R, Henzinger TA. Modularity for timed and hybrid systems. In: 8th International Conference on Concurrency Theory. Vol 1243. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1997:74-88. doi:10.1007/3-540-63141-0_6
View
| DOI
1997 |Published| Journal Article | IST-REx-ID: 4584
Alur R, Henzinger TA. Real-time system = discrete system + clock variables. Software Tools For Technology Transfer. 1997;1(1-2):86-109. doi:10.1007/s100090050007
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4608
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. Partial-order reduction in symbolic state-space exploration. In: 9th International Conference on Computer Aided Verification. Vol 1254. Springer; 1997:340-351. doi:10.1007/3-540-63166-6_34
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4609
Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. In: Proceedings of the 38th Annual Symposium on Foundations of Computer Science. Association for Computing Machinery (ACM); 1997:100-109. doi:10.1145/585265.585270
View
| DOI
1997 |Published| Journal Article | IST-REx-ID: 4607
Alur R, Courcoubetis C, Henzinger TA. Computing accumulated delays in real-time systems. Formal Methods in System Design. 1997;11(2):137-156. doi:10.1023/A:1008626013578
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4605
Alur R, Henzinger TA, Wong Toi H. Symbolic analysis of hybrid systems. In: Proceedings of the 36th IEEE Conference on Decision and Control. IEEE; 1997:702-707. doi:10.1109/CDC.1997.650717
View
| DOI
1996 |Published| Conference Paper | IST-REx-ID: 1942
Sazanov LA, Burrows P, Nixon PJ. Presence of a large protein complex containing the ndhK gene product and possessing NADH-specific dehydrogenase activity in thylakoid membranes of higher plant chloroplasts. In: Vol 2. Kluwer; 1996:705-708.
View
1996 |Published| Journal Article | IST-REx-ID: 1952
Bizouarn T, Sazanov LA, Aubourg S, Jackson J. 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. 1996;1273(1):4-12. doi:10.1016/0005-2728(95)00125-5
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 1951
Sazanov LA, Burrows P, Nixon P. Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids. Biochemical Society Transactions. 1996;24(3):739-743. doi:10.1042/bst0240739
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2492
Neki A, Ohishi H, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum. Neuroscience. 1996;75(3):815-826. doi:10.1016/0306-4522(96)00316-8
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2564
Ding Y, Shigemoto R, Takada M, Ohishi H, Nakanishi S, Mizuno N. Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat. Journal of Comparative Neurology. 1996;364(2):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 A, Ohishi H, Neki A, 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. 1996;207(1):61-64. doi:10.1016/0304-3940(96)12489-7
View
| DOI
| PubMed | Europe PMC