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

A Generic Programming Environment for High-Performance Mathematical Libraries., , , and . Generic Programming, volume 1766 of Lecture Notes in Computer Science, page 256-268. Springer, (1998)jSimMacs for GROMACS: A Java Application for Advanced Molecular Dynamics Simulations with Remote Access Capability., , , and . Journal of Chemical Information and Modeling, 49 (10): 2412-2417 (2009)vmdICE: A plug-in for rapid evaluation of molecular dynamics simulations using VMD., , , and . J. Comput. Chem., 31 (16): 2868-2873 (2010)Relaxation Estimation of RMSD in Molecular Dynamics Immunosimulations., , , and . Comput. Math. Methods Medicine, (2012)Validating Mathematical Theorems and Algorithms with RISCAL.. CICM, volume 11006 of Lecture Notes in Computer Science, page 248-254. Springer, (2018)Computer simulation of the coronary circulation: Implications for models and therapeutic Coronary Sinus Intervention.. Simul., 59 (1): 15-23 (1992)Is an Intuitive Convergence Definition of Molecular Dynamics Simulations Solely Based on the Root Mean Square Deviation Possible?, , , , and . J. Comput. Biol., 18 (8): 997-1005 (2011)Concrete Abstractions - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria. Texts & Monographs in Symbolic Computation Springer, (2023)A Para-Functional Programming Interface for a Parallel Computer Algebra Package.. J. Symb. Comput., 21 (4): 593-614 (1996)Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs. ThEdu, volume 79 of EPTCS, page 124-142. (2011)