Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Allocating Railway Platforms Using A Genetic Algorithm., , , , , , and . SGAI Conf., page 421-434. Springer, (2009)Describing patient problems & nursing treatment patterns using nursing minimum data sets (NMDS & NMMDS) & UHDDS repositories., , and . AMIA, AMIA, (2000)CATNAP and PWQIS: Spatial Tools for River and Potable Water Quality Evaluation., , , and . CSEIA, volume B-16 of IFIP Transactions, page 115-124. North-Holland, (1993)Scale for the Assessment of Negative Symptoms structure in first episode psychosis, , , , , , , , and . Psychiatry Res, 210 (3): 1191-7 (2013)Scientific and ethical issues in equivalence trials., and . JAMA : the journal of the American Medical Association, 285 (9): 1206-8 (March 2001)2678<m:linebreak></m:linebreak>JAMA. 2001 Mar 7;285(9):1155-63.;<m:linebreak></m:linebreak>Tests d&#039;equivalència.Labour characteristics of women achieving successful vaginal birth after caesarean section in three European countries, , , , , , , , , and 2 other author(s). Midwifery, (2019)Model Checking. Lecture Notes in Computer Science, (1997)A Tool for Checking ANSI-C Programs., , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 168-176. Springer, (2004)The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems., , and . CAV, volume 1254 of Lecture Notes in Computer Science, page 452-455. Springer, (1997)Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification., , , and . FMCAD, volume 1522 of Lecture Notes in Computer Science, page 369-386. Springer, (1998)