Philipp Joram

According to our database, Philipp Joram authored at least 2 papers between 2018 and 2023.

Collaborative distances:

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

2023

Constructive Final Semantics of Finite Bags.

Philipp Joram, Niccolò Veltri

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2018

System Monitoring with lo2s: Power and Runtime Impact of C-State Transitions.

Thomas Ilsche, Robert Schöne, Philipp Joram, Mario Bielert, Andreas Gocht

Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, 2018