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

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)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)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)Dependency-style generic Haskell., , and . ICFP, page 141-152. ACM, (2003)ESD event simulation automation using automatic extraction of the relevant portion of a full chip., , , and . ISQED, page 414-418. IEEE Computer Society, (2009)From type checking by recursive descent to type checking with an abstract machine., and . LDTA, page 2. ACM, (2011)