LaTeX templates for:
Created by Pascal Bercher (credit appreciated), though some parts may have contributions by others.
Forked from https://gitlab.cecs.anu.edu.au/u5568237/mdpsim
Parallel Fixed-point Model Checker (PFMC) - a parallel version of Open-Source Fixed-point Model Checker (OFMC) for security protocol verification.
Code related to the Open-Form Music Composition for Synchronised and Coordinated Action
Active Knowledge Graph Completion resources
This repository contains various pre-prints, technical reports and other documents from Thomas Haines
Web password managing utilities