BibTeX records: Julius Michaelis

download as .bib file

@inproceedings{DBLP:conf/isaim/AransayLMR22,
  author    = {Jes{\'{u}}s Aransay and
               Laureano Lamb{\'{a}}n and
               Julius Michaelis and
               Julio Rubio},
  title     = {Formalizing Alexander duality through BDDs},
  booktitle = {Proceedings of the International Symposium on Artificial Intelligence
               and Mathematics 2022 {(ISAIM} 2022), Fort Lauderdale, Florida, USA,
               January 3-5, 2022},
  year      = {2022},
  url       = {https://isaim2022.cs.ou.edu/papers/ISAIM2022\_Formalization\_Aransay\_et\_al.pdf},
  timestamp = {Fri, 25 Feb 2022 12:04:55 +0100},
  biburl    = {https://dblp.org/rec/conf/isaim/AransayLMR22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/AransayCM21,
  author    = {Jes{\'{u}}s Aransay and
               Alejandro del Campo and
               Julius Michaelis},
  title     = {Simplicial Complexes and Boolean functions},
  journal   = {Arch. Formal Proofs},
  volume    = {2021},
  year      = {2021},
  url       = {https://www.isa-afp.org/entries/Simplicial\_complexes\_and\_boolean\_functions.html},
  timestamp = {Wed, 22 Dec 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/afp/AransayCM21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iotdi/OnishiMK20,
  author    = {Takafumi Onishi and
               Julius Michaelis and
               Yasuhiko Kanemasa},
  title     = {Recovery-Conscious Adaptive Watermark Generation for Time-Order Event
               Stream Processing},
  booktitle = {Fifth {IEEE/ACM} International Conference on Internet-of-Things Design
               and Implementation, IoTDI 2020, Sydney, Australia, April 21-24, 2020},
  pages     = {66--78},
  publisher = {{IEEE}},
  year      = {2020},
  url       = {https://doi.org/10.1109/IoTDI49375.2020.00014},
  doi       = {10.1109/IoTDI49375.2020.00014},
  timestamp = {Sat, 06 Jun 2020 15:43:22 +0200},
  biburl    = {https://dblp.org/rec/conf/iotdi/OnishiMK20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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. Reason.},
  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 = {Wed, 02 Sep 2020 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