Explore projects

compiler project for compiler construction course in Rust

This repo is for a publication which aims at unifying the ICTAC 2015 paper with related theoretical elements introduced by Judith's Master's dissertation. The target journal is: http://journals.cambridge.org/jid_MSC

Some of the scripts used for the RERS challenge 2016

LaTeX repository for thesis proposal

LaTeX repository for thesis document

Latex class voor de RU biref stijl

The paper on learning SSH which we hope to submit at http://conf.researchr.org/home/spin-2017 .

Learning product automata

Article collaboration about QUIC readiness for business applications