Explore projects

Logstash Elasticsearch Kibana

This is a short example for requesting data with neo4j-driver in a node.js project.

Standalone version of the Rodin Event-B parser and AST, published to Maven Central

Public codebase for "Dialogue Term Extraction using Transfer Learning and Topological Data Analysis" published at SIGDIAL 2022.

The ProB Model Checker and Animator Plugin for Rodin

Code for "EmoWOZ: A Large-Scale Corpus and Labelling Scheme for Emotion Recognition in Task-Oriented Dialogue Systems".

This repository deals with the data exploration of the data contained in D-BAS.

Modified version of the TLA+ tools for usage in ProB