Simplicial Complexes and Boolean functions by Jesús Aransay, Alejandro del Campo and Julius Michaelis Nov 29
LOFT — Verified Migration of Linux Firewalls to SDN by Julius Michaelis and Cornelius Diekmann Oct 21
Algorithms for Reduced Ordered Binary Decision Diagrams by Julius Michaelis, Max W. Haslbeck, Peter Lammich and Lars Hupel Apr 27