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.
11357 Publications
1994 |
Published |
Journal Article |
IST-REx-ID: 4033
Chazelle B, Edelsbrunner H, Guibas L, Hershberger J, Seidel R, Sharir M. Selecting heavily covered points. SIAM Journal on Computing. 1994;23(6):1138-1151. doi:10.1137/S0097539790179919
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4037 |
Edelsbrunner H, Mücke E. Three-dimensional alpha shapes. ACM Transactions on Graphics. 1994;13(1):43-72. doi:10.1145/174462.156635
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4038
Chazelle B, Edelsbrunner H, Guibas L, Sharir M. Algorithms for bichromatic line-segment problems and polyhedral terrains. Algorithmica. 1994;11(2):116-132. doi:10.1007/BF01182771
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4039
Chazelle B, Edelsbrunner H, Grigni M, et al. Ray shooting in polygons using geodesic triangulations. Algorithmica. 1994;12(1):54-68. doi:10.1007/BF01377183
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4179 |
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 |
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.)
1993 |
Published |
Journal Article |
IST-REx-ID: 2723
Erdös L. Ground-state density of the Pauli operator in the large field limit. Letters in Mathematical Physics. 1993;29(3):219-240. doi:10.1007/BF00761110
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: 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 |
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