( en | de | ru )

 

Disambiguation of "Michaelis, Julius"

Author of the publication

copydeleteadd this publication to your clipboard
LOFT - Verified Migration of Linux Firewalls to SDN.

, and . Arch. Formal Proofs, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Arnold Michaelis

Horst Michaelis

Werner Michaelis

Hildegard Michaelis

Berthold Michaelis

 

Other publications of authors with the same name

Simplicial Complexes and Boolean functions., , and . Arch. Formal Proofs, (2021)ShadowSync: latency long tail caused by hidden synchronization in real-time LSM-tree based stream processing systems., , , , , and . Middleware, page 281-294. ACM, (2022)Recovery-Conscious Adaptive Watermark Generation for Time-Order Event Stream Processing., , and . IoTDI, page 66-78. IEEE, (2020)Simple Firewall., , and . Arch. Formal Proofs, (2016)Formalized Proof Systems for Propositional Logic., and . TYPES, volume 104 of LIPIcs, page 5:1-5:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Recovery-Robust Inquiry to External Services from Stream Processing Application., , , , and . IEEE Big Data, page 2333-2338. IEEE, (2022)Dracena: A Real-Time IoT Service Platform Based on Flexible Composition of Data Streams., , , , , , , , , and 1 other author(s). SII, page 596-601. IEEE, (2019)Verified iptables Firewall Analysis and Verification., , , , and . J. Autom. Reason., 61 (1-4): 191-242 (2018)Algorithms for Reduced Ordered Binary Decision Diagrams., , , and . Arch. Formal Proofs, (2016)Formalizing Alexander duality through BDDs., , , and . ISAIM, (2022)