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

Analysis and Synthesis of Islamic Geometric Designs., and . EVA, BCS, (2013)Tilingsearch.org: A searchable repository of Islamic geometric patterns.. EVA, BCS, (2020)Conformity Clause for VDM-SL., and . FME, volume 670 of Lecture Notes in Computer Science, page 501-520. Springer, (1993)Towards a Formal Specification of Floating Point.. Comput. J., 32 (5): 432-436 (1989)A Note on the Use of Floating Point in Critical Systems.. Comput. J., 35 (1): 41-44 (1992)The Efficiency of Pascal.. Pascal - The Language and its Implementation, page 49-55. John Wiley, (1981)A modular operating system.. IFIP Congress (1), page 548-556. (1968)The Performance of Some Algol Systems.. IFIP Congress (1), page 327-334. North-Holland, (1971)Run-time Detection of Undefined Variables Considered Essential., and . Softw. Pract. Exp., 20 (4): 391-402 (1990)A prototype system for the validation of Pascal programs., , , , , , , and . Softw. Eng. J., 3 (2): 47-52 (1988)