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

A Basic Logic for Reasoning about Connector Reconfiguration.. Fundam. Informaticae, 82 (4): 361-390 (2008)Feature Nets: behavioural modelling of software product lines., , and . Softw. Syst. Model., 15 (4): 1181-1206 (2016)Conference report: the active web., and . ACM SIGCHI Bull., 31 (4): 55-60 (1999)UUXML: A Type-Preserving XML Schema-Haskell Data Binding., , and . PADL, volume 3057 of Lecture Notes in Computer Science, page 71-85. Springer, (2004)Modelling Coordination in Biological Systems., , and . ISoLA, volume 4313 of Lecture Notes in Computer Science, page 9-25. Springer, (2004)Automata for Context-Dependent Connectors., , and . COORDINATION, volume 5521 of Lecture Notes in Computer Science, page 184-203. Springer, (2009)Feature Petri Nets., , and . SPLC Workshops, page 99-106. Lancaster University, (2010)HATS - A Formal Software Product Line Engineering Methodology., , , , , , and . SPLC Workshops, page 121-128. Lancaster University, (2010)Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work., , and . ACM Comput. Surv., 51 (6): 125:1-125:36 (2019)Interfaces for the Active Web., and . Interact. Comput., 13 (3): 323-324 (2001)