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.

 

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

Interfaces for the Active Web., и . Interact. Comput., 13 (3): 323-324 (2001)Feature Nets: behavioural modelling of software product lines., , и . Softw. Syst. Model., 15 (4): 1181-1206 (2016)A Basic Logic for Reasoning about Connector Reconfiguration.. Fundam. Informaticae, 82 (4): 361-390 (2008)Automata for Context-Dependent Connectors., , и . COORDINATION, том 5521 из Lecture Notes in Computer Science, стр. 184-203. Springer, (2009)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)UUXML: A Type-Preserving XML Schema-Haskell Data Binding., , и . PADL, том 3057 из Lecture Notes in Computer Science, стр. 71-85. Springer, (2004)Modelling Coordination in Biological Systems., , и . ISoLA, том 4313 из Lecture Notes in Computer Science, стр. 9-25. Springer, (2004)Conference report: the active web., и . ACM SIGCHI Bull., 31 (4): 55-60 (1999)Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work., , и . ACM Comput. Surv., 51 (6): 125:1-125:36 (2019)