ask others

Julius Michaelis

◁ ▷ joint publications with coauthor community group 1

> Home > Persons > Julius Michaelis

Publications

2017
[j6]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/MichaelisN17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/MichaelisN17
Julius Michaelis, Tobias Nipkow:
Propositional Proof Systems. Archive of Formal Proofs 2017 (2017)
2016
[j5]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/DiekmannMH16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/DiekmannMH16
Cornelius Diekmann, Julius Michaelis, Lars Hupel:
IP Addresses. Archive of Formal Proofs 2016 (2016)
[j4]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/DiekmannMH16a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/DiekmannMH16a
Cornelius Diekmann, Julius Michaelis, Maximilian P. L. Haslbeck:
Simple Firewall. Archive of Formal Proofs 2016 (2016)
[j3]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/MichaelisD16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/MichaelisD16
Julius Michaelis, Cornelius Diekmann:
Routing. Archive of Formal Proofs 2016 (2016)
[j2]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/MichaelisD16a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/MichaelisD16a
Julius Michaelis, Cornelius Diekmann:
LOFT - Verified Migration of Linux Firewalls to SDN. Archive of Formal Proofs 2016 (2016)
[j1]
- view
  - electronic edition @ isa-afp.org
- export record
  dblp key:
  - journals/afp/MichaelisHLH16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/afp/MichaelisHLH16
Julius Michaelis, Maximilian P. L. Haslbeck, Peter Lammich, Lars Hupel:
Algorithms for Reduced Ordered Binary Decision Diagrams. Archive of Formal Proofs 2016 (2016)
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/networking/DiekmannMHC16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/networking/DiekmannMHC16
Cornelius Diekmann, Julius Michaelis, Maximilian P. L. Haslbeck, Georg Carle:
Verified iptables firewall analysis. Networking 2016: 252-260
2014
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/noms/GuntherLMC14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/noms/GuntherLMC14
Stephan M. Günther, Maurice Leclaire, Julius Michaelis, Georg Carle:
Analysis of injection capabilities and media access of IEEE 802.11 hardware in monitor mode. NOMS 2014: 1-9

maintained by

at