Login / Signup
Gustavo Lacerda
ORCID
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 3
Top Topics
Smart Environments
Branch And Bound Algorithm
Theorem Prover
Upper Bounding
Top Venues
CoRR
ICTON
Distributed Ledger Technol. Res. Pract.
</>
Publications
</>