Explore projects

Presentation for the COMMA 2020 of "Structure or Content? Towards assessing Argument Relevance"

A Java-based Jupyter kernel for ProB 2

The Camille Editor for Rodin

Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU

Web-Version: https://voelkel.pages.cs.uni-duesseldorf.de/ds-skript

Kodkod Wrapper for ProB

Prune a metabolic model (remove redundant reactions). Based on Network Reducer (Erdrich et al. 2015).

Logstash Elasticsearch Kibana

Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.