Julius Michaelis

Simplicial Complexes and Boolean functions
by Jesús Aransay, Alejandro del Campo and Julius Michaelis

Propositional Proof Systems
by Julius Michaelis and Tobias Nipkow

LOFT — Verified Migration of Linux Firewalls to SDN
by Julius Michaelis and Cornelius Diekmann

Routing
by Julius Michaelis and Cornelius Diekmann

Simple Firewall
by Cornelius Diekmann, Julius Michaelis and Maximilian P. L. Haslbeck

IP Addresses
by Cornelius Diekmann, Julius Michaelis and Lars Hupel

Algorithms for Reduced Ordered Binary Decision Diagrams
by Julius Michaelis, Maximilian P. L. Haslbeck, Peter Lammich and Lars Hupel