Author of the publication

Concrete Abstractions - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria

. Texts & Monographs in Symbolic Computation Springer, (2023)

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

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)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)Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs. ThEdu, volume 79 of EPTCS, page 124-142. (2011)ADAM - An Abstract Dataflow Machine and Its Transputer Implementation.. EDMCC, volume 487 of Lecture Notes in Computer Science, page 392-401. Springer, (1991)A Para-Functional Programming Interface for a Parallel Computer Algebra Package.. J. Symb. Comput., 21 (4): 593-614 (1996)Concrete Abstractions - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria. Texts & Monographs in Symbolic Computation Springer, (2023)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)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)