DOI,IST REx ID,Title of publication
10.1242/dev.123.1.179 ,4219,Mutations in zebrafish genes affecting the formation of the boundary between midbrain and hindbrain
10.1242/dev.123.1.255 ,4220,"Genetic analysis of fin formation in the zebrafish, Danio rerio"
10.1242/dev.123.1.153,4222,"Mutations affecting somite formation and patterning in the zebrafish, Danio rerio"
10.1098/rspb.1996.0200,4292,On measuring the rate of ageing
10.1098/rstb.1995.0090,4294,Genealogies and geography
10.1016/S0960-9822(02)70707-0,4295,Speciation: more than the sum of its parts
null,4419,The Theory of Rectangular Hybrid Automata
10.1007/BFb0020961,4426,Linear phase-portrait approximations for nonlinear hybrid systems
10.1007/BFb0027241,4427,Using HyTech to synthesize control parameters for a steam boiler
10.1007/3-540-61604-7_74,4443,State equivalences for rectangular hybrid automata
10.1007/3-540-61604-7_73,4495,A space-efficient on-the-fly algorithm for real-time model checking
10.1109/LICS.1996.561342 ,4519,The theory of hybrid automata
10.1007/3-540-61474-5,4585, 8th International Conference on Computer Aided Verification
10.1109/LICS.1996.561320,4588,Reactive modules
10.1145/227595.227602,4610,The benefits of relaxing punctuality
10.1109/32.489079,4611,Automatic symbolic verification of embedded systems
10.1007/BFb0020931,4612,Hybrid Systems III: Verification and Control
10.1016/0306-4522(96)00316-8,2492,Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum
10.1016/0304-3940(95)12248-6,2562,"Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody"
10.1002/(SICI)1096-9861(19960108)364:2<290::AID-CNE8>3.0.CO;2-0,2564,Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat