Marcos A. Castilho

26 papers B 3C 1Journal 5Unranked 16

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