Author of the publication

Formal Development of Reactive Agent-Based Systems.

, , , and . Encyclopedia of Information Science and Technology (II), Idea Group, (2005)

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

NIK and IKK interdependence in NF-B signalling - Flux analysis of regulation through metabolites, , , , and . Biosystems, (Nov 10, 2009)Complete Testing from a Stream X-Machine Specification., and . Fundam. Informaticae, 64 (1-4): 205-216 (2005)P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines)., , , , , and . Fundam. Informaticae, 49 (1-3): 17-33 (2002)The Software Hut - A Student Experience of eXtreme Programming with Real Commercial Clients., , and . XP, volume 3556 of Lecture Notes in Computer Science, page 323-324. Springer, (2005)Testing Using X-Machine Translations., , , and . Words, Semigroups, and Transductions, page 211-229. World Scientific, (2001)Functional test generation for extreme programming. eXtreme Programming and Flexible Processes in Software Engineering, 2nd International Conference, XP2001, Sardinia, page 109--113. (2001)A study into the effects of personality type and methodology on cohesion in software Engineering Teams., , , and . Behaviour & Information Technology, 26 (2): 99--111 (2007)https://doi.org/10.1080/01449290500102110.The Epitheliome Project: multiscale agent-based modeling of epithelial cells., and . ISBI, page 816-819. IEEE, (2006)Campus-based industrial software projects: risks and rewards., and . ITiCSE, page 189. ACM, (1999)BoF: New Directions in UK Software Engineering Research., , and . ICSE, page 693-694. IEEE Computer Society, (2004)