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.
9789 Publications
1993 | Published | Book Chapter | IST-REx-ID: 4301
Barton NH, Gale K. Genetic analysis of hybrid zones. In: Harrison R, ed. Hybrid Zones and the Evolutionary Process. Oxford University Press; 1993:13-45. doi:10.1046/j.1420-9101.1994.7050631.x
View
| DOI
| Download None (ext.)
1993 | Published | Book Review | IST-REx-ID: 4302
Barton NH. Review of "The causes of molecular evolution" by J.H. Gillespie. Genetical Research. 1993;62(1):77-85. doi:10.1017/S001667230003158X
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4303 | 
Barton NH. The probability of fixation of a favoured allele in a subdivided population. Genetics Research. 1993;62(2):149-158. doi:10.1017/S0016672300031748
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4304
Barton NH. Why species and subspecies? Current Biology. 1993;3(11):797-799. doi:10.1016/0960-9822(93)90036-N
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4506
Henzinger TA, Manna Z, Pnueli A. Towards refining temporal specifications into hybrid systems. In: Grossman R, Nerode A, Ravn A, Rischel H, eds. International Hybrid Systems Workshop. Vol 736. Springer; 1993:60-76. doi:10.1007/3-540-57318-6_24
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4589 |
Alur R, Henzinger TA. Real-time logics: Complexity and expressiveness. Information and Computation. 1993;104(1):35-77. doi:10.1006/inco.1993.1025
[Published Version]
View
| DOI
| Download Published Version (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4616
Alur R, Henzinger TA, Ho P. Automatic symbolic verification of embedded systems. In: 1993 Proceedings Real-Time Systems Symposium. IEEE; 1993:2-11. doi:10.1109/REAL.1993.393520
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4618
Alur R, Courcoubetis C, Henzinger TA, Ho P. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: Grossman R, Nerode A, Ravn A, Rischel H, eds. Hybrid Systems. Vol 736. Springer; 1993:209-229. doi:10.1007/3-540-57318-6_30
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4619
Alur R, Henzinger TA, Vardi M. Parametric real-time reasoning. In: Proceedings of the 25th Annual ACM Symposium on Theory of Computing. ACM; 1993:592-601. doi:10.1145/167088.167242
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4620
Alur R, Courcoubetis C, Henzinger TA. Computing accumulated delays in real-time systems. In: 5th International Conference on Computer Aided Verification. Vol 697. Springer; 1993:181-193. doi:10.1007/3-540-56922-7_16
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 18050
Jishi RA, Venkataraman L, Dresselhaus MS, Dresselhaus G. Phonon modes in carbon nanotubules. Chemical Physics Letters. 1993;209(1-2):77-82. doi:10.1016/0009-2614(93)87205-h
View
| DOI
1993 | Published | Journal Article | IST-REx-ID: 3446
Sziranyi T, Csicsvari JL. High-speed character recognition using a dual cellular neural network architecture (CNND). IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing. 1993;40(3):223-231. doi:10.1109/82.222823
View
| DOI
| Download None (ext.)
1993 | Published | Book Chapter | IST-REx-ID: 3451
Jonas PM. Glutamate receptors in the central nervous system. In: Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction. Vol 707. Annals of the New York Academy of Sciences. New York Academy of Sciences; 1993:126-135. doi:10.1111/j.1749-6632.1993.tb38048.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Book Chapter | IST-REx-ID: 3452
Jonas PM. AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS. In: Siemen D, ed. Nonselective Cation Channels: Pharmacology, Physiology and Biophysics. Vol 66. Birkhäuser; 1993:61-76. doi:10.1007/978-3-0348-7327-7_4
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Journal Article | IST-REx-ID: 3473
Ruppersberg P, Ermler M, Knopf M, Kues W, Jonas PM, Koenen M. Properties of Shaker-homologous potassium channels expressed in the mammalian brain. Cellular Physiology and Biochemistry. 1993;3:250-269. doi:10.1159/000154691
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 3474 |
Jonas PM, Major G, Sakmann B. Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus. Journal of Physiology. 1993;472:615-663. doi:10.1113/jphysiol.1993.sp019965
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 | Published | Book Chapter | IST-REx-ID: 3568
Edelsbrunner H. Geometric algorithms. In: Handbook of Convex Geometry. North Holland; 1993:699-735. doi:10.1016/C2009-0-15705-7
View
| DOI
| Download None (ext.)
1993 | Published | Book Chapter | IST-REx-ID: 3569
Edelsbrunner H. Computational geometry. In: Current Trends in Theoretical Computer Science, Essays and Tutorials. World Scientific Publishing; 1993:1-48.
View
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 3643
Rouhani S, Barton NH. Group selection and the “shifting balance.” Genetical Research. 1993;61(2):127-136. doi:10.1017/S0016672300031232
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 3644
Barton NH, Rouhani S. Adaptation and the “shifting balance.” Genetical Research. 1993;61(1):57-74. doi:10.1017/S0016672300031098
View
| DOI
| Download None (ext.)