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.
45 Publications
1993 | Published | Book Chapter | IST-REx-ID: 4301
N. H. Barton and K. Gale, “Genetic analysis of hybrid zones,” in Hybrid zones and the evolutionary process, R. Harrison, Ed. Oxford University Press, 1993, pp. 13–45.
View
| DOI
| Download None (ext.)
1993 | Published | Book Review | IST-REx-ID: 4302
N. H. Barton, “Review of "The causes of molecular evolution" by J.H. Gillespie,” Genetical Research, vol. 62, no. 1. Cambridge University Press, pp. 77–85, 1993.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4303 | 
N. H. Barton, “The probability of fixation of a favoured allele in a subdivided population,” Genetics Research, vol. 62, no. 2. Cambridge University Press, pp. 149–158, 1993.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4304
N. H. Barton, “Why species and subspecies?,” Current Biology, vol. 3, no. 11. Cell Press, pp. 797–799, 1993.
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4506
T. A. Henzinger, Z. Manna, and A. Pnueli, “Towards refining temporal specifications into hybrid systems,” in International Hybrid Systems Workshop, 1993, vol. 736, pp. 60–76.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4589 |
R. Alur and T. A. Henzinger, “Real-time logics: Complexity and expressiveness,” Information and Computation, vol. 104, no. 1. Elsevier, pp. 35–77, 1993.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4616
R. Alur, T. A. Henzinger, and P. Ho, “Automatic symbolic verification of embedded systems,” in 1993 Proceedings Real-Time Systems Symposium, Raleigh, NC, United States of America, 1993, pp. 2–11.
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4618
R. Alur, C. Courcoubetis, T. A. Henzinger, and P. Ho, “Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems,” in Hybrid Systems, 1993, vol. 736, pp. 209–229.
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4619
R. Alur, T. A. Henzinger, and M. Vardi, “Parametric real-time reasoning,” in Proceedings of the 25th annual ACM symposium on Theory of Computing, San Diego, CA, United States of America, 1993, pp. 592–601.
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4620
R. Alur, C. Courcoubetis, and T. A. Henzinger, “Computing accumulated delays in real-time systems,” in 5th International Conference on Computer Aided Verification, Elounda, Greece, 1993, vol. 697, pp. 181–193.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 3446
T. Sziranyi and J. L. Csicsvari, “High-speed character recognition using a dual cellular neural network architecture (CNND),” IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing, vol. 40, no. 3. IEEE, pp. 223–231, 1993.
View
| DOI
| Download None (ext.)
1993 | Published | Book Chapter | IST-REx-ID: 3451
P. M. Jonas, “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, New York Academy of Sciences, 1993, pp. 126–135.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Book Chapter | IST-REx-ID: 3452
P. M. Jonas, “AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS,” in Nonselective cation channels: Pharmacology, Physiology and Biophysics., vol. 66, D. Siemen, Ed. Birkhäuser, 1993, pp. 61–76.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Journal Article | IST-REx-ID: 3473
P. Ruppersberg, M. Ermler, M. Knopf, W. Kues, P. M. Jonas, and M. Koenen, “Properties of Shaker-homologous potassium channels expressed in the mammalian brain.,” Cellular Physiology and Biochemistry, vol. 3. S. Karger AG, pp. 250–269, 1993.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 3474 |
P. M. Jonas, G. Major, and B. Sakmann, “Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus,” Journal of Physiology, vol. 472. Wiley-Blackwell, pp. 615–663, 1993.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 | Published | Book Chapter | IST-REx-ID: 3568
H. Edelsbrunner, “Geometric algorithms,” in Handbook of Convex Geometry, North Holland, 1993, pp. 699–735.
View
| DOI
| Download None (ext.)
1993 | Published | Book Chapter | IST-REx-ID: 3569
H. Edelsbrunner, “Computational geometry,” in Current Trends in Theoretical Computer Science, Essays and Tutorials, World Scientific Publishing, 1993, pp. 1–48.
View
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 3643
S. Rouhani and N. H. Barton, “Group selection and the ‘shifting balance,’” Genetical Research, vol. 61, no. 2. Cambridge University Press, pp. 127–136, 1993.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 3644
N. H. Barton and S. Rouhani, “Adaptation and the ‘shifting balance,’” Genetical Research, vol. 61, no. 1. Cambridge University Press, pp. 57–74, 1993.
View
| DOI
| Download None (ext.)