DOI,IST REx ID,Title of publication
10.1113/jphysiol.1994.sp020287,3475,Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus
10.1523/JNEUROSCI.14-08-04613.1994,3476,Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices
10.1016/0896-6273(94)90444-8,3477,Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression
null,3550,"Modeling with simplicial complexes (topology, geometry and algorithms)"
10.1017/S0016672300032857 ,3641,The reduction in fixation probability caused by substitutions at linked loci
10.1093/genetics/138.3.913,3642,"Genetic and statistical analyses of strong selection on polygenic traits: What, me normal?"
10.1007/BF02574381,4032,Counting triangle crossings and halving planes
10.1137/S0097539790179919 ,4033,Selecting heavily covered points
10.1145/174462.156635,4037,Three-dimensional alpha shapes
10.1007/BF01182771,4038,Algorithms for bichromatic line-segment problems and polyhedral terrains
10.1007/BF01377183,4039,Ray shooting in polygons using geodesic triangulations
10.1016/s0021-9258(17)42186-7,4179,Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons
10.1097/00001756-199401120-00010 ,4202,NMDA potentiates NGF-induced sprouting of septal cholinergic fibres
10.1007/3-540-58468-4_177,4420,Proving safety properties of hybrid systems
10.1007/3-540-58468-4_173,4440,Verification methods for the divergent runs of clock systems
10.1006/inco.1994.1060,4501,Temporal proof methodologies for timed transition systems
10.1006/inco.1994.1045,4503,Symbolic model checking for real-time systems
10.1109/LICS.1994.316087 ,4586,Finitary fairness
10.1142/9789812831583_0001,4590,Real-time system = discrete system + clock variables
10.1145/174644.174651,4591,A really temporal logic