Julius Michaelis
Publication Activity (10 Years)
Years Active: 2014-2022
Publications (10 Years): 15
Publications (10 Years): 15
Publications
- Jesús Aransay, Laureano Lambán, Julius Michaelis, Julio Rubio
- Jesús Aransay, Alejandro del Campo, Julius Michaelis
- Cornelius Diekmann, Lars Hupel, Julius Michaelis, Max W. Haslbeck, Georg Carle
- Julius Michaelis, Tobias Nipkow
- Julius Michaelis, Tobias NipkowPropositional Proof Systems. Arch. Formal Proofs 2017 (2017)
- Julius Michaelis, Cornelius Diekmann
- Cornelius Diekmann, Julius Michaelis, Lars HupelIP Addresses. Arch. Formal Proofs 2016 (2016)
- Cornelius Diekmann, Julius Michaelis, Max W. Haslbeck, Georg Carle
- Julius Michaelis, Max W. Haslbeck, Peter Lammich, Lars Hupel
- Cornelius Diekmann, Julius Michaelis, Max W. HaslbeckSimple Firewall. Arch. Formal Proofs 2016 (2016)
- Julius Michaelis, Cornelius DiekmannRouting. Arch. Formal Proofs 2016 (2016)