Christopher Schmidt

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2023
Lazily-Verifiable SAT Proof Checker in SPARK 2014.
Datenschutz und Datensicherheit, 2023

2021
Miniaturized Optical Intersatellite Communication Terminal - CubeISL.
Proceedings of the IEEE International Conference on Communications Workshops, 2021

2020
Don't Stop at the Top: Using Certificate Transparency Logs to Extend Domain Lists for Web Security Studies.
Proceedings of the 45th IEEE Conference on Local Computer Networks, 2020

2019
Open Information Extraction gestützte Pipeline für einen deutschsprachigen Wissensgraphen.
Proceedings of the Studierendenkonferenz Informatik, 2019

2013
FUEGO - Fire Urgency Estimator in Geosynchronous Orbit - A Proposed Early-Warning Fire Detection System.
Remote. Sens., 2013


  Loading...