| Formalizing action and change in modal logic I: the frame problem MA Castilho, O Gasquet, A Herzig Journal of logic and computation 9 (5), 701-735, 1999 | 118 | 1999 |
| Modal tableaux with propagation rules and structural rules MA Castilho, LF del Cerro, O Gasquet, A Herzig Fundamenta Informaticae 32 (3-4), 281-297, 1997 | 86 | 1997 |
| The need for speed: An analysis of brazilian malware classifiers F Ceschin, F Pinage, M Castilho, D Menotti, LS Oliveira, A Gregio IEEE Security & Privacy 16 (6), 31-41, 2018 | 54 | 2018 |
| Petriplan: a new algorithm for plan generation (preliminary report) F Silva, M Alexandre Castilho, L Allan Künzle Ibero-American Conference on Artificial Intelligence, 86-95, 2000 | 44 | 2000 |
| It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation MA Castilho, A Herzig, I Varzinczak 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002 | 37 | 2002 |
| On modelling virtual machine consolidation to pseudo-Boolean constraints BC Ribas, RM Suguimoto, RANR Montano, F Silva, L de Bona, ... Ibero-American Conference on Artificial Intelligence, 361-370, 2012 | 32 | 2012 |
| Modal tableaux for reasoning about actions and plans MA Castilho, O Gasquet, A Herzig European Conference on Planning, 104-116, 1997 | 23 | 1997 |
| Pbfvmc: A new pseudo-boolean formulation to virtual-machine consolidation BC Ribas, RM Suguimoto, RANR Montano, F Silva, M Castilho 2013 Brazilian conference on intelligent systems, 201-206, 2013 | 22 | 2013 |
| Open educational resources platform based on collective intelligence MR de Oliveira, IB Sant’Anna, GS Ramos, LCE De Bona, MA Castilho, ... 2018 IEEE 4th International Conference on Collaboration and Internet …, 2018 | 21 | 2018 |
| An investigation on genetic algorithms for generic strips planning M Castilho, LA Kunzle, E Lecheta, V Palodeto, F Silva Ibero-American Conference on Artificial Intelligence, 185-194, 2004 | 16 | 2004 |
| O pensamento computacional no ensino fundamental i M Castilho, E Grebogy, I Santos Anais do Workshop de Informática na Escola 25 (1), 461-470, 2019 | 15 | 2019 |
| Springer: Berlin LN Barros, M Finger, AT Pozo, GA Gimenénez-Lugo, M Castilho Heidelberg, Germany 7589, 52-61, 2012 | 15 | 2012 |
| Alternância entre competição e colaboração para promover o aprendizado por meio de heurísticas de jogos D Martineschen, AI Direne, LC De Bona, F Silva, M Castilho, A Guedes, ... Anais do Workshop de Informática na Escola 1 (1), 2006 | 15 | 2006 |
| Mapeamento das iniciativas de promoção do pensamento computacional no ensino fundamental EC Grebogy, I Santos, MA Castilho Simpósio Brasileiro de Informática na Educação (SBIE), 965-975, 2021 | 13 | 2021 |
| Conceitos e ferramentas de apoio ao ensino de xadrez nas escolas brasileiras A Direne, L Bona, F Silva, G dos Santos, A Guedes, M Castilho, M Sunyé, ... X WIE, Salvador, 2004 | 13 | 2004 |
| Transparency meets management: A monitoring and evaluating tool for governmental projects C Trois, D Weingaertner, D Pasqualin, E Maciel, E Almeida, F Silva, ... 2017 IEEE/ACS 14th International Conference on Computer Systems and …, 2017 | 12 | 2017 |
| Computação desplugada no ensino fundamental i: Um mapeamento sistemático de literatura EC Grebogy, I Santos, MA Castilho Simpósio Brasileiro de Informática na Educação (SBIE), 953-964, 2021 | 11 | 2021 |
| Definição formal de táticas de Xadrez por meio da autoria incremental de conceitos heurísticos A Feitosa, A Direne, F Silva, L de Bona, A Guedes, M Castilho, M Sunyé, ... Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2007 | 10 | 2007 |
| Linguagem e ferramenta de autoria para promover o desenvolvimento de perícias em Xadrez C Hartmann, A Direne, L Bona, F Silva, G dos Santos, M Castilho, ... Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2005 | 10 | 2005 |
| An alternative to the iteration operator of propositional dynamic logic M Castilho, A Herzig Tech. Rep. 96-05-R, IRIT, 1996 | 10 | 1996 |
