Explore projects

A simple program to test information extract on different tools

Material for the VerifyThis long term challenge 2020 https://verifythis.github.io

Code Save for the paper: A Simpler Model for Recovering Superpoly on Trivium

Abstract Requirement Extraction for Systems

Simulation of UPI central services (eHealthSuisse)

Personalized Emotional Agent for Neurotechnology User Training

Linkex is a tool that extracts candidate link keys from two data sources in RDF.