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

Probabilistic model checking of complex biological pathways., , , , and . Theor. Comput. Sci., 391 (3): 239-257 (2008)Coherency Hub Design for Multisocket Sun Servers with CoolThreads Technology., , , , , , and . IEEE Micro, 29 (4): 36-47 (2009)Probabilistic Model Checking of Complex Biological Pathways., , , , and . CMSB, volume 4210 of Lecture Notes in Computer Science, page 32-47. Springer, (2006)Simulation and verification for computational modelling of signalling pathways., , , , , and . Winter Simulation Conference, page 1666-1674. IEEE Computer Society, (2006)Coherency Hub Design for Multi-Node Victoria Falls Server Systems., , , , , , , and . Hot Interconnects, page 43-50. IEEE Computer Society, (2008)Erratum to: Development Tools and Techniques for Mobile Telecommunications., , and . MONET, 15 (6): 816 (2010)Analysis Of Disk Workloads In Network File Server Environments., and . Int. CMG Conference, page 313-322. Computer Measurement Group, (1995)Community Detection Using Cooperative Co-evolutionary Differential Evolution., , , , , , , , and . PPSN (2), volume 7492 of Lecture Notes in Computer Science, page 235-244. Springer, (2012)Hyperchannel Local Network Interconnection Through Satellite Links., and . IEEE Computer, 17 (5): 30-39 (1984)Narrative-based computational modelling of the Gp130/JAK/STAT signalling pathway., , , , and . BMC Systems Biology, (2009)