Julius Michaelis

Homepages 🌐

• http://liftm.de/

Entries

2021

Simplicial Complexes and Boolean functions

by Jesús Aransay 🌐, Alejandro del Campo 📧 and Julius Michaelis 🌐

Nov 29

2017

Propositional Proof Systems

by Julius Michaelis 🌐 and Tobias Nipkow 🌐

Jun 21

2016

LOFT — Verified Migration of Linux Firewalls to SDN

by Julius Michaelis 🌐 and Cornelius Diekmann 🌐

Oct 21

Routing

by Julius Michaelis 🌐 and Cornelius Diekmann 🌐

Aug 31

Simple Firewall

by Cornelius Diekmann 🌐, Julius Michaelis 🌐 and Max W. Haslbeck 🌐

Aug 24

IP Addresses

by Cornelius Diekmann 🌐, Julius Michaelis 🌐 and Lars Hupel 🌐

Jun 28

Algorithms for Reduced Ordered Binary Decision Diagrams

by Julius Michaelis 🌐, Max W. Haslbeck 🌐, Peter Lammich 🌐 and Lars Hupel 🌐

Apr 27