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

Modelling Coordination in Biological Systems., , and . ISoLA, volume 4313 of Lecture Notes in Computer Science, page 9-25. Springer, (2004)UUXML: A Type-Preserving XML Schema-Haskell Data Binding., , and . PADL, volume 3057 of Lecture Notes in Computer Science, page 71-85. 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)ESD event simulation automation using automatic extraction of the relevant portion of a full chip., , , and . ISQED, page 414-418. IEEE Computer Society, (2009)Dependency-style generic Haskell., , and . ICFP, page 141-152. ACM, (2003)Feature Nets: behavioural modelling of software product lines., , and . Softw. Syst. Model., 15 (4): 1181-1206 (2016)A Basic Logic for Reasoning about Connector Reconfiguration.. Fundam. Informaticae, 82 (4): 361-390 (2008)Towards a Theory of Views for Feature Models., and . SPLC Workshops, page 91-98. Lancaster University, (2010)