DOI,IST REx ID,Title of publication
10.1002/dvg.1020150306,6167,Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1
10.1016/0166-2236(95)90088-8,3453,Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse
10.1016/0959-4388(94)90098-1,3460,Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS
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