3 citations · 3 across the 1 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2022★ 3 cited
Evaluation of tools for describing, reproducing and reusing scientific workflows
Philipp Diercks, Dennis Gläser, Ontje Lünsdorf +3
In the field of computational science and engineering, workflows often entail the application of various software, for instance, for simulation or pre- and postprocessing. Typicall…
cs.SE2018
Experience Report: Formal Methods in Material Science
Bernhard Beckert, Britta Nestler, Moritz Kiefer +2
Increased demands in the field of scientific computation require that algorithms be more efficiently implemented. Maintaining correctness in addition to efficiency is a challenge t…