Login / Signup
Pierre Jouvelot
ORCID
Publication Activity (10 Years)
Years Active: 1986-2023
Publications (10 Years): 15
Top Topics
Energy Consumption
Working Memory
Theorem Proving
Sensitivity Analysis
Top Venues
CoRR
ICS 25th Anniversary
FARM@ICFP
SoftCOM
</>
Publications
</>