DOI,IST REx ID,Title of publication
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
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.1016/0306-4522(94)90215-1,2488,Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex
10.1002/cne.903470112,2489,Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats
10.1016/0306-4522(94)90483-9,2490,Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system
10.1007/978-3-0348-7330-7_8,2545,Molecular diversity of glutamate receptors and their physiological functions