Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lars-Henrik Eriksson
conf.researchr.org general profile
FM 2026 profile
PLDI 2026 profile
Registered user since Tue 31 Mar 2026
Name:
Lars-Henrik Eriksson
Country:
Sweden
Affiliation:
Uppsala University
Contributions
2026
EGRAPHS
Author of Predicate E-Graphs with Symbolic Conditional Rewriting within the EGRAPHS-track
FM
Committee Member in FME Board
Author of Why does it fail? Explanation of verification failures within the ABZ-track
Share
x
Wed 15 Jul 16:19