22 items found

Types: software Groups: ZENODO Tags: Cell Biology Evolutionary Biology

Filter Results
  • software

    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...
  • software

    Code For The Analysis Of Acoustic And Micro-Seismic Data Measured At Matterho...

    Python3 code used to produce Figures in the following publication: Weber, S., Faillettaz, J., Meyer, M., Beutel, J., and Vieli, A.: Acoustic and micro-seismic characterization...