From post

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.

 

Другие публикации лиц с тем же именем

Automata for Context-Dependent Connectors., , и . COORDINATION, том 5521 из Lecture Notes in Computer Science, стр. 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., , и . Softw. Syst. Model., 15 (4): 1181-1206 (2016)Feature Petri Nets., , и . SPLC Workshops, стр. 99-106. Lancaster University, (2010)HATS - A Formal Software Product Line Engineering Methodology., , , , , , и . SPLC Workshops, стр. 121-128. Lancaster University, (2010)Modelling Coordination in Biological Systems., , и . ISoLA, том 4313 из Lecture Notes in Computer Science, стр. 9-25. Springer, (2004)UUXML: A Type-Preserving XML Schema-Haskell Data Binding., , и . PADL, том 3057 из Lecture Notes in Computer Science, стр. 71-85. Springer, (2004)Dependency-style generic Haskell., , и . ICFP, стр. 141-152. ACM, (2003)ESD event simulation automation using automatic extraction of the relevant portion of a full chip., , , и . ISQED, стр. 414-418. IEEE Computer Society, (2009)Towards a Theory of Views for Feature Models., и . SPLC Workshops, стр. 91-98. Lancaster University, (2010)