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

Historical Demography, Life-cycle Reconstruction and Family Reconstitution: New Perspectives.. Hist. Comput., 8 (2): 62-77 (1996)CICS Project Report: Experiences and Results from the use of Z in IBM., and . VDM Europe (1), volume 551 of Lecture Notes in Computer Science, page 588-596. Springer, (1991)Software Specification., and . Theories of Programming, volume 39 of ACM Books, ACM / Morgan & Claypool, (2021)A Plug-in Based Approach for UML Model Simulation., , , , and . ECMFA, volume 7349 of Lecture Notes in Computer Science, page 328-339. Springer, (2012)Robust Functional Regression for Outlier Detection., , , and . AALTD@PKDD/ECML, volume 11986 of Lecture Notes in Computer Science, page 3-13. Springer, (2019)Is Proof More Cost-Effective Than Testing?, , , and . IEEE Trans. Software Eng., 26 (8): 675-686 (2000)Z and the Refinement Calculus.. VDM Europe, volume 428 of Lecture Notes in Computer Science, page 164-188. Springer, (1990)Towards an Integrated Model Checker for Railway Signalling Data., and . FME, volume 2391 of Lecture Notes in Computer Science, page 204-223. Springer, (2002)Smart Robust Feature Selection (SoFt) for imbalanced and heterogeneous data., , , , , and . Knowl. Based Syst., (2022)'The Standard Logic for Z': A Clarification.. Formal Aspects Comput., 11 (4): 472-473 (1999)