Gustavo Lacerda
Orcid: 0009-0007-4181-4480
According to our database1,
Gustavo Lacerda
authored at least 9 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
1
1
1
1
3
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Smart Proofs via Recursive Information Gathering: Decentralized Refereeing by Smart Contracts.
Distributed Ledger Technol. Res. Pract., March, 2024
2021
Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets.
CoRR, 2021
2018
A Proactive Restoration Strategy for Optical Cloud Networks Based on Failure Predictions.
Proceedings of the 2018 20th International Conference on Transparent Optical Networks (ICTON), 2018
2014
2008
Proceedings of the UAI 2008, 2008
Proceedings of the UAI 2008, 2008
Why Tutored Problem Solving May be Better Than Example Study: Theoretical Implications from a Simulated-Student Study.
Proceedings of the Intelligent Tutoring Systems, 9th International Conference, 2008
2007
Proceedings of the User Modeling 2007, 11th International Conference, 2007
Predicting Students' Performance with SimStudent: Learning Cognitive Skills from Observation.
Proceedings of the Artificial Intelligence in Education, 2007