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
1993 |Published| Journal Article | IST-REx-ID: 4304
Barton NH. 1993. Why species and subspecies? Current Biology. 3(11), 797–799.
View
| DOI
| Download None (ext.)
1993 |Published| Book Chapter | IST-REx-ID: 3452
Jonas PM. 1993.AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS. In: Nonselective cation channels: Pharmacology, Physiology and Biophysics. EXS, vol. 66, 61–76.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 3446
Sziranyi T, Csicsvari JL. 1993. High-speed character recognition using a dual cellular neural network architecture (CNND). IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing. 40(3), 223–231.
View
| DOI
| Download None (ext.)
1993 |Published| Book Chapter | IST-REx-ID: 3451
Jonas PM. 1993.Glutamate receptors in the central nervous system. In: Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction. Annals of the New York Academy of Sciences , vol. 707, 126–135.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 3643
Rouhani S, Barton NH. 1993. Group selection and the ‘shifting balance’. Genetical Research. 61(2), 127–136.
View
| DOI
| Download None (ext.)
1993 |Published| Journal Article | IST-REx-ID: 3644
Barton NH, Rouhani S. 1993. Adaptation and the ‘shifting balance’. Genetical Research. 61(1), 57–74.
View
| DOI
| Download None (ext.)
1993 |Published| Journal Article | IST-REx-ID: 4044
Bern M, Edelsbrunner H, Eppstein D, Mitchell S, Tan T. 1993. Edge insertion for optimal triangulations. Discrete & Computational Geometry. 10(1), 47–65.
View
| DOI
| Download None (ext.)
1993 |Published| Journal Article | IST-REx-ID: 4045
Chazelle B, Edelsbrunner H, Guibas L, Sharir M. 1993. Diameter, width, closest line pair, and parametric searching. Discrete & Computational Geometry. 10(1), 183–196.
View
| DOI
| Download None (ext.)
1993 |Published| Journal Article | IST-REx-ID: 4042
Edelsbrunner H, Tan T. 1993. A quadratic time algorithm for the minmax length triangulation. SIAM Journal on Computing. 22(3), 527–551.
View
| DOI
| Download None (ext.)
1993 |Published| Journal Article | IST-REx-ID: 4177 | 
Lindholm D, Castrén E, Tsoulfas P, Kolbeck R, Berzaghi M, Leingärtner A, Heisenberg C-PJ, Tesarollo L, Parada L, Thoenen H. 1993. Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation. Journal of Cell Biology. 122(2), 443–450.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 4175
Lindholm D, Dechant G, Heisenberg C-PJ, Thoenen H. 1993. Brain-derived neurotrophic factor is a survival factor for cultured rat cerebellar granule neurons and protects them against glutamate-induced neurotoxicity. European Journal of Neuroscience. 5(11), 1455–1464.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 4299
Partridge L, Barton NH. 1993. Evolution of aging: Testing the theory using Drosophila. Genetica. 91(1–3), 89–98.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 4300
Partridge L, Barton NH. 1993. Optimality, mutation and the evolution of ageing. Nature. 362, 305–311.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Conference Paper | IST-REx-ID: 4506
Henzinger TA, Manna Z, Pnueli A. 1993. Towards refining temporal specifications into hybrid systems. International Hybrid Systems Workshop. International Hybrid Systems Workshop, LNCS, vol. 736, 60–76.
View
| DOI
| Download None (ext.)
1993 |Published| Journal Article | IST-REx-ID: 4589 |
Alur R, Henzinger TA. 1993. Real-time logics: Complexity and expressiveness. Information and Computation. 104(1), 35–77.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1993 |Published| Conference Paper | IST-REx-ID: 4618
Alur R, Courcoubetis C, Henzinger TA, Ho P. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems. , LNCS, vol. 736, 209–229.
View
| DOI
| Download None (ext.)
1993 |Published| Conference Paper | IST-REx-ID: 4616
Alur R, Henzinger TA, Ho P. 1993. Automatic symbolic verification of embedded systems. 1993 Proceedings Real-Time Systems Symposium. RTSS: Real-Time Systems Symposium, 2–11.
View
| DOI
| Download None (ext.)
1993 |Published| Conference Paper | IST-REx-ID: 4620
Alur R, Courcoubetis C, Henzinger TA. 1993. Computing accumulated delays in real-time systems. 5th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 697, 181–193.
View
| DOI
| Download None (ext.)
1993 |Published| Conference Paper | IST-REx-ID: 4619
Alur R, Henzinger TA, Vardi M. 1993. Parametric real-time reasoning. Proceedings of the 25th annual ACM symposium on Theory of Computing. STOC: Symposium on the Theory of Computing, 592–601.
View
| DOI
| Download None (ext.)
1992 |Published| Journal Article | IST-REx-ID: 1945
Sazanov LA, Zaǐtsev S. 1992. Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms. Biochemistry (Moscow). 57(10), 1443–1460.
View
| Download None (ext.)
| PubMed | Europe PMC