ask others

Julius Michaelis

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

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

2018
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jar/DiekmannHMHC18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jar/DiekmannHMHC18
Cornelius Diekmann, Lars Hupel, Julius Michaelis, Maximilian P. L. Haslbeck, Georg Carle:
Verified iptables Firewall Analysis and Verification. J. Autom. Reasoning 61(1-4): 191-242 (2018)
2017
[d6]
- 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)
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/types/MichaelisN17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/types/MichaelisN17
Julius Michaelis, Tobias Nipkow:
Formalized Proof Systems for Propositional Logic. TYPES 2017: 5:1-5:16
2016
[d5]
- 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)
[d4]
- 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)
[d3]
- 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)
[d2]
- 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)
[d1]
- 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

, founded at