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