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.
7036 Publications
1993 |Published| Journal Article | IST-REx-ID: 3446
High-speed character recognition using a dual cellular neural network architecture (CNND)
T. Sziranyi, J.L. Csicsvari, IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing 40 (1993) 223–231.
View
| DOI
| Download None (ext.)
T. Sziranyi, J.L. Csicsvari, IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing 40 (1993) 223–231.
1993 |Published| Book Chapter | IST-REx-ID: 3451
Glutamate receptors in the central nervous system
P.M. Jonas, in:, Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction, New York Academy of Sciences, 1993, pp. 126–135.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
P.M. Jonas, in:, Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction, New York Academy of Sciences, 1993, pp. 126–135.
1993 |Published| Journal Article | IST-REx-ID: 3643
Group selection and the 'shifting balance'
S. Rouhani, N.H. Barton, Genetical Research 61 (1993) 127–136.
View
| DOI
| Download None (ext.)
S. Rouhani, N.H. Barton, Genetical Research 61 (1993) 127–136.
1993 |Published| Journal Article | IST-REx-ID: 3644
Adaptation and the 'shifting balance'
N.H. Barton, S. Rouhani, Genetical Research 61 (1993) 57–74.
View
| DOI
| Download None (ext.)
N.H. Barton, S. Rouhani, Genetical Research 61 (1993) 57–74.
1993 |Published| Journal Article | IST-REx-ID: 4044
Edge insertion for optimal triangulations
M. Bern, H. Edelsbrunner, D. Eppstein, S. Mitchell, T. Tan, Discrete & Computational Geometry 10 (1993) 47–65.
View
| DOI
| Download None (ext.)
M. Bern, H. Edelsbrunner, D. Eppstein, S. Mitchell, T. Tan, Discrete & Computational Geometry 10 (1993) 47–65.
1993 |Published| Journal Article | IST-REx-ID: 4045
Diameter, width, closest line pair, and parametric searching
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Discrete & Computational Geometry 10 (1993) 183–196.
View
| DOI
| Download None (ext.)
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Discrete & Computational Geometry 10 (1993) 183–196.
1993 |Published| Journal Article | IST-REx-ID: 4042
A quadratic time algorithm for the minmax length triangulation
H. Edelsbrunner, T. Tan, SIAM Journal on Computing 22 (1993) 527–551.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, T. Tan, SIAM Journal on Computing 22 (1993) 527–551.
1993 |Published| Journal Article | IST-REx-ID: 4177 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation
D. Lindholm, E. Castrén, P. Tsoulfas, R. Kolbeck, M. Berzaghi, A. Leingärtner, C.-P.J. Heisenberg, L. Tesarollo, L. Parada, H. Thoenen, Journal of Cell Biology 122 (1993) 443–450.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
D. Lindholm, E. Castrén, P. Tsoulfas, R. Kolbeck, M. Berzaghi, A. Leingärtner, C.-P.J. Heisenberg, L. Tesarollo, L. Parada, H. Thoenen, Journal of Cell Biology 122 (1993) 443–450.
1993 |Published| Journal Article | IST-REx-ID: 4175
Brain-derived neurotrophic factor is a survival factor for cultured rat cerebellar granule neurons and protects them against glutamate-induced neurotoxicity
D. Lindholm, G. Dechant, C.-P.J. Heisenberg, H. Thoenen, European Journal of Neuroscience 5 (1993) 1455–1464.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
D. Lindholm, G. Dechant, C.-P.J. Heisenberg, H. Thoenen, European Journal of Neuroscience 5 (1993) 1455–1464.
1993 |Published| Journal Article | IST-REx-ID: 4299
Evolution of aging: Testing the theory using Drosophila
L. Partridge, N.H. Barton, Genetica 91 (1993) 89–98.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
L. Partridge, N.H. Barton, Genetica 91 (1993) 89–98.
1993 |Published| Journal Article | IST-REx-ID: 4300
Optimality, mutation and the evolution of ageing
L. Partridge, N.H. Barton, Nature 362 (1993) 305–311.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
L. Partridge, N.H. Barton, Nature 362 (1993) 305–311.
1993 |Published| Conference Paper | IST-REx-ID: 4506
Towards refining temporal specifications into hybrid systems
T.A. Henzinger, Z. Manna, A. Pnueli, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), International Hybrid Systems Workshop, Springer, 1993, pp. 60–76.
View
| DOI
| Download None (ext.)
T.A. Henzinger, Z. Manna, A. Pnueli, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), International Hybrid Systems Workshop, Springer, 1993, pp. 60–76.
1993 |Published| Journal Article | IST-REx-ID: 4589 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Real-time logics: Complexity and expressiveness
R. Alur, T.A. Henzinger, Information and Computation 104 (1993) 35–77.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Alur, T.A. Henzinger, Information and Computation 104 (1993) 35–77.
1993 |Published| Conference Paper | IST-REx-ID: 4618
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), Hybrid Systems, Springer, 1993, pp. 209–229.
View
| DOI
| Download None (ext.)
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), Hybrid Systems, Springer, 1993, pp. 209–229.
1993 |Published| Conference Paper | IST-REx-ID: 4616
Automatic symbolic verification of embedded systems
R. Alur, T.A. Henzinger, P. Ho, in:, 1993 Proceedings Real-Time Systems Symposium, IEEE, 1993, pp. 2–11.
View
| DOI
| Download None (ext.)
R. Alur, T.A. Henzinger, P. Ho, in:, 1993 Proceedings Real-Time Systems Symposium, IEEE, 1993, pp. 2–11.
1993 |Published| Conference Paper | IST-REx-ID: 4620
Computing accumulated delays in real-time systems
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, 5th International Conference on Computer Aided Verification, Springer, 1993, pp. 181–193.
View
| DOI
| Download None (ext.)
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, 5th International Conference on Computer Aided Verification, Springer, 1993, pp. 181–193.
1993 |Published| Conference Paper | IST-REx-ID: 4619
Parametric real-time reasoning
R. Alur, T.A. Henzinger, M. Vardi, in:, Proceedings of the 25th Annual ACM Symposium on Theory of Computing, ACM, 1993, pp. 592–601.
View
| DOI
| Download None (ext.)
R. Alur, T.A. Henzinger, M. Vardi, in:, Proceedings of the 25th Annual ACM Symposium on Theory of Computing, ACM, 1993, pp. 592–601.
1992 |Published| Journal Article | IST-REx-ID: 1945
Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms
L.A. Sazanov, S. Zaǐtsev, Biochemistry (Moscow) 57 (1992) 1443–1460.
View
| Download None (ext.)
| PubMed | Europe PMC
L.A. Sazanov, S. Zaǐtsev, Biochemistry (Moscow) 57 (1992) 1443–1460.
1992 |Published| Journal Article | IST-REx-ID: 2486
Distribution of the mRNA for a metabotropic glutamate receptor (mGluR1) in the central nervous system: An in situ hybridization study in adult and developing rat
R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 322 (1992) 121–135.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 322 (1992) 121–135.
1992 |Published| Journal Article | IST-REx-ID: 2485
Distinct tissue distribution and cellular localization of two messenger ribonucleic acids encoding different subtypes of rat endothelin receptors
S. Hori, Y. Komatsu, R. Shigemoto, N. Mizuno, S. Nakanishi, Endocrinology 130 (1992) 1885–1895.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
S. Hori, Y. Komatsu, R. Shigemoto, N. Mizuno, S. Nakanishi, Endocrinology 130 (1992) 1885–1895.