A Note on Grammatical Covers. - Arnaldo Moura (Inf. Process. Lett., 1980)

A Generalization of Ogden's Lemma. - Christopher Bader; Arnaldo Moura (J. ACM, 1982)

A New Look at Some Classical Results in Computational Complexity. - Arnaldo Moura; Igor Carboni Oliveira (Electron. Colloquium Comput. Complex., 2009)

A Video Game Level Analysis Model Proposal. - Samuel Almeida; Ana Isabel Veloso; Óscar Mealha; Licínio Roque; Arnaldo Moura (IV, 2012)