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

Normal Form in a Delay-Insensitive Algebra., , , and . Asynchronous Design Methodologies, volume A-28 of IFIP Transactions, page 57-70. North-Holland, (1993)Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems., , and . Data Knowl. Eng., 26 (3): 243-269 (1998)Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification., and . Semantics of Specification Languages, page 340-355. Springer, (1993)Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE., , , and . HICSS, IEEE Computer Society, (1999)MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems., and . ECAI, page 423-427. John Wiley and Sons, Chichester, (1996)Formalisation for decision support in anaesthesiology., , , , , and . Artif. Intell. Medicine, 11 (3): 189-214 (1997)Software Metrics for Policy-Driven Software Development Life Cycle Automation., , , and . ICST Workshops, page 169-174. IEEE Computer Society, (2018)Algebraic Proof Assistants in HOL., , , , and . MPC, volume 947 of Lecture Notes in Computer Science, page 304-321. Springer, (1995)A software architecture for knowledge-based systems., and . Knowl. Eng. Rev., 14 (2): 153-173 (1999)Formalizing Anaesthesia: a case study in formal specification., , , and . FME, volume 1051 of Lecture Notes in Computer Science, page 120-139. Springer, (1996)