Explore projects
-
Symbolic Verification of a #PKCS11 Model using a key hierarchy. Syntax Highlighting for tamarin in pygments.
Updated -
This is a collection of LaTeX templates provided by the Computer Science Students Council.
Updated -
-
This is a LaTeX template suggestion for a Bachelor's or Master's thesis.
Updated -
Published at SIGMOD 2023.
UpdatedUpdated -
Published at EDBT 2023.
UpdatedUpdated -
Published at CIDR 2023.
UpdatedUpdated -
LaTeX template for task sheet submissions in German or English.
This is a mirror for https://git.rpiet.de/rpietsch/uds-tasksheet/ to provide access to Saarland University students. If you have feedback regarding this template, feel free to send me an email or to open an issue here on GitLab.
Updated -
-
Updated
-
This repository is an exercise for the StEP 2020 Git/LaTeX Workshop.
Fork this repository and take a look at sheet01.tex After editing the file, you can commit changes to your fork of this project.
Updated -
This repository is an exercise for the StEP 2020 Git/LaTeX Workshop.
Fork this repository and take a look at sheet01.tex After editing the file, you can commit changes to your fork of this project.
Updated -
Introductory slides on mutable. Intended for students.
Updated