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)Coherency Hub Design for Multi-Node Victoria Falls Server Systems., , , , , , , and . Hot Interconnects, page 43-50. IEEE Computer Society, (2008)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 . WSC, page 1666-1674. IEEE Computer Society, (2006)Computational modeling of biological pathways by executable biology., and . Methods in enzymology, (2011)Analysis Of Disk Workloads In Network File Server Environments., and . Int. CMG Conference, page 313-322. Computer Measurement Group, (1995)Narrative-based computational modelling of the Gp130/JAK/STAT signalling pathway., , , , and . BMC Syst. Biol., (2009)The Equivalence between Biology and Computation.. CMSB, volume 5688 of Lecture Notes in Computer Science, page 18-25. Springer, (2009)Hyperchannel Local Network Interconnection Through Satellite Links., and . Computer, 17 (5): 30-39 (1984)