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.
43 Publications
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
1994 | Published | Journal Article | IST-REx-ID: 1949 | 
Sazanov LA, Jackson J. Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria. FEBS Letters. 1994;344(2-3):109-116. doi:10.1016/0014-5793(94)00370-X
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 1953 |
Efanov A, Koshkin A, Sazanov LA, Borodulina OI, Varfolomeev S, Zaǐtsev S. Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism. FEBS Letters. 1994;355(2):114-116. doi:10.1016/0014-5793(94)01109-5
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Published | Book Review | IST-REx-ID: 3453
Von Kitzing E, Jonas PM, Sakmann B. Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse. Molecular and cellular mechanisms of neurotransmitter release. 1994;29:235-260. doi:10.1016/0166-2236(95)90088-8
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 3460
Jonas PM, Spruston N. Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS. Current Opinion in Neurobiology. 1994;4(3):366-372. doi:10.1016/0959-4388(94)90098-1
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 3475 |
Koh D, Jonas PM, Vogel W. Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus. Journal of Physiology. 1994;479:183-197. doi:10.1113/jphysiol.1994.sp020287
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 3476 |
Major G, Larkman A, Jonas PM, Sakmann B, Jack J. Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices. Journal of Neuroscience. 1994;14(8):4613-4638. doi:10.1523/JNEUROSCI.14-08-04613.1994
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 3477
Jonas PM, Racca C, Sakmann B, Seeburg P, Monyer H. Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression. Neuron. 1994;12(6):1281-1289. doi:10.1016/0896-6273(94)90444-8
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Published | Conference Paper | IST-REx-ID: 3550
Edelsbrunner H. Modeling with simplicial complexes (topology, geometry and algorithms). In: Proceedings of the 6th Canadian Conference on Computational Geometry. ; 1994:36-44.
View
1994 | Published | Journal Article | IST-REx-ID: 3641
Barton NH. The reduction in fixation probability caused by substitutions at linked loci. Genetical Research. 1994;64(3):199-208. doi:10.1017/S0016672300032857
View
| DOI
| Download None (ext.)
1994 | Published | Journal Article | IST-REx-ID: 3642 |
Turelli M, Barton NH. Genetic and statistical analyses of strong selection on polygenic traits: What, me normal? Genetics. 1994;138(3):913-941. doi:10.1093/genetics/138.3.913
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 4032
Dey T, Edelsbrunner H. Counting triangle crossings and halving planes. Discrete & Computational Geometry. 1994;12(1):281-289. doi:10.1007/BF02574381
View
| DOI
| Download None (ext.)
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.)