-
Software Used In 'Thetis Coastal Ocean Model: Discontinuous Galerkin Discreti...
This record collates DOIs for the software components used in 'Thetis coastal ocean model: discontinuous Galerkin discretization for the three-dimensional hydrostatic... -
ReproZip: 1.0.10
(reprounzip-vistrails didn't change) Bugfixes: Correctly escape shell commands containing backticks Overwrite tty prompt works correctly on Python 3 Fix /proc in... -
Artifact for paper: New Optimizations and Heuristics for Determinization of B...
The archive artifact.zip contains the artifact for the paper: New Optimizations and Heuristics for Determinization of Büchi Automata It contains: - the source code...