Get started
Author

Sascha Kehrli

Observed name: Kehrli, Sascha
ORCID: 0009-0001-2460-199X
Observed ORCID: 0009-0001-2460-199X
OpenAlex ID: A5119983313
Artifact for "Bringing Foundational Verification to Real-World Rust Code"
2026 · Gäher, Lennard, Lafeychine, Vincent, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
Equitable energy sharing in local energy communities: a fast and fair allocation method
2025 · Tania B. Lopez-Garcia, Sascha Kehrli, et al. · IEEE PES Innovative Smart Grid Technologies Europe · 1
Bringing Foundational Verification to Real-World Rust Code
2026 · Lennard Gäher, Vincent Lafeychine, et al. · Proceedings of the ACM on Programming Languages
Bridging the gap between PV generation and demand: the role of energy storage and demand-side management in local energy markets
2025 · Tania B. Lopez-Garcia, Sascha Kehrli, et al. · IET conference proceedings.
Works count: 4
Citation count: 2
H-index: 1
I10-index:
Year
Topic
Type