BibTeX records: Julius Michaelis

download as .bib file

@inproceedings{DBLP:conf/sii/YamaokaITNMKUMT19,
  author    = {Hisatoshi Yamaoka and
               Kota Itakura and
               Eiichi Takahashi and
               Gaku Nakagawa and
               Julius Michaelis and
               Yasuhiko Kanemasa and
               Miwa Ueki and
               Tatsuro Matsumoto and
               Riichiro Take and
               Sayuri Tanie and
               Daigo Inoue},
  title     = {Dracena: {A} Real-Time IoT Service Platform Based on Flexible Composition
               of Data Streams},
  booktitle = {{IEEE/SICE} International Symposium on System Integration, {SII} 2019,
               Paris, France, January 14-16, 2019},
  pages     = {596--601},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/SII.2019.8700465},
  doi       = {10.1109/SII.2019.8700465},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/sii/YamaokaITNMKUMT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/DiekmannHMHC18,
  author    = {Cornelius Diekmann and
               Lars Hupel and
               Julius Michaelis and
               Max W. Haslbeck and
               Georg Carle},
  title     = {Verified iptables Firewall Analysis and Verification},
  journal   = {J. Autom. Reasoning},
  volume    = {61},
  number    = {1-4},
  pages     = {191--242},
  year      = {2018},
  url       = {https://doi.org/10.1007/s10817-017-9445-1},
  doi       = {10.1007/s10817-017-9445-1},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jar/DiekmannHMHC18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/MichaelisN17,
  author    = {Julius Michaelis and
               Tobias Nipkow},
  title     = {Propositional Proof Systems},
  journal   = {Arch. Formal Proofs},
  volume    = {2017},
  year      = {2017},
  url       = {https://www.isa-afp.org/entries/Propositional\_Proof\_Systems.shtml},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/MichaelisN17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/MichaelisN17,
  author    = {Julius Michaelis and
               Tobias Nipkow},
  editor    = {Andreas Abel and
               Fredrik Nordvall Forsberg and
               Ambrus Kaposi},
  title     = {Formalized Proof Systems for Propositional Logic},
  booktitle = {23rd International Conference on Types for Proofs and Programs, {TYPES}
               2017, May 29-June 1, 2017, Budapest, Hungary},
  series    = {LIPIcs},
  volume    = {104},
  pages     = {5:1--5:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2017},
  url       = {https://doi.org/10.4230/LIPIcs.TYPES.2017.5},
  doi       = {10.4230/LIPIcs.TYPES.2017.5},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl    = {https://dblp.org/rec/conf/types/MichaelisN17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/DiekmannMH16,
  author    = {Cornelius Diekmann and
               Julius Michaelis and
               Lars Hupel},
  title     = {{IP} Addresses},
  journal   = {Arch. Formal Proofs},
  volume    = {2016},
  year      = {2016},
  url       = {https://www.isa-afp.org/entries/IP\_Addresses.shtml},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/DiekmannMH16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/DiekmannMH16a,
  author    = {Cornelius Diekmann and
               Julius Michaelis and
               Max W. Haslbeck},
  title     = {Simple Firewall},
  journal   = {Arch. Formal Proofs},
  volume    = {2016},
  year      = {2016},
  url       = {https://www.isa-afp.org/entries/Simple\_Firewall.shtml},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/DiekmannMH16a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/MichaelisD16,
  author    = {Julius Michaelis and
               Cornelius Diekmann},
  title     = {Routing},
  journal   = {Arch. Formal Proofs},
  volume    = {2016},
  year      = {2016},
  url       = {https://www.isa-afp.org/entries/Routing.shtml},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/MichaelisD16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/MichaelisD16a,
  author    = {Julius Michaelis and
               Cornelius Diekmann},
  title     = {{LOFT} - Verified Migration of Linux Firewalls to {SDN}},
  journal   = {Arch. Formal Proofs},
  volume    = {2016},
  year      = {2016},
  url       = {https://www.isa-afp.org/entries/LOFT.shtml},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/MichaelisD16a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/MichaelisHLH16,
  author    = {Julius Michaelis and
               Max W. Haslbeck and
               Peter Lammich and
               Lars Hupel},
  title     = {Algorithms for Reduced Ordered Binary Decision Diagrams},
  journal   = {Arch. Formal Proofs},
  volume    = {2016},
  year      = {2016},
  url       = {https://www.isa-afp.org/entries/ROBDD.shtml},
  timestamp = {Mon, 25 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/afp/MichaelisHLH16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/networking/DiekmannMHC16,
  author    = {Cornelius Diekmann and
               Julius Michaelis and
               Max W. Haslbeck and
               Georg Carle},
  title     = {Verified iptables firewall analysis},
  booktitle = {2016 {IFIP} Networking Conference, Networking 2016 and Workshops,
               Vienna, Austria, May 17-19, 2016},
  pages     = {252--260},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {https://doi.org/10.1109/IFIPNetworking.2016.7497196},
  doi       = {10.1109/IFIPNetworking.2016.7497196},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/networking/DiekmannMHC16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/noms/GuntherLMC14,
  author    = {Stephan M. G{\"{u}}nther and
               Maurice Leclaire and
               Julius Michaelis and
               Georg Carle},
  title     = {Analysis of injection capabilities and media access of {IEEE} 802.11
               hardware in monitor mode},
  booktitle = {2014 {IEEE} Network Operations and Management Symposium, {NOMS} 2014,
               Krakow, Poland, May 5-9, 2014},
  pages     = {1--9},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {https://doi.org/10.1109/NOMS.2014.6838262},
  doi       = {10.1109/NOMS.2014.6838262},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/noms/GuntherLMC14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics