Follow
Philipp Joram
Philipp Joram
Junior Researcher
Verified email at ioc.ee - Homepage
Title
Cited by
Cited by
Year
System monitoring with lo2s: Power and runtime impact of c-state transitions
T Ilsche, R Schöne, P Joram, M Bielert, A Gocht
2018 IEEE International Parallel and Distributed Processing Symposium …, 2018
62018
Constructive Final Semantics of Finite Bags
P Joram, N Veltri
14th International Conference on Interactive Theorem Proving (ITP 2023), 2023
42023
Final Coalgebras of Analytic Functors, in HoTT
P Joram, N Veltri
2022
Final Coalgebra of the Finite Bag Functor
P Joram, N Veltri
The system can't perform the operation now. Try again later.
Articles 1–4