Patrick Laskowski

According to our database, Patrick Laskowski authored at least 3 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

SOLA: A Decentralized Communication Middleware Developed with ns-3.

Peter Detzner, Jana Gödeke, Lars Tönning, Patrick Laskowski, Maximilian Hörstrup, Oliver Stolz, Marius Brehler, Sören Kerner

Proceedings of the 2023 Workshop on ns-3, 2023

Tree-structured Overlays with Minimal Height: Construction, Maintenance and Operation.

Patrick Laskowski, Peter Detzner, Steffen Bondorf

Proceedings of the 17th ACM International Conference on Distributed and Event-based Systems, 2023

2018

HOL Light QE.

Jacques Carette, William M. Farmer, Patrick Laskowski

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018