| 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 | 80 | 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 | 49 | 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 | 46 | 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 | 36 | 2002 |
| On modelling virtual machine consolidation to pseudo-Boolean constraints BC Ribas, RM Suguimoto, RANR Montano, F Silva, L de Bona, ... Advances in Artificial Intelligence–IBERAMIA 2012: 13th Ibero-American …, 2012 | 32 | 2012 |
| Modal tableaux for reasoning about actions and plans MA Castilho, O Gasquet, A Herzig Recent Advances in AI Planning: 4th European Conference on Planning, ECP'97 …, 1997 | 25 | 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 | 21 | 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 | 16 | 2018 |
| 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 |
| An investigation on genetic algorithms for generic strips planning M Castilho, LA Kunzle, E Lecheta, V Palodeto, F Silva Advances in Artificial Intelligence–IBERAMIA 2004: 9th Ibero-American …, 2004 | 15 | 2004 |
| Springer: Berlin LN Barros, M Finger, AT Pozo, GA Gimenénez-Lugo, M Castilho Heidelberg, Germany 7589, 52-61, 2012 | 14 | 2012 |
| 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 | 14 | 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 | 12 | 2019 |
| 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 | 11 | 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 |
| 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 | 9 | 2021 |
| 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 | 9 | 2017 |
| A Petri net based representation for planning problems M Castilho, A Guedes, T Lima, J Marynowski, R Montano, F Silva Booklet of International Planning Competition-IPC 4, 27-29, 2004 | 9 | 2004 |