Marcos A. Castilho

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 5

Top Topics

Technical Aspects

Management Practices

Top Venues

Int. J. Nat. Comput. Res.

Publications

Roberto Pereira, Andressa Sebben, Krissia Menezes, Patricia Castellano, Leticia Mara Peres, Guilherme Alex Derenievicz, Marcos A. Castilho, Nadja Rodrigues, Silvério da Cruz
Analyzing the Logistics of the Brazilian Book and Teaching Material Program: a sociotechnical strategy to inform optimization. J. Interact. Syst. 15 (1) (2024)
Fabiano Sardenberg Kuss, Marcos A. Castilho, Chee-Kit Looi
Classroom Mobile Devices: Evaluation about Existing Applications. CSEDU (2) (2019)
Fabiano Sardenberg Kuss, Marcos A. Castilho, Letícia M. Peres, Fabiano Silva
Aulacast: A Single Board Computer Platform to Support Teaching. CSEDU (1) (2018)
Fabricio Ceschin, Felipe Azevedo Pinage, Marcos A. Castilho, David Menotti, Luiz S. Oliveira, Andre Gregio
The Need for Speed: An Analysis of Brazilian Malware Classifers. IEEE Secur. Priv. 16 (6) (2018)
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
Transparency Meets Management: A Monitoring and Evaluating Tool for Governmental Projects. AICCSA (2017)
Marcos A. Schreiner, Marcos A. Castilho, Fabiano Silva, Luis Allan Künzle, Razer A. N. R. Montaño
The Planning Net: A Structure to Improve Planning Solvers with Petri Nets. Int. J. Nat. Comput. Res. 5 (2) (2015)
Cleide L. B. Possamai, Diego Pasqualin, Daniel Weingaertner, Eduardo Todt, Marcos A. Castilho, Luis Carlos Erpen De Bona, Eduardo Cunha de Almeida
PROINFODATA: Monitoring a Large Park of Computational Laboratories. OSS (2014)
Bruno Cesar Ribas, Rubens Massayuki Suguimoto, Razer A. N. R. Montaño, Fabiano Silva, Marcos A. Castilho
PBFVMC: A New Pseudo-Boolean Formulation to Virtual-Machine Consolidation. BRACIS (2013)
Marcos A. Schreiner, Marcos A. Castilho, Fabiano Silva, Luis Allan Künzle
The Planning Net: Exploring the Petri Net Flow to Improve Planning Solvers. IBERAMIA (2012)
Ricardo Tavares de Oliveira, Fabiano Silva, Bruno Cesar Ribas, Marcos A. Castilho
On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability. IBERAMIA (2012)
Bruno Cesar Ribas, Rubens Massayuki Suguimoto, Razer A. N. R. Montaño, Fabiano Silva, Luis Carlos Erpen De Bona, Marcos A. Castilho
On Modelling Virtual Machine Consolidation to Pseudo-Boolean Constraints. IBERAMIA (2012)
Maici Duarte Leite, Laura Sánchez García, Andrey R. Pimentel, Marcos Sfair Sunyé, Marcos A. Castilho, Luis C. E. Bona, Fabiano Silva
A User-interface Environment as a Support in Maths Teaching for Deaf Children. ICEIS (5) (2010)
Laura Sánchez García, Alexandre Ibrahim Direne, Marcos A. Castilho, Luis Carlos Erpen De Bona, Fabiano Silva, Marcos Sfair Sunyé
Scenario-based Design - An Essential Instrument for an Innovative Target Application - Case Report. ICEIS (5) (2009)
Alexandre Ibrahim Direne, Luis Carlos Erpen De Bona, Marcos Sfair Sunyé, Marcos A. Castilho, Fabiano Silva, Laura Sánchez García, Donia Scott
Authoring Adaptive Tutoring Systems for Complex Visual Skills. ICALT (2009)
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
On Collaborative Software for Web Communities Evaluation - A Case Study. ICEIS (5) (2009)
Alexandre Ibrahim Direne, Marcos Sfair Sunyé, Marcos A. Castilho, Fabiano Silva, Luis Carlos Erpen De Bona, Laura Sánchez García, Donia Scott
Acquiring Expertise in Medical Radiology through Long-Term Interactions. CBMS (2008)
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é
A user-interface environment solution for an online educational Chess server. RCIS (2008)
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é
A User-Interface Environment Solution as an Educational Tool for an Online Chess Server on the Web. ICEIS (5) (2008)
Marcos A. Castilho, Luis Allan Künzle, Edson Lecheta, Viviane Palodeto, Fabiano Silva
An Investigation on Genetic Algorithms for Generic STRIPS Planning. IBERAMIA (2004)
Marcos A. Castilho, Andreas Herzig, Ivan José Varzinczak
It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation. NMR (2002)
Fabiano Silva, Marcos A. Castilho, Luis Allan Künzle
Petriplan: A New Algorithm for Plan Generation (Preliminary Report). IBERAMIA-SBIA (2000)
Marcos A. Castilho, Olivier Gasquet, Andreas Herzig
Formalizing Action and Change in Modal Logic I: the frame problem. J. Log. Comput. 9 (5) (1999)
Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal tableaux based on graph-rules. RelMiCS (1998)
Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal Tableaux with Propagation Rules and Structural Rules. Fundam. Informaticae 32 (3-4) (1997)
Marcos A. Castilho, Olivier Gasquet, Andreas Herzig
Modal Tableaux for Reasoning About Actions and Plans. ECP (1997)