Author of the publication

Introducing VECMAtk - Verification, Validation and Uncertainty Quantification for Multiscale and HPC Simulations.

, , , , , , , , , , , , , , , , , and . ICCS (4), volume 11539 of Lecture Notes in Computer Science, page 479-492. Springer, (2019)

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

Interactive mathematics textbooks.. SIGPLAN Notices, 38 (2): 47-56 (2003)Introducing VECMAtk - Verification, Validation and Uncertainty Quantification for Multiscale and HPC Simulations., , , , , , , , , and 8 other author(s). ICCS (4), volume 11539 of Lecture Notes in Computer Science, page 479-492. Springer, (2019)Visualizing Ricci Flow of Manifolds of Revolution., and . Experimental Mathematics, 14 (3): 285-298 (2005)On the Last Geometric Statement of Jacobi.. Experimental Mathematics, 12 (4): 477-485 (2003)Thaw: A Tool for Approximating Cut Loci on a Triangulation of a Surface., and . Experimental Mathematics, 13 (3): 309-325 (2004)Do rational numbers play a role in selection for stochasticity?. Front. Comput. Neurosci., (2014)Computing a New Family of Shape Descriptors for Protein Structures., and . Journal of Chemical Information and Computer Sciences, 43 (6): 1740-1747 (2003)Loki: Software for Computing Cut Loci., and . Experimental Mathematics, 11 (1): 1-25 (2002)The Set of Poles of a Two-Sheeted Hyperboloid., and . Experimental Mathematics, 11 (1): 27-36 (2002)Geometric Theory Predicts Bifurcations in Minimal Wiring Cost Trees in Biology Are Flat., , , , and . PLoS Computational Biology, (2012)