Modal Tableaux for Reasoning About Actions and Plans. - Marcos A. Castilho; Olivier Gasquet; Andreas Herzig (ECP, 1997)

Modal Tableaux with Propagation Rules and Structural Rules. - Marcos A. Castilho; Luis Fariñas del Cerro; Olivier Gasquet; Andreas Herzig (Fundam. Informaticae, 1997)

Modal tableaux based on graph-rules. - Marcos A. Castilho; Luis Fariñas del Cerro; Olivier Gasquet; Andreas Herzig (RelMiCS, 1998)

Formalizing Action and Change in Modal Logic I: the frame problem. - Marcos A. Castilho; Olivier Gasquet; Andreas Herzig (J. Log. Comput., 1999)

Petriplan: A New Algorithm for Plan Generation (Preliminary Report). - Fabiano Silva; Marcos A. Castilho; Luis Allan Künzle (IBERAMIA-SBIA, 2000)

It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation. - Marcos A. Castilho; Andreas Herzig; Ivan José Varzinczak (NMR, 2002)

An Investigation on Genetic Algorithms for Generic STRIPS Planning. - Marcos A. Castilho; Luis Allan Künzle; Edson Lecheta; Viviane Palodeto; Fabiano Silva (IBERAMIA, 2004)

Acquiring Expertise in Medical Radiology through Long-Term Interactions. - Alexandre Ibrahim Direne; Marcos Sfair Sunyé; Marcos A. Castilho; Fabiano Silva; Luis Carlos Erpen De Bona; Laura Sánchez García; Donia Scott (CBMS, 2008)

A User-Interface Environment Solution as an Educational Tool for an Online Chess Server on the Web. - Juliano Picussa; Laura Sánchez García; Juliana Bueno; Márica V. R. Ferreira; Alexandre Ibrahim Direne; Luis Carlos Erpen De Bona; Fabiano Silva; Marcos A. Castilho; Marcos Sfair Sunyé (ICEIS (5), 2008)

A user-interface environment solution for an online educational Chess server. - Juliano Picussa; Laura Sánchez García; Juliana Bueno; Márica V. R. Ferreira; Alexandre Ibrahim Direne; Luis Carlos Erpen De Bona; Fabiano Silva; Marcos A. Castilho; Marcos Sfair Sunyé (RCIS, 2008)

Authoring Adaptive Tutoring Systems for Complex Visual Skills. - Alexandre Ibrahim Direne; Luis Carlos Erpen De Bona; Marcos Sfair Sunyé; Marcos A. Castilho; Fabiano Silva; Laura Sánchez García; Donia Scott (ICALT, 2009)

Scenario-based Design - An Essential Instrument for an Innovative Target Application - Case Report. - Laura Sánchez García; Alexandre Ibrahim Direne; Marcos A. Castilho; Luis Carlos Erpen De Bona; Fabiano Silva; Marcos Sfair Sunyé (ICEIS (5), 2009)

On Collaborative Software for Web Communities Evaluation - A Case Study. - Laura Sánchez García; Dayane F. Machado; Juliano Duarte; Alexandre Ibrahim Direne; Marcos Sfair Sunyé; Marcos A. Castilho; Luis Carlos Erpen De Bona; Fabiano Silva (ICEIS (5), 2009)

A User-interface Environment as a Support in Maths Teaching for Deaf Children. - Maici Duarte Leite; Laura Sánchez García; Andrey R. Pimentel; Marcos Sfair Sunyé; Marcos A. Castilho; Luis C. E. Bona; Fabiano Silva (ICEIS (5), 2010)

On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability. - Ricardo Tavares de Oliveira; Fabiano Silva; Bruno César Ribas; Marcos A. Castilho (IBERAMIA, 2012)

On Modelling Virtual Machine Consolidation to Pseudo-Boolean Constraints. - Bruno César Ribas; Rubens Massayuki Suguimoto; Razer A. N. R. Montaño; Fabiano Silva; Luis Carlos Erpen De Bona; Marcos A. Castilho (IBERAMIA, 2012)

The Planning Net: Exploring the Petri Net Flow to Improve Planning Solvers. - Marcos A. Schreiner; Marcos A. Castilho; Fabiano Silva; Luis Allan Künzle (IBERAMIA, 2012)

PBFVMC: A New Pseudo-Boolean Formulation to Virtual-Machine Consolidation. - Bruno César Ribas; Rubens Massayuki Suguimoto; Razer A. N. R. Montaño; Fabiano Silva; Marcos A. Castilho (BRACIS, 2013)

PROINFODATA: Monitoring a Large Park of Computational Laboratories. - Cleide L. B. Possamai; Diego Pasqualin; Daniel Weingaertner; Eduardo Todt; Marcos A. Castilho; Luis Carlos Erpen De Bona; Eduardo Cunha de Almeida (OSS, 2014)

The Planning Net: A Structure to Improve Planning Solvers with Petri Nets. - Marcos A. Schreiner; Marcos A. Castilho; Fabiano Silva; Luis Allan Künzle; Razer A. N. R. Montaño (Int. J. Nat. Comput. Res., 2015)

C3SL - From Education to Public Transparency, Fifteen Years Developing Computer Systems for the Brazilian Society. - Alexandre Ibrahim Direne; Bruno Muller Junior; Carlos Alberto Martins de Carvalho; Celio Trois; Cleide Luzia Bonfim Possamai; Daniel Weingaertner; Diego Giovane Pasqualin; Edemir Reginaldo Maciel; Eduardo Cunha de Almeida; Eduardo Todt; Fabiano Silva; Hegler Correa Tissot; et al. (EPS, 2016)

Transparency Meets Management: A Monitoring and Evaluating Tool for Governmental Projects. - Celio Trois; Daniel Weingaertner; Diego Pasqualin; Edemir Maciel; Eduardo C. de Almeida; Fabiano Silva; Hegler Tissot; Luis C. E. Bona; Marcos A. Castilho; Marcos Didonet Del Fabro; Marcos Sfair Sunye (AICCSA, 2017)

Open Educational Resources Platform Based on Collective Intelligence. - Marcela Ribeiro de Oliveira; Israel Barreto Sant'Anna; Guilherme Scariot Ramos; Luis Carlos Erpen De Bona; Marcos Alexandre Castilho; Marcos Didonet Del Fabro; Eduardo Todt (CIC, 2018)

Aulacast: A Single Board Computer Platform to Support Teaching. - Fabiano Sardenberg Kuss; Marcos A. Castilho; Letícia M. Peres; Fabiano Silva (CSEDU (1), 2018)

The Need for Speed: An Analysis of Brazilian Malware Classifers. - Fabricio Ceschin; Felipe Azevedo Pinage; Marcos A. Castilho; David Menotti; Luiz S. Oliveira; Andre Gregio (IEEE Secur. Priv., 2018)

Classroom Mobile Devices: Evaluation about Existing Applications. - Fabiano Sardenberg Kuss; Marcos A. Castilho; Chee-Kit Looi (CSEDU (2), 2019)

Activities to develop computational thinking contextualized with COVID-19 pandemic: a case study. - Icleia Santos; Elaine Cristina Grebogy; Marcos Alexandre Castilho (IHTC, 2022)

Computação Desplugada: Um Recurso Para o Estímulo de Habilidades Relacionadas ao Pensamento Computacional nos Anos Iniciais do Ensino Fundamental. - Elaine Cristina Grebogy; Marcos Alexandre Castilho; Icleia Santos (Revista Brasileira de Informática na Educ., 2024)

Analyzing the Logistics of the Brazilian Book and Teaching Material Program: a sociotechnical strategy to inform optimization. - Roberto Pereira 002; Andressa Sebben; Krissia Menezes; Patricia Castellano; Leticia Mara Peres; Guilherme Alex Derenievicz; Marcos A. Castilho; Nadja Rodrigues; Silvério da Cruz (J. Interact. Syst., 2024)