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

Modular mathematical modelling of biological systems., , and . SpringSim (TMS-DEVS), page 36. SCS/ACM, (2012)Array Synthesis in SystemC Hardware Compilation., and . FPL, page 23-28. IEEE, (2007)Sharing and reusing cardiovascular anatomical models over the web: a step towards the implementation of the virtual physiological human project, , , , , , , and . Philos Trans A Math Phys Eng Sci, 368 (1921): 3039--3056 (2010)Pebble: A Language for Parametrised and Reconfigurable Hardware Design., and . FPL, volume 1482 of Lecture Notes in Computer Science, page 9-18. Springer, (1998)Performance problem localization in self-healing, service-oriented systems using Bayesian networks., , , and . SAC, page 104-109. ACM, (2007)euHeartDB: A Web-Enabled Database for Geometrical Models of the Heart., , and . FIMH, volume 5528 of Lecture Notes in Computer Science, page 407-416. Springer, (2009)From Quantities in Software Models to Implementation.. MODELSWARD, page 199-206. SCITEPRESS, (2021)Provably-correct hardware compilation tools based on pass separation techniques., and . Formal Aspects Comput., 18 (2): 120-142 (2006)Experience report: a Haskell interpreter for cellML., and . ICFP, page 247-250. ACM, (2007)Lack of adoption of units of measurement libraries: survey and anecdotes., and . ICSE (SEIP), page 81-89. ACM, (2020)