Marcos Alexandre Castilho

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• PEREIRA, Roberto ; SEBBEN, ANDRESSA ; MENEZES, KRISSIA ; CASTELLANO, PATRICIA ; PERES, LETICIA MARA ; DERENIEVICZ, GUILHERME ; Castilho, Marcos ; RODRIGUES, NADJA ; CRUZ, SILVÉRIO DA . Analyzing the Logistics of the Brazilian Book and Teaching Material Program: a sociotechnical strategy to inform optimization. Journal on Interactive Systems , v. 15, p. 695-711, 2024.

• GREBOGY, ELAINE CRISTINA ; CASTILHO, MARCOS ALEXANDRE ; SANTOS, ICLÉIA . Computação Desplugada: Um Recurso Para o Estímulo de Habilidades Relacionadas ao Pensamento Computacional nos Anos Iniciais do Ensino Fundamental. Revista Brasileira de Informática na Educação (RBIE) , v. 32, p. 359-389, 2024.

• CESCHIN, FABRICIO ; PINAGE, FELIPE ; Castilho, Marcos ; MENOTTI, DAVID ; OLIVEIRA, LUIZ S. ; GREGIO, ANDRE . The Need for Speed: An Analysis of Brazilian Malware Classifers. IEEE SECURITY & PRIVACY , v. 16, p. 31-41, 2018.

• Schreiner, Marcos A. ; Castilho, Marcos A. ; SILVA, FABIANO ; Kunzle, Luis A. ; Montaño, Razer A. N. R. . The Planning Net:. International Journal of Natural Computing Research , v. 5, p. 16-36, 2015.

• CASTILHO, M. A. ; GASQUET, O. ; HERZIG, A. . Formalizing action and change in modal logic I: the frame problem. Journal of Logic and Computation (Print) , Inglaterra, v. 9, n.5, p. 701-735, 1999.

• CASTILHO, M. A. ; FARIÑAS DEL CERRO, L. ; GASQUET, O. ; HERZIG, A. . Modal Tableaux with Propagation Rules and Structural Rules. Fundamenta Informaticae , Polônia, v. 32, n.3-4, p. 281-297, 1997.

• CASTILHO, MARCOS ALEXANDRE ; SILVA, F. ; WEINGAERTNER, D. . Algoritmos e Estruturas de Dados 1. 1. ed. Curitiba: Editoda UFPR, 2020. v. 1. 345p .

• Possamai, Cleide L. B. ; Pasqualin, Diego ; Weingaertner, Daniel ; Todt, Eduardo ; Castilho, Marcos A. ; de Bona, Luis C. E. ; de Almeida, Eduardo Cunha . PROINFODATA: Monitoring a Large Park of Computational Laboratories. IFIP Advances in Information and Communication Technology. 1ed.: Springer Berlin Heidelberg, 2014, v. 427, p. 226-229.

• Schreiner, Marcos A. ; Castilho, Marcos A. ; SILVA, FABIANO ; Kunzle, Luis A. . The Planning Net: Exploring the Petri Net Flow to Improve Planning Solvers. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2012, v. 7637, p. 581-590.

• RIBAS, BRUNO CESAR ; SUGUIMOTO, RUBENS MASSAYUKI ; Montaño, Razer A. N. R. ; SILVA, FABIANO ; Bona, Luis ; Castilho, Marcos A. . On Modelling Virtual Machine Consolidation to Pseudo-Boolean Constraints. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2012, v. 7637, p. 361-370.

• Tavares de Oliveira, Ricardo ; SILVA, FABIANO ; RIBAS, BRUNO CESAR ; Castilho, Marcos A. . On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2012, v. 7637, p. 381-391.

• Cristiane Yanase Hirabara de Castro ; SUNYE, M. S. ; BONA, L. C. E. ; CASTILHO, M. A. . Repositórios institucionais confiáveis: repositório institucional como ferramenta para preservação digital. In: Luis Sayão; Lídia B. Toutain; Flavia G. Rosa; Carlos H. Marcondes. (Org.). Implantação e gestão de repositórios institucionais: políticas, memória, livre acesso e preservação. 1ed.Salvador/BA: EDUFBA, 2009, v. 1, p. 283-304.

• CASTILHO, M. A. ; SUNYE, M. S. ; ET ALII . Making Government Policies for Education Possible by means of Open Source Technology: a Successful Case. In: Miltiadis Lytras Ambjorn Naeve. (Org.). Open Source for Knowledge And Learning Management: Strategies beyond Tools. Atenas: Idea Group Publishing, 2007, v. , p. -.

• Castilho, Marcos ; Kunzle, Luis Allan ; Lecheta, Edson ; Palodeto, Viviane ; SILVA, FABIANO . An Investigation on Genetic Algorithms for Generic STRIPS Planning. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2004, v. 3315, p. 185-194.

• CASTILHO, M. A. ; HERZIG, A. ; SCHWIND, C. . Raisonnement sur les actions: les approches basées sur la causalité et la dépendance. In: Robert Jeansoulin. (Org.). Nouveaux défis en Sciences de l'Information : Documents et Evolution. Toulouse: Cepadues, 2000, v. , p. 193-207.

• SILVA, FABIANO ; Castilho, Marcos ; Künzle, Luis . Petriplan: A New Algorithm for Plan Generation (Preliminary Report). Advances in Artificial Intelligence. 1ed.: Springer Berlin Heidelberg, 2000, v. 1952, p. 86-95.

• Castilho, Marcos A ; SILVA, F. ; WEINGAERTNER, D. . Apresentação do livro Algoritmos e Estruturas de Dados 1. SBC Horizontes, 01 dez. 2020.

• Castilho, Marcos A. ; SUNYE, M. S. ; BONA, L. C. E. ; GREGIO, A. R. A. ; SILVA, F. ; Peres, Leticia M. ; WEINGAERTNER, D. ; Todt, E. ; FABRO, M. D. ; CARVALHO, C. A. M. ; ALMEIDA, E. C. . Software, Cidadania e Liberdade: o C3SL em 18 anos de conhecimento compartilhado. SBC Horizontes, SBC Horizontes, 01 jun. 2020.

• Castilho, Marcos A. ; SILVA, FABIANO ; Weingaertner, Daniel . Uma possível abordagem para o ensino introdutório de algoritmos em cursos de Computação. In: Simpósio Brasileiro de Educação em Computação, 2023, Brasil. Anais do III Simpósio Brasileiro de Educação em Computação (EDUCOMP 2023). p. 376.

• CASTELLANO, PATRICIA ; MENEZES, KRISSIA ; PERES, LETICIA ; DERENIEVICZ, GUILHERME ; Castilho, Marcos ; RODRIGUES, NADJA ; CRUZ, SILVÉRIO DA ; PEREIRA, Roberto . Do Social ao Técnico: Uma Análise Sociotécnica para a Otimização da Logística do Programa Nacional do Livro e do Material Didático. In: Workshop de Computação Aplicada em Governo Eletrônico, 2023, Brasil. Anais do XI Workshop de Computação Aplicada em Governo Eletrônico (WCGE 2023), 2023. p. 153.

• SANTOS, ICLEIA ; GREBOGI, ELAINE C. ; PEREIRA, Roberto ; Castilho, Marcos A. . PAPC - Protocolo para avaliação por critérios do Pensamento Computacional no Ensino Fundamental 1. In: Simpósio Brasileiro de Informática na Educação, 2023, Brasil. Anais do XXXIV Simpósio Brasileiro de Informática na Educação (SBIE 2023), 2023. p. 1557.

• DERENIEVICZ, GUILHERME ; PEREIRA, Roberto ; PERES, LETICIA ; Castilho, Marcos ; RODRIGUES, NADJA ; DA CRUZ, SILVÉRIO . Análise e Modelagem da Logística do Programa Nacional do Livro e do Material Didático. In: ANAIS DO SIMPóSIO BRASILEIRO DE PESQUISA OPERACIONAL, 2023, São José dos Campos, 2023. v. 55.

• SANTOS, ICLEIA ; GREBOGY, ELAINE CRISTINA ; CASTILHO, MARCOS ALEXANDRE . Activities to develop computational thinking contextualized with COVID-19 pandemic: a case study. In: 2022 IEEE International Humanitarian Technology Conference (IHTC), 2022, Ottawa. 2022 IEEE International Humanitarian Technology Conference (IHTC), 2022. p. 12.

• GREBOGY, ELAINE CRISTINA ; SANTOS, ICLEIA ; CASTILHO, MARCOS ALEXANDRE . Mapeamento das Iniciativas de Promoção do Pensamento Computacional no Ensino Fundamental. In: Simpósio Brasileiro de Informática na Educação, 2021, Brasil. Anais do XXXII Simpósio Brasileiro de Informática na Educação (SBIE 2021), 2021. p. 965.

• GREBOGY, ELAINE CRISTINA ; SANTOS, ICLEIA ; CASTILHO, MARCOS ALEXANDRE . Computação Desplugada no Ensino Fundamental I: Um Mapeamento Sistemático de Literatura. In: Simpósio Brasileiro de Informática na Educação, 2021, Brasil. Anais do XXXII Simpósio Brasileiro de Informática na Educação (SBIE 2021), 2021. p. 953.

• IVANCHECHEN, DANIELLE ; Castilho, Marcos . Análise de desempenho do Planejamento Módulo Teorias para um novo domínio usando recursos e tempo. In: XVI Encontro Nacional de Inteligência Artificial e Computacional, 2020, Salvador - BA. Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2019. p. 108.

• LOOI, CHEE ; KUSS, FABIANDO ; Castilho, Marcos . Classroom Mobile Devices: Evaluation about Existing Applications. In: 11th International Conference on Computer Supported Education, 2019, Heraklion. Proceedings of the 11th International Conference on Computer Supported Education, 2019. p. 496.

• Castilho, Marcos ; GREBOGY, ELAINE ; SANTOS, ICLEIA . O Pensamento Computacional no Ensino Fundamental I. In: XXV Workshop de Informática na Escola, 2019, Brasília. Anais do XXV Workshop de Informática na Escola (WIE 2019), 2019. p. 461.

• SILVA, FABIANO ; Peres, Leticia M. ; Castilho, Marcos A. ; KUSS, FABIANO SARDENBERG . Aulacast: A Single Board Computer Platform to Support Teaching. In: 10th International Conference on Computer Supported Education, 2018, Funchal. Proceedings of the 10th International Conference on Computer Supported Education, 2018. p. 366.

• RIBEIRO DE OLIVEIRA, MARCELA ; BARRETO SANTANNA, ISRAEL ; SCARIOT RAMOS, GUILHERME ; CARLOS ERPEN DE BONA, LUIS ; ALEXANDRE CASTILHO, MARCOS ; DIDONET DEL FABRO, MARCOS ; Todt, Eduardo . Open Educational Resources Platform Based on Collective Intelligence. In: 2018 IEEE 4th International Conference on Collaboration and Internet Computing (CIC), 2018, Philadelphia. 2018 IEEE 4th International Conference on Collaboration and Internet Computing (CIC), 2018. p. 346.

• TROIS, CELIO ; Weingaertner, Daniel ; Pasqualin, Diego ; MACIEL, EDEMIR ; ALMEIDA, EDUARDO ; SILVA, FABIANO ; TISSOT, HEGLER ; BONA, LUIS C. E. ; Castilho, Marcos ; DIDONET, MARCOS ; SUNYE, MARCOS . Transparency Meets Management: A Monitoring and Evaluating Tool for Governmental Projects. In: 2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA), 2017, Hammamet. 2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA), 2017. p. 1429-1435.

• CESCHIN, F. ; GREGIO, A. R. A. ; GOMES, D. M. ; Castilho, Marcos A. . Avaliação da Eficácia de Classificadores de Malware ao Longo do Tempo. In: Workshop de Forense Computacional do SBSeg, 2017, Brasília/DF. Workshop de Forense Computacional do SBSeg, 2017.

• CASTILHO, MARCOS ALEXANDRE ; GARCÍA, LAURA SÁNCHEZ ; PASQUALIN, DIEGO GIOVANE ; DIRENE, ALEXANDRE IBRAHIM ; SILVA, FABIANO ; TISSOT, HEGLER CORREA ; DE BONA, LUIS CARLOS ERPEN ; PIMENTEL, MARINA ASSAKO HOSHIBA ; POSSAMAI, CLEIDE LUZIA BONFIM ; SUNYE, MARCOS SFAIR ; de Almeida, Eduardo Cunha ; TROIS, CELIO ; DEL FABRO, MARCOS DIDONET ; Todt, Eduardo ; PERES, LETICIA MARA ; DE CARVALHO, CARLOS ALBERTO MARTINS ; Weingaertner, Daniel ; JUNIOR, BRUNO MULLER ; MACIEL, EDEMIR REGINALDO . C3SL - From Education to Public Transparency, Fifteen Years Developing Computer Systems for the Brazilian Society. In: European Projects in Knowledge Applications and Intelligent Systems, 2016, Rome. European Space project on Smart Systems, Big Data, Future Internet - Towards Serving the Grand Societal Challenges, 2016. p. 50.

• SCHREINER, M. A. ; SILVA, FABIANO ; Castilho, Marcos A. ; MONTAÑO, R. A. N. R. ; KUNZLE, L. A. . Planning Net with ordination of propositions: an improvement to planning solvers with Petri Nets. In: X Encontro Nacional de Inteligência Artificial e Computacional, 2013, Fortaleza. Anais do X Encontro Nacional de Inteligência Artificial e Computacional, 2013.

• Anderson Neves ; SILVA, F. ; Marcos Castilho ; KUNZLE, L. A. . Método para verificação de propriedades de redes de Petri utilizando resolvedor SMT. In: X Encontro Nacional de Inteligência Artificial e Computacional, 2013, Fortaleza. Anais do X Encontro Nacional de Inteligência Artificial e Computacional, 2013.

• RIBAS, BRUNO CESAR ; SUGUIMOTO, RUBENS MASSAYUKI ; MONTANO, RAZER A.N.R. ; SILVA, FABIANO ; Castilho, Marcos . PBFVMC: A New Pseudo-Boolean Formulation to Virtual-Machine Consolidation. In: 2013 Brazilian Conference on Intelligent Systems (BRACIS), 2013, Fortaleza. 2013 Brazilian Conference on Intelligent Systems, 2013. p. 201.

• MONTAÑO, R. A. N. R. ; CASTILHO, M. A. ; SILVA, F. ; KUNZLE, L. A. . Usando Redes de Petri e Resolvedores ISCAS para Tratar Planejamento como Satisfatibilidade. In: IX Encontro Nacional de Inteligência Artificial (CSBC 2011 - ENIA), 2011, Natal/RN. Anais do IX Encontro Nacional de Inteligência Artificial (CSBC 2011 - ENIA), 2011.

• DIRENE, ALEXANDRE ; Bona, Luis ; SUNYE, MARCOS SFAIR ; CASTILHO, MARCOS ; SILVA, FABIANO ; GARCIA, LAURA ; SCOTT, DONIA . Authoring Adaptive Tutoring Systems for Complex Visual Skills. In: 2009 Ninth IEEE International Conference on Advanced Learning Technologies (ICALT), 2009, Riga. 2009 Ninth IEEE International Conference on Advanced Learning Technologies. p. 160-164.

• Pasqualin, D. ; RUOSO, V. ; BONA, L. C. E. ; CASTILHO, M. A. ; Ribas, B.C ; SILVA, F. . SDI - Sistema de Diagnóstico Instantâneo. In: Workshop de Software Livre, 2009, Porto Alegre. Anais do Workshop de Software Livre 2009, 2009.

• Picussa, J. ; GARCIA, L. S. ; Bueno, J. ; Ferreira, M.V.R. ; DIRENE, A. I. ; BONA, L. C. E. ; SILVA, F. ; CASTILHO, M. A. . A user-interface environment solution as an educational tool for an online chess server on the web. In: International Conference on Enterprise Information Systems (ICEIS), 2008, Barcelona. ICEIS - Proc. 10th Intl Conf on Enterprise Information Systems. Portugal: INSTICC, 2008. v. HCI. p. 262-267.

• DIRENE, ALEXANDRE ; SUNYÉ, MARCOS ; CASTILHO, MARCOS ; SILVA, FABIANO ; Bona, Luis ; GARCÍA, LAURA ; SCOTT, DONIA . Acquiring Expertise in Medical Radiology through Long-Term Interactions. In: 2008 21st International Symposium on ComputerBased Medical Systems (CBMS), 2008, Jyvaskyla. 2008 21st IEEE International Symposium on Computer-Based Medical Systems. v. 1. p. 403-408.

• DIRENE, A. I. ; GUEDES, A. L. P. ; SILVA, F. ; BONA, L. C. E. ; GARCIA, L. S. ; CASTILHO, M. A. ; SUNYE, M. S. . Visualização de táticas para apoiar a aquisição de habilidades em jogos educacionais. In: Workshop sobre Informática na Escola (WIE), 2008, Belém. Anais do XXVIII Congresso da Sociedade Brasileira - XIV Workshop sobre Informática na Escola (WIE2008). Porto Alegre: SBC, 2008. v. 1. p. 380-389.

• DIRENE, A. I. ; SUNYE, M. S. ; CASTILHO, M. A. ; SILVA, F. ; BONA, L. C. E. ; GARCIA, L. S. ; Scott, D. . Diálogos Adaptativos Para a Aprendizagem de Radiologia. In: Workshop de Informática Médica (WIM), 2008, Belém. Anais do XXVIII Congresso da Sociedade Brasileira - XIV Workshop sobre Informática Médica (WIM2008). Porto Alegre: SBC, 2008. v. 1. p. 81-90.

• BONA, L. C. E. ; CASTILHO, M. A. ; WEINGAERTNER, D. ; SILVA, F. ; SUNYE, M. S. ; Lourenço, L.H.A. ; Ribas, B.C . Managing a Grid of Computer Laboratories for Educational Purposes. In: LAGrid08 - Latin American Grid, 2008, Campo Grande. Proc of the 2nd Latin American Grid, 2008.

• Hobmeier, A. ; DIRENE, A. I. ; SILVA, F. ; BONA, L. C. E. ; GARCIA, L. S. ; CASTILHO, M. A. ; SUNYE, M. S. . Uma abordagem dialógica alternativa para a aquisição de habilidades táticas em jogos educacionais. In: Simpósio Brasileiro de Informática na Educação (SBIE), 2008, Fortaleza. Anais do XIX Simpósio Brasileiro de Informática na Educação. Porto Alegre: Sociedade Brasileira de Computação, 2008.

• MONTAÑO, R. A. N. R. ; Miranda, M.R. ; CASTILHO, M. A. ; Silva, L.F. ; HEXSEL, R. . Businness Intelligence nas Escolas Públicas do Paraná. In: Workshop de Software Livre (WSL), 2008, Porto Alegre. Anais do IX Workshop de Software Livre, 2008.

• Ribas, B.C ; Souza, J. ; SILVA, F. ; BONA, L. C. E. ; CASTILHO, M. A. . Acesso de mídias removíveis em terminais thinclient sem disco. In: Workshop de Software Livre (WSL), 2008, Porto Alegre. Anais do nono Workshop de Software Livre, 2008.

• PICUSSA, JULIANO ; GARCIA, LAURA S. ; BUENO, JULIANA ; FERREIRA, MARICA V. R. ; DIRENE, ALEXANDRE I. ; de Bona, Luis C. E. ; SILVA, FABIANO ; Castilho, Marcos A. ; SUNYE, MARCOS S. . A user-interface environment solution for an online educational Chess server. In: 2008 Second International Conference on Research Challenges in Information Science (RCIS), 2008, Marrakech. 2008 Second International Conference on Research Challenges in Information Science, 2008. p. 179-186.

• CASTILHO, M. A. ; KUNZLE, L. A. ; PORTO, S. A. ; SILVA, F. . Planejamento aplicado a jogos de computador: uma implementao baseada em Redes de Tarefas Hierárquicas. In: VI ENIA - Encontro Nacional de Inteligncia Artificial, 2007, Rio de Janeiro. Anais do XXVII Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 1. p. 1162-1171.

• CASTILHO, M. A. ; KUNZLE, L. A. ; MONTAÑO, R. A. N. R. ; SILVA, F. . Planejamento como satisfatibilidade: uma abordagem no clausal. In: VI ENIA - Encontro Nacional de Inteligncia Artificial, 2007, Rio de Janeiro. Anais do XXVII Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 1. p. 1140-1449.

• CARVALHO, C. S. ; CASTILHO, M. A. ; KUNZLE, L. A. ; SILVA, F. . GAPNet: uma nova abordagem genética para o problema de planejamento em inteligência artificial. In: VI ENIA - Encontro Nacional de Inteligncia Artificial, 2007, Rio de Janeiro. Anais do XXVII Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 1. p. 1450-1459.

• AGUIAR, F. M. ; DIRENE, A. I. ; BONA, L. C. E. ; SILVA, F. ; CASTILHO, M. A. ; GUEDES, A. L. P. ; SUNYE, M. S. ; GARCIA, L. S. . Ferramentas e Métodos para Apoiar o Ensino de Xadrez na Fronteira entre os Fundamentos e a Perícia. In: Workshop de Informática na Escola 2007 (WIE 2007), 2007, Rio de Janeiro. Anais do XXVII Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 1. p. 380-387.

• CASTILHO, M. A. ; SUNYE, M. S. ; WEINGAERTNER, D. ; BONA, L. C. E. ; SILVA, F. ; DIRENE, A. I. ; GARCIA, L. S. ; CARVALHO, C. A. . Laboratórios de Informática com Software Livre para Atender Políticas Estaduais do Ensino Escolar. In: Workshop de Informática na Escola 2007 (WIE 2007), 2007, Rio de Janeiro. Anais do XXVII Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 1. p. 208-215.

• MATTAR JUNIOR, N. ; KUNZLE, L. A. ; SILVA, F. ; CASTILHO, M. A. ; LIMA, E. . Análise Temporal de Cenários em Redes de Petri Temporais. In: SBAI 2007 - VIII Simpósio Brasileiro de Automação Inteligente, 2007. Anais do SBAI 2007 - VIII Simpósio Brasileiro de Automação Inteligente.

• Feitosa, Alexandre ; DIRENE, A. I. ; SILVA, F. ; BONA, L. C. E. ; GUEDES, A. L. P. ; SUNYE, M. S. ; CASTILHO, M. A. ; GARCIA, L. S. . Definição formal de táticas de Xadrez por meio da autoria incremental de conceitos heurísticos. In: XVIII Siimposio Brasileiro de Informatica na Educacao (SBIE'07), 2007, Sao Paulo. Anais do XVIII Siimposio Brasileiro de Informatica na Educacao (SBIE'07). Porto Alegre: Sociedade Brasileira de Computacao, 2007. v. 1.

• Martineschen, D. ; DIRENE, A. I. ; BONA, L. C. E. ; CASTILHO, M. A. ; ET ALII . Alternância entre competição e colaboração para promover o aprendizado por meio de heurísticas de jogos. In: WIE - Workshop sobre Informática na Escola, 2006, Campo Grande. Anais do WIE - Workshop sobre Informática na Escola, 2006. p. 1-10.

• Oliveira, Ander ; Vignatti, T. ; WEINGAERTNER, D. ; SILVA, F. ; CASTILHO, M. A. ; SUNYE, M. S. . Um modelo de computacao multiusuario baseado em computadores pessoais. In: VII Workshop de Software Livre, 2006, Porto Alegre. Anais do VII Workshop de Software Livre, 2006.

• SILVA, F. ; KUNZLE, L. A. ; CASTILHO, M. A. . Planning as Reachability. In: VII Brasilian Symposium on Inteligent Automation and II Latin America IEEE Robotics Symposium, 2005, São Luis. Anais do VII Brasilian Symposium on Inteligent Automation and II Latin America IEEE Robotics Symposium, 2005.

• HARTMANN, C. ; DIRENE, A. I. ; BONA, L. C. E. ; CASTILHO, M. A. ; ET ALII . Linguagem e Ferramenta de Autoria para Promover o Desenvolvimento de Perícias em Xadrez. In: XVI SBIE - Simpósio Brasileiro de Informática na Educação (SBIE-2005), 2005, Juiz de Fora. Anais do XVI SBIE - Simpósio Brasileiro de Informática na Educação (SBIE-2005), 2005. p. 656-665.

• CASTILHO, M. A. ; KUNZLE, L. A. ; SILVA, F. . A Petri Net Based Representation for Planning Problems. In: V International Conference on Knowledge Based Computer Systems, 2004, Hyderabad, Índia. V International Conference on Knowledge Based Computer Systems, 2004.

• CASTILHO, M. A. ; DIRENE, A. I. ; GUEDES, A. L. P. ; ET ALII . Conceitos e Ferramentas de Apoio ao Ensino de Xadrez nas Escolas Brasileiras. In: X WIE - Workshop sobre Informática na Escola, 2004, Salvador. Anais do X WIE - Workshop sobre Informática na Escola, 2004. p. 816-825.

• CASTILHO, M. A. ; HERZIG, A. ; VARZINCZAK, I. J. . It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation. In: 9th Intl. Workshop on Non-Monotonic Reasoning NMR'2002, 2002, Toulouse. 9th Intl. Workshop on Non-Monotonic Reasoning NMR'2002. Toulouse, 2002. v. 1. p. 343-348.

• CASTILHO, M. A. ; VARZINCZAK, I. J. . Causalidade e dependencia em raciocinio sobre acoes. In: WTDIA 2002 - workshop de teses e dissertacoes em Inteligencia Artificial, 2002, Porto de Galinhas. Anais do WTDIA 2002 - workshop de teses e dissertacoes em Inteligencia Artificial, 2002.

• CASTILHO, M. A. ; SILVA, F. ; KUNZLE, L. A. . Petriplan: Um Novo Algoritmo para Geracao de Planos. In: WTDIA 2002 - Workshop de Teses e Dissertacoes em Inteligencia Artificial, 2002, Porto de Galinhas. Anais do WTDIA 2002 - Workshop de Teses e Dissertacoes em Inteligencia Artificial, 2002.

• CASTILHO, M. A. ; LECHETA, E. M. . Algoritmos Geneticos para Planificacao. In: WTDIA 2002 - Workshop de Teses e Dissertacoes em Inteligencia Artificial, 2002, Porto de Galinhas. Ansis do WTDIA 2002 - Workshop de Teses e Dissertacoes em Inteligencia Artificial, 2002.

• CASTILHO, M. A. ; CARMO, R. ; HEXSEL, R. . Aparafusando Parafusos: um modelo de laboratorio de computacao com qualidade e otimizacao de recursos. In: Workshop de Ensino em Informatica, 2001, Fortaleza. Anais do Workshop de Ensino em Informatica, 2001.

• CASTILHO, M. A. ; CARMO, R. ; HEXSEL, R. . Um Modelo de Gestão Eficiente de Recursos Computacionais. In: II Workshop Sobre Software Livre, 2001, Porto Alegre. Anais do II Workshop Sobre Software Livre. Porto Alegre: Procergs, 2001.

• CASTILHO, M. A. ; FARIÑAS DEL CERRO, L. ; GASQUET, O. ; HERZIG, A. . Reasoning About Actions in Modal Logic. In: Symposium on Reasoning About Actions: Foundations and Applications, 1998, Saarbrucken, 1998.

• CASTILHO, M. A. ; GASQUET, O. ; HERZIG, A. . Modal Tableaux for Reasoning About Actions and Plans. In: European Conference on Planning, 1997, Toulouse. Proceeding of the European Conference on Planning, 1997.

• CASTILHO, M. A. ; FARIÑAS DEL CERRO, L. ; GASQUET, O. ; HERZIG, A. . A Customized Tableau Method for Reasoning About ACtions and Plans in Modal Logic. In: Symposium on logical Approaches to Agent Modeling and Desing, 1997, Aix-en-Provence, 1997.

• CASTILHO, M. A. ; VIEIRA, N. J. . Implementação de Explicação de Respostas Baseado em Árvores de Prova. In: Simpósio Brasileiro de Inteligência Artificial, 1991, Brasília. Anais do SBIA´91, 1991.

• Picussa, J. ; GARCIA, L. S. ; Bueno, J. ; Ferreira, M.V.R. ; DIRENE, A. I. ; BONA, L. C. E. ; SILVA, F. ; CASTILHO, M. A. . A user-interface environment solution for an online educational chess server. In: The IEEE Intl Conf on Research challenges in information science, 2008, Marrakesh. Proc. of the IEEE Intl Conf on Research challenges in information science. Marakesh: IEEE Moroco Section, 2008. v. RCIS. p. 193-200.

• CASTILHO, M. A. ; GASQUET, O. ; HERZIG, A. . Solving the Frame and Ramification Problems in Modal Logic plus Dependence. In: International Joint Conference on Artificial Intelligence, 1997, Nagoya. IJCAI, 1997.

• Oliveira, Ander ; CASTILHO, M. A. ; ET ALII . Um modelo de computação multiusuário baseado em computadores pessoais. 2006. (Apresentação de Trabalho/Congresso).

Outras produções

Projetos de pesquisa

• 2022 - 2023

  Pesquisa sobre otimização do modelo da logística de distribuição dos livros e materiais do PNLD, com suporte técnico para processos de contratação de serviços, Descrição: Pesquisa sobre a otimização da implementação de processo de contratação de infraestrutura logística de Distribuição dos Programas do Livro do Fundo Nacional de Desenvolvimento da Educação (FNDE) e análise da viabilidade de construção de um sistema gerencial informatizado que apoie esse processo contratual.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Marcos Alexandre Castilho - Coordenador / Roberto Pereira - Integrante / DERENIEVICZ, GUILHERME - Integrante., Financiador(es): Fundo Nacional de Desenvolvimento Educacional - Cooperação.

• 2018 - Atual

  Pesquisa em difusão e avaliação coletiva de conteúdos educacionais para uso em sala de aula, Descrição: O objetivo principal deste projeto é a pesquisa multidisciplinar nas áreas de software livre e informática na educação, relacionadas a um Portal Integrado de Objetos Educacionais atraente aos usuários pela disponibilidade de recursos inteligentes de classificação de objetos, sintonizados com o perfil de cada usuário e diretrizes curriculares vigentes, além de mecanismos de colaboração e gestão.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (12) / Mestrado acadêmico: (2) . , Integrantes: Marcos Alexandre Castilho - Coordenador / Fabiano Silva - Integrante / Marcos Sfair Sunye - Integrante / Daniel Weingaertner - Integrante / Carlos Alberto de Carvalho - Integrante / Diego Pasqualin - Integrante / Eduardo Todt - Integrante / Leticia Mara Peres - Integrante / Marcos Didonet del Fabro - Integrante / Edemir Reginaldo Maciel - Integrante / ALMEIDA, EDUARDO - Integrante / BONA, LUIS C. E. - Integrante., Financiador(es): Fundo Nacional de Desenvolvimento Educacional - Cooperação., Número de produções C, T & A: 2

• 2008 - Atual

  INCT/MACC - Medicina Assistida por Computação Científica, Descrição: Particiação como laboratório associado ao projeto INCT/MACC de Medicina Assistida por Computação Cientĩfica. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (9) / Mestrado acadêmico: (3) . , Integrantes: Marcos Alexandre Castilho - Coordenador / Fabiano Silva - Integrante / Marcos Sfair Sunye - Integrante / Luis Carlos Erpen de Bona - Integrante / Daniel Weingaertner - Integrante / Eduardo Todt - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2002 - Atual

  C3SL - Centro de Computação Científica e Software Livre, Descrição: O grupo desenvolve atividades de pesquisa e desenvolvimento de sistemas de computação voltados para software livre, envolvendo áreas como Banco de Dados, Engenharia de Software, Redes de Computadores, Inteligência Artificial e Computação Científica. As atividades do grupo atingem a sociedade brasileira em geral através de projetos de inclusão digital e migração de sistemas proprietários para Software Livre. O grupo também trabalha na otimização de pessoal e de custos de soluções de hardware e software. A solução Multiterminal (http://www.c3sl.ufpr.br/multiterminal) foi desenvolvida na equipe e credenciou o grupo a participar de importantes projetos de software livre, entre eles a X.org Foundation. O grupo tem conseguido financiamento de importantes órgãos de fomento, tais como a UGF - Unidade Gestora do Fundo Paraná Tecnologia, entre outros.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (80) / Mestrado acadêmico: (12) / Doutorado: (5) . , Integrantes: Marcos Alexandre Castilho - Coordenador., Financiador(es): Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 20

• 1999 - Atual

  Lógica e Inteligência Artificial, Descrição: O grupo de estudos em lógica e inteligência artificial se preocupa com a representação lógica de elementos do mundo real não convencionais em sistemas de computação. A lógica formal surge como ponto comum de trabalho dos diversos sub-projetos pois a pesquisa do grupo é voltada para a melhor compreensão do raciocínio humano. Diversos problemas surgem devido ao uso de lógica formal, como por exemplo, a representação de acões, diálogos em língua natural, raciocínio temporal e espacial, etc. O grupo pretente disponibilizar protótipos de ferramentas de software que sintetizam os conceitos teóricos descritos acima. A ferramenta IPE - Ambiente para Estudo de Planejadores foi desenvolvido pela equipe e objeto de dissertação de mestrado.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (9) / Mestrado acadêmico: (9) / Doutorado: (1) . , Integrantes: Marcos Alexandre Castilho - Coordenador., Financiador(es): Université Toulouse III Paul Sabatier - Cooperação., Número de produções C, T & A: 53

Projetos de desenvolvimento

• 2003 - Atual

  Paraná Digital, Descrição: Definição do ambiente computacional, e da gerência automática e remota deste, para a rede escolar pública paranaense, que envolve 2100 escolas e 1.500.000 alunos e 57.000 professores.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (72) / Mestrado acadêmico: (19) / Doutorado: (5) . , Integrantes: Marcos Alexandre Castilho - Coordenador / Fabiano Silva - Integrante / Laura Sanches Garcia - Integrante / Alexandre Ibrahim Direne - Integrante / Marcos Sfair Sunye - Integrante / Luis Carlos Erpen de Bona - Integrante / Daniel Weingaertner - Integrante / Carlos Alberto de Carvalho - Integrante., Financiador(es): Unidade Gestora do Fundo - Secretaria de Ciência e Tecnologia do Paraná - Auxílio financeiro., Número de produções C, T & A: 31

• 2003 - Atual

  Paraná Digital, Descrição: Definição do ambiente computacional, e da gerência automática e remota deste, para a rede escolar pública paranaense, que envolve 2100 escolas e 1.500.000 alunos e 57.000 professores.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (72) / Mestrado acadêmico: (19) / Doutorado: (5) . , Integrantes: Marcos Alexandre Castilho - Coordenador / Fabiano Silva - Integrante / Laura Sanches Garcia - Integrante / Alexandre Ibrahim Direne - Integrante / Marcos Sfair Sunye - Integrante / Luis Carlos Erpen de Bona - Integrante / Daniel Weingaertner - Integrante / Carlos Alberto de Carvalho - Integrante., Financiador(es): Unidade Gestora do Fundo - Secretaria de Ciência e Tecnologia do Paraná - Auxílio financeiro., Número de produções C, T & A: 31

• 2003 - Atual

  Paraná Digital, Descrição: Definição do ambiente computacional, e da gerência automática e remota deste, para a rede escolar pública paranaense, que envolve 2100 escolas e 1.500.000 alunos e 57.000 professores.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (72) / Mestrado acadêmico: (19) / Doutorado: (5) . , Integrantes: Marcos Alexandre Castilho - Coordenador / Fabiano Silva - Integrante / Laura Sanches Garcia - Integrante / Alexandre Ibrahim Direne - Integrante / Marcos Sfair Sunye - Integrante / Luis Carlos Erpen de Bona - Integrante / Daniel Weingaertner - Integrante / Carlos Alberto de Carvalho - Integrante., Financiador(es): Unidade Gestora do Fundo - Secretaria de Ciência e Tecnologia do Paraná - Auxílio financeiro., Número de produções C, T & A: 31

• 2003 - Atual

  Paraná Digital, Descrição: Definição do ambiente computacional, e da gerência automática e remota deste, para a rede escolar pública paranaense, que envolve 2100 escolas e 1.500.000 alunos e 57.000 professores.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (72) / Mestrado acadêmico: (19) / Doutorado: (5) . , Integrantes: Marcos Alexandre Castilho - Coordenador / Fabiano Silva - Integrante / Laura Sanches Garcia - Integrante / Alexandre Ibrahim Direne - Integrante / Marcos Sfair Sunye - Integrante / Luis Carlos Erpen de Bona - Integrante / Daniel Weingaertner - Integrante / Carlos Alberto de Carvalho - Integrante., Financiador(es): Unidade Gestora do Fundo - Secretaria de Ciência e Tecnologia do Paraná - Auxílio financeiro., Número de produções C, T & A: 31

• 2003 - Atual

  Paraná Digital, Descrição: Definição do ambiente computacional, e da gerência automática e remota deste, para a rede escolar pública paranaense, que envolve 2100 escolas e 1.500.000 alunos e 57.000 professores.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (72) / Mestrado acadêmico: (19) / Doutorado: (5) . , Integrantes: Marcos Alexandre Castilho - Coordenador / Fabiano Silva - Integrante / Laura Sanches Garcia - Integrante / Alexandre Ibrahim Direne - Integrante / Marcos Sfair Sunye - Integrante / Luis Carlos Erpen de Bona - Integrante / Daniel Weingaertner - Integrante / Carlos Alberto de Carvalho - Integrante., Financiador(es): Unidade Gestora do Fundo - Secretaria de Ciência e Tecnologia do Paraná - Auxílio financeiro., Número de produções C, T & A: 31

• 2003 - Atual

  Paraná Digital, Descrição: Definição do ambiente computacional, e da gerência automática e remota deste, para a rede escolar pública paranaense, que envolve 2100 escolas e 1.500.000 alunos e 57.000 professores.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (72) / Mestrado acadêmico: (19) / Doutorado: (5) . , Integrantes: Marcos Alexandre Castilho - Coordenador / Fabiano Silva - Integrante / Laura Sanches Garcia - Integrante / Alexandre Ibrahim Direne - Integrante / Marcos Sfair Sunye - Integrante / Luis Carlos Erpen de Bona - Integrante / Daniel Weingaertner - Integrante / Carlos Alberto de Carvalho - Integrante., Financiador(es): Unidade Gestora do Fundo - Secretaria de Ciência e Tecnologia do Paraná - Auxílio financeiro., Número de produções C, T & A: 31

• 2003 - Atual

  Paraná Digital, Descrição: Definição do ambiente computacional, e da gerência automática e remota deste, para a rede escolar pública paranaense, que envolve 2100 escolas e 1.500.000 alunos e 57.000 professores.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (72) / Mestrado acadêmico: (19) / Doutorado: (5) . , Integrantes: Marcos Alexandre Castilho - Coordenador / Fabiano Silva - Integrante / Laura Sanches Garcia - Integrante / Alexandre Ibrahim Direne - Integrante / Marcos Sfair Sunye - Integrante / Luis Carlos Erpen de Bona - Integrante / Daniel Weingaertner - Integrante / Carlos Alberto de Carvalho - Integrante., Financiador(es): Unidade Gestora do Fundo - Secretaria de Ciência e Tecnologia do Paraná - Auxílio financeiro., Número de produções C, T & A: 31

• 2003 - Atual

  Paraná Digital, Descrição: Definição do ambiente computacional, e da gerência automática e remota deste, para a rede escolar pública paranaense, que envolve 2100 escolas e 1.500.000 alunos e 57.000 professores.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (72) / Mestrado acadêmico: (19) / Doutorado: (5) . , Integrantes: Marcos Alexandre Castilho - Coordenador / Fabiano Silva - Integrante / Laura Sanches Garcia - Integrante / Alexandre Ibrahim Direne - Integrante / Marcos Sfair Sunye - Integrante / Luis Carlos Erpen de Bona - Integrante / Daniel Weingaertner - Integrante / Carlos Alberto de Carvalho - Integrante.Financiador(es): Unidade Gestora do Fundo - Secretaria de Ciência e Tecnologia do Paraná - Auxílio financeiro., Número de produções C, T & A: 31

• 2003 - Atual

  Paraná Digital, Descrição: Definição do ambiente computacional, e da gerência automática e remota deste, para a rede escolar pública paranaense, que envolve 2100 escolas e 1.500.000 alunos e 57.000 professores.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (72) / Mestrado acadêmico: (19) / Doutorado: (5) . , Integrantes: Marcos Alexandre Castilho - Coordenador / Fabiano Silva - Integrante / Laura Sanches Garcia - Integrante / Alexandre Ibrahim Direne - Integrante / Marcos Sfair Sunye - Integrante / Luis Carlos Erpen de Bona - Integrante / Daniel Weingaertner - Integrante / Carlos Alberto de Carvalho - Integrante., Financiador(es): Unidade Gestora do Fundo - Secretaria de Ciência e Tecnologia do Paraná - Auxílio financeiro., Número de produções C, T & A: 31

• 2003 - Atual

  Paraná Digital, Descrição: Definição do ambiente computacional, e da gerência automática e remota deste, para a rede escolar pública paranaense, que envolve 2100 escolas e 1.500.000 alunos e 57.000 professores.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (72) / Mestrado acadêmico: (19) / Doutorado: (5) . , Integrantes: Marcos Alexandre Castilho - Coordenador / Fabiano Silva - Integrante / Laura Sanches Garcia - Integrante / Alexandre Ibrahim Direne - Integrante / Marcos Sfair Sunye - Integrante / Luis Carlos Erpen de Bona - Integrante / Daniel Weingaertner - Integrante / Carlos Alberto de Carvalho - Integrante., Financiador(es): Unidade Gestora do Fundo - Secretaria de Ciência e Tecnologia do Paraná - Auxílio financeiro., Número de produções C, T & A: 31

• 2003 - Atual

  Paraná Digital, Descrição: Definição do ambiente computacional, e da gerência automática e remota deste, para a rede escolar pública paranaense, que envolve 2100 escolas e 1.500.000 alunos e 57.000 professores.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (72) / Mestrado acadêmico: (19) / Doutorado: (5) . , Integrantes: Marcos Alexandre Castilho - Coordenador / Fabiano Silva - Integrante / Laura Sanches Garcia - Integrante / Alexandre Ibrahim Direne - Integrante / Marcos Sfair Sunye - Integrante / Luis Carlos Erpen de Bona - Integrante / Daniel Weingaertner - Integrante / Carlos Alberto de Carvalho - Integrante., Financiador(es): Unidade Gestora do Fundo - Secretaria de Ciência e Tecnologia do Paraná - Auxílio financeiro., Número de produções C, T & A: 31

• 2003 - Atual

  Paraná Digital, Descrição: Definição do ambiente computacional, e da gerência automática e remota deste, para a rede escolar pública paranaense, que envolve 2100 escolas e 1.500.000 alunos e 57.000 professores.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (72) / Mestrado acadêmico: (19) / Doutorado: (5) . , Integrantes: Marcos Alexandre Castilho - Coordenador / Fabiano Silva - Integrante / Laura Sanches Garcia - Integrante / Alexandre Ibrahim Direne - Integrante / Marcos Sfair Sunye - Integrante / Luis Carlos Erpen de Bona - Integrante / Daniel Weingaertner - Integrante / Carlos Alberto de Carvalho - Integrante., Financiador(es): Unidade Gestora do Fundo - Secretaria de Ciência e Tecnologia do Paraná - Auxílio financeiro., Número de produções C, T & A: 31

• 2003 - Atual

  Paraná Digital, Descrição: Definição do ambiente computacional, e da gerência automática e remota deste, para a rede escolar pública paranaense, que envolve 2100 escolas e 1.500.000 alunos e 57.000 professores.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (72) / Mestrado acadêmico: (19) / Doutorado: (5) . , Integrantes: Marcos Alexandre Castilho - Coordenador / Fabiano Silva - Integrante / Laura Sanches Garcia - Integrante / Alexandre Ibrahim Direne - Integrante / Marcos Sfair Sunye - Integrante / Luis Carlos Erpen de Bona - Integrante / Daniel Weingaertner - Integrante / Carlos Alberto de Carvalho - Integrante., Financiador(es): Unidade Gestora do Fundo - Secretaria de Ciência e Tecnologia do Paraná - Auxílio financeiro., Número de produções C, T & A: 31

• 2003 - Atual

  Paraná Digital, Descrição: Definição do ambiente computacional, e da gerência automática e remota deste, para a rede escolar pública paranaense, que envolve 2100 escolas e 1.500.000 alunos e 57.000 professores.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (72) / Mestrado acadêmico: (19) / Doutorado: (5) . , Integrantes: Marcos Alexandre Castilho - Coordenador / Fabiano Silva - Integrante / Laura Sanches Garcia - Integrante / Alexandre Ibrahim Direne - Integrante / Marcos Sfair Sunye - Integrante / Luis Carlos Erpen de Bona - Integrante / Daniel Weingaertner - Integrante / Carlos Alberto de Carvalho - Integrante., Financiador(es): Unidade Gestora do Fundo - Secretaria de Ciência e Tecnologia do Paraná - Auxílio financeiro., Número de produções C, T & A: 31