Using HMM in Strategic Games. - Mario R. F. Benevides; Isaque Lima 001; Rafael Nader; Pedro Rougemont (DCM, 2013)

Action Models with Postconditions. - Mario R. F. Benevides; Isaque Lima 001 (Computación y Sistemas, 2017)

On Diagrams and General Model Checkers. - Sheila R. M. Veloso; Paulo A. S. Veloso; Mario R. F. Benevides; Isaque M. S. Lima (Diagrams, 2018)

Dynamic Epistemic Logic with Communication Actions. - Mario Roberto Folhadela Benevides; Isaque Macalam Saab Lima (LSFA, 2018)