ask others

Julius Michaelis

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

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

Coauthor Index

see FAQ

maintained by

at