journal of inherited metabolic disease (12)
compiling esterel (10)
chest (6)
molecular genetics and metabolism (6)
formal methods in system design (5)
molecular genetics & metabolism (5)
pediatric nephrology (5)
theoretical computer science (5)
journal of computer assisted tomography (4)
clinical chemistry (3)
iee review (3)
neurochemical research (3)
plos one (3)
scientific reports (3)
algebraic methods in semantics (fontainebleau, 1982) (2)
american journal of human genetics (2)
annals of clinical & translational neurology (2)
communications of the acm (2)
electronics weekly (2)
forensic science, medicine & pathology (2)
formal methods in system design: an international journal (2)
genetics in medicine (2)
histoire illustree de l'informatique: 2e edition (2)
molecular genetics & genomic medicine (2)
ophthalmic genetics (2)
2007 ieee international high level design validation and test workshop, high level design validation and test workshop, 2007. hlvdt 2007. ieee international (1)
2011 proceedings of the ninth acm international conference on embedded software (emsoft), embedded software (emsoft), 2011 proceedings of the international conference on (1)
automata, languages and programming (fifth internat. colloq., udine, 1978) (1)
biochemical & biophysical research communications (1)
biochemical and biophysical research communications (1)
computer networks and isdn systems (1)
faseb journal (1)
formalization of programming concepts (proc. internat. colloq., pe\ niscola, 1981) (1)
genetics in medicine open (1)
histoire illustree de l'informatique (1)
human genetics (1)
ieee design & test of computers, design & test of computers, ieee, ieee des. test. comput. (1)
journal of chromatography b: biomedical sciences and applications (1)
journal of the association for computing machinery (1)
mathematical foundations of computer science, 1979 (proc. eighth sympos., olomouc, 1979) (1)
nature precedings (1)
philosophical transactions: physical sciences and engineering (1)
proof, language, and interaction (1)
readings in hardware/software co-design (1)
revue francaise d'automatique informatique recherche operationnelle serie rouge informatique theorique (1)
science of computer programming (1)
the french school of programming (1)
the journal of allergy and clinical immunology (1)
the journal of pediatrics (1)
transformations de programmes (proc. third internat. sympos. programming, paris, 1978) (1)