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
1994 |Published| Journal Article | IST-REx-ID: 4179 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Leingärtner A, Heisenberg C-PJ, Kolbeck R, Thoenen H, Lindholm D. Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons. Journal of Biological Chemistry. 1994;269(2):828-830. doi:10.1016/s0021-9258(17)42186-7
View
| DOI
| Download None (ext.)
1994 |Published| Journal Article | IST-REx-ID: 4202
Heisenberg C-PJ, Cooper J, Berke J, Sofroniew M. NMDA potentiates NGF-induced sprouting of septal cholinergic fibres. Neuroreport. 1994;5(4):413-416. doi:10.1097/00001756-199401120-00010
View
| DOI
| Download None (ext.)
1994 |Published| Conference Paper | IST-REx-ID: 4420
Kapur A, Henzinger TA, Manna Z, Pnueli A. Proving safety properties of hybrid systems. In: 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. Vol 863. Springer; 1994:431-454. doi:10.1007/3-540-58468-4_177
View
| DOI
| Download None (ext.)
1994 |Published| Conference Paper | IST-REx-ID: 4440
Henzinger TA, Kopke P. Verification methods for the divergent runs of clock systems. In: 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. Vol 863. Springer; 1994:351-372. doi:10.1007/3-540-58468-4_173
View
| DOI
| Download None (ext.)
1994 |Published| Journal Article | IST-REx-ID: 4501 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger TA, Manna Z, Pnueli A. Temporal proof methodologies for timed transition systems. Information and Computation. 1994;112(2):273-337. doi:10.1006/inco.1994.1060
View
| DOI
| Download None (ext.)
1994 |Published| Journal Article | IST-REx-ID: 4503
Henzinger TA, Nicollin X, Sifakis J, Yovine S. Symbolic model checking for real-time systems. Information and Computation. 1994;111(2):193-244. doi:10.1006/inco.1994.1045
View
| DOI
| Download None (ext.)
1994 |Published| Conference Paper | IST-REx-ID: 4586
Alur R, Henzinger TA. Finitary fairness. In: Proceedings 9th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1994:52-61. doi:10.1109/LICS.1994.316087
View
| DOI
| Download None (ext.)
1994 |Published| Book Chapter | IST-REx-ID: 4590
Alur R, Henzinger TA. Real-time system = discrete system + clock variables. In: Rus T, Rattray C, eds. Theories and Experiences for Real-Time System Development. Vol 2. AMAST Series in Computing. World Scientific Publishing; 1994:1-29. doi:10.1142/9789812831583_0001
View
| DOI
| Download None (ext.)
1994 |Published| Journal Article | IST-REx-ID: 4591
Alur R, Henzinger TA. A really temporal logic. Journal of the ACM. 1994;41(1):181-204. doi:10.1145/174644.174651
View
| DOI
| Download None (ext.)
1994 |Published| Conference Paper | IST-REx-ID: 4614
Alur R, Courcoubetis C, Henzinger TA. The observational power of clocks. In: 5th International Conference on Concurrency Theory. Vol 836. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1994:162-177. doi:10.1007/BFb0015008
View
| DOI
| Download None (ext.)
1994 |Published| Conference Paper | IST-REx-ID: 4615
Alur R, Fix L, Henzinger TA. A determinizable class of timed automata. In: International Conference on Computer Aided Verification. Vol 818. Springer; 1994:1-13. doi:10.1007/3-540-58179-0_39
View
| DOI
| Download None (ext.)
1994 |Published| Conference Paper | IST-REx-ID: 4617
Alur R, Courcoubetis C, Henzinger TA, et al. The algorithmic analysis of hybrid systems. In: 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. Vol 199. Springer; 1994:331-351. doi:10.1007/BFb0033565
View
| DOI
| Download None (ext.)
1994 |Published| Journal Article | IST-REx-ID: 6167
Zarkower D, de Bono M, Aronoff R, Hodgkin J. Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1. Developmental Genetics. 1994;15(3):240-250. doi:10.1002/dvg.1020150306
View
| DOI
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 1947
Sazanov LA, Jackson J. Activation and inhibition of mitochondrial transhydrogenase by metal ions. Biochimica et Biophysica Acta - Bioenergetics. 1993;1144(2):225-228. doi:10.1016/0005-2728(93)90177-H
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 1948
Sazanov LA, Jackson J. Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria . Biochemical Society Transactions. 1993;21(3):260. doi:10.1042/bst021260s
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 1950
Jackson J, Cotton NPJ, Williams R, et al. Proton-translocating transhydrogenase in bacteria. Biochemical Society Transactions. 1993;21(4):1010-1013. doi:10.1042/bst0211010
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 2487
Ohishi H, Shigemoto R, Nakanishi S, Mizuno N. Distribution of the mRNA for a metabotropic glutamate receptor (mGluR3) in the rat brain: An in situ hybridization study. Journal of Comparative Neurology. 1993;335(2):252-266. doi:10.1002/cne.903350209
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 2536 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nakajima Y, Iwakabe H, Akazawa C, et al. Molecular characterization of a novel retinal metabotropic glutamate receptor mGluR6 with a high agonist selectivity for L-2-amino-4- phosphonobutyrate. Journal of Biological Chemistry. 1993;268(16):11868-11873. doi:10.1016/S0021-9258(19)50280-0
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 2537 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tanabe Y, Nomura A, Masu M, Shigemoto R, Mizuno N, Nakanishi S. Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4. Journal of Neuroscience. 1993;13(4):1372-1378. doi:10.1523/JNEUROSCI.13-04-01372.1993
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 2539 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ishii T, Moriyoshi K, Sugihara H, et al. Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits. Journal of Biological Chemistry. 1993;268(4):2836-2843. doi:10.1016/s0021-9258(18)53849-7
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC