Predicting Students' Performance with SimStudent: Learning Cognitive Skills from Observation. - Noboru Matsuda; William W. Cohen; Jonathan Sewall; Gustavo Lacerda; Kenneth R. Koedinger (AIED, 2007)

Evaluating a Simulated Student Using Real Students Data for Training and Testing. - Noboru Matsuda; William W. Cohen; Jonathan Sewall; Gustavo Lacerda; Kenneth R. Koedinger (User Modeling, 2007)

Why Tutored Problem Solving May be Better Than Example Study: Theoretical Implications from a Simulated-Student Study. - Noboru Matsuda; William W. Cohen; Jonathan Sewall; Gustavo Lacerda; Kenneth R. Koedinger (Intelligent Tutoring Systems, 2008)

Causal discovery of linear acyclic models with arbitrary distributions. - Patrik O. Hoyer; Aapo Hyvärinen; Richard Scheines; Peter Spirtes; Joseph D. Ramsey; Gustavo Lacerda; Shohei Shimizu (UAI, 2008)

Discovering Cyclic Causal Models by Independent Components Analysis. - Gustavo Lacerda; Peter Spirtes; Joseph D. Ramsey; Patrik O. Hoyer (UAI, 2008)

Upper-Bounding Proof Length with the Busy Beaver. - Gustavo Lacerda (CoRR, 2014)

A Proactive Restoration Strategy for Optical Cloud Networks Based on Failure Predictions. - Carlos Natalino; Frederico Coelho; Gustavo Lacerda; Antônio P. Braga; Lena Wosinska; Paolo Monti 001 (ICTON, 2018)

Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets. - Sylvain Carré; Franck Gabriel; Clément Hongler; Gustavo Lacerda; Gloria Capano (CoRR, 2021)

Smart Proofs via Recursive Information Gathering: Decentralized Refereeing by Smart Contracts. - Sylvain Carré; Franck Gabriel; Clément Hongler; Gustavo Lacerda; Gloria Capano (Distributed Ledger Technol. Res. Pract., 2024)