DOI,IST REx ID,Title of publication
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
10.1007/BFb0015008,4614,The observational power of clocks
10.1007/3-540-58179-0_39,4615,A determinizable class of timed automata
10.1007/BFb0033565,4617,The algorithmic analysis of hybrid systems
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