Marcos A. Castilho

According to our database, Marcos A. Castilho authored at least 27 papers between 1997 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Activities to develop computational thinking contextualized with COVID-19 pandemic: a case study.

Icleia Santos, Elaine Cristina Grebogy, Marcos Alexandre Castilho

Proceedings of the IEEE International Humanitarian Technology Conference, 2022

2019

Classroom Mobile Devices: Evaluation about Existing Applications.

Fabiano Sardenberg Kuss, Marcos A. Castilho, Chee-Kit Looi

Proceedings of the 11th International Conference on Computer Supported Education, 2019

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

Aulacast: A Single Board Computer Platform to Support Teaching.

Fabiano Sardenberg Kuss, Marcos A. Castilho, Letícia M. Peres, Fabiano Silva

Proceedings of the 10th International Conference on Computer Supported Education, 2018

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

Proceedings of the 4th IEEE International Conference on Collaboration and Internet Computing, 2018

2017

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

Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

2016

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, Laura Sánchez García, Leticia Mara Peres, Luis Carlos Erpen De Bona, Marcos Alexandre Castilho, Marcos Didonet Del Fabro, Marcos Sfair Sunye, Marina Assako Hoshiba Pimentel

Proceedings of the European Space project on Smart Systems, Big Data, Future Internet, 2016

2015

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

2014

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

Proceedings of the Open Source Software: Mobile Open Source Technologies, 2014

2013

PBFVMC: A New Pseudo-Boolean Formulation to Virtual-Machine Consolidation.

Bruno Cesar Ribas, Rubens Massayuki Suguimoto, Razer A. N. R. Montaño, Fabiano Silva, Marcos A. Castilho

Proceedings of the Brazilian Conference on Intelligent Systems, 2013

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

Proceedings of the Advances in Artificial Intelligence - IBERAMIA 2012, 2012

On Modelling Virtual Machine Consolidation to Pseudo-Boolean Constraints.

Bruno Cesar Ribas, Rubens Massayuki Suguimoto, Razer A. N. R. Montaño, Fabiano Silva, Luis Carlos Erpen De Bona, Marcos A. Castilho

Proceedings of the Advances in Artificial Intelligence - IBERAMIA 2012, 2012

On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability.

Ricardo Tavares de Oliveira, Fabiano Silva, Bruno Cesar Ribas, Marcos A. Castilho

Proceedings of the Advances in Artificial Intelligence - IBERAMIA 2012, 2012

2010

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

Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 5, HCI, Funchal, Madeira, Portugal, June 8, 2010

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

Proceedings of the ICEIS 2009, 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é

Proceedings of the ICEIS 2009, 2009

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

Proceedings of the 9th IEEE International Conference on Advanced Learning Technologies, 2009

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é

Proceedings of the IEEE International Conference on Research Challenges in Information Science, 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é

Proceedings of the ICEIS 2008, 2008

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

Proceedings of the Twenty-First IEEE International Symposium on Computer-Based Medical Systems, 2008

2004

An Investigation on Genetic Algorithms for Generic STRIPS Planning.

Marcos A. Castilho, Luis Allan Künzle, Edson Lecheta, Viviane Palodeto, Fabiano Silva

Proceedings of the Advances in Artificial Intelligence, 2004

2002

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

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

2000

Petriplan: A New Algorithm for Plan Generation (Preliminary Report).

Fabiano Silva, Marcos A. Castilho, Luis Allan Künzle

Proceedings of the Advances in Artificial Intelligence, 2000

1999

Formalizing Action and Change in Modal Logic I: the frame problem.

Marcos A. Castilho, Olivier Gasquet, Andreas Herzig

J. Log. Comput., 1999

1998

Modal tableaux based on graph-rules.

Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

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 for Reasoning About Actions and Plans.

Marcos A. Castilho, Olivier Gasquet, Andreas Herzig

Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997