# Julius Michaelis

According to our database

Collaborative distances:

^{1}, Julius Michaelis authored at least 12 papers between 2014 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

Recovery-Conscious Adaptive Watermark Generation for Time-Order Event Stream Processing.

Proceedings of the Fifth IEEE/ACM International Conference on Internet-of-Things Design and Implementation, 2020

2019

Dracena: A Real-Time IoT Service Platform Based on Flexible Composition of Data Streams.

Proceedings of the IEEE/SICE International Symposium on System Integration, 2019

2018

J. Autom. Reasoning, 2018

2017

Arch. Formal Proofs, 2017

Proceedings of the 23rd International Conference on Types for Proofs and Programs, 2017

2016

Arch. Formal Proofs, 2016

Arch. Formal Proofs, 2016

Arch. Formal Proofs, 2016

Arch. Formal Proofs, 2016

Arch. Formal Proofs, 2016

Proceedings of the 2016 IFIP Networking Conference, 2016

2014

Analysis of injection capabilities and media access of IEEE 802.11 hardware in monitor mode.

Proceedings of the 2014 IEEE Network Operations and Management Symposium, 2014