-
r37980778c78--99b50d6f8faa14976c0c5572ff199c87
This repository contains the raw data related to the TriScale paper (currently anonymous for double-blind review). TriScale: A Framework Supporting Reproducible Performance... -
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... -
r37980778c78--dd3be2f09c45224b80d2d40f4a71b72e
R scripts used to perform the analyses described in the manuscript "Indication of spatially random occurrence of Chlamydia-like organisms in Bufo bufo tadpoles from ponds... -
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...