Plataforma CpE

Busque por temas e encontre especialistas

Marcos Alexandre Castilho

Dados pessoais

  • HS Health Sciences
  • LS Life Sciences
  • MU Multidisciplinary
  • PS Physical Sciences
  • SH Social Sciences & Humanities
# Nome Links Grande Área Área
1 Laura Sánchez GARCÍA Ciências Exatas e da Terra Ciência da Computação
2 Luis Allan KÜNZLE Ciências Exatas e da Terra Ciência da Computação
Figura 1. Número de publicações por ano e por tipo, considerando todas as publicações.
  1. Social Sciences & Humanities Education
    Santos ICLEIA; Grebogy ELAINE; Marcos Alexandre CASTILHO. 2022. Activities to develop computational thinking contextualized with covid-19 pandemic: a case study. In: Ieee canada international humanitarian technology conference (ihtc). Canadá.
  2. Physical Sciences Computer Science (miscellaneous)
    Ivanchechen DANIELLE; Marcos Alexandre CASTILHO. 2020. 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. Brasil.
  3. Social Sciences & Humanities Education
    Looi CHEE; Kuss FABIANDO; Marcos Alexandre CASTILHO. 2019. Classroom mobile devices: evaluation about existing applications. In: 11th international conference on computer supported education. Brasil.
  4. Social Sciences & Humanities Education
    Marcos Alexandre CASTILHO; Grebogy ELAINE; Santos ICLEIA. 2019. O pensamento computacional no ensino fundamental i. In: Xxv workshop de informática na escola. Brasil.
  5. Physical Sciences Computer Science (miscellaneous)
    Silva FABIANO; Leticia Mara PERES; Marcos Alexandre CASTILHO; Kuss Fabiano SARDENBERG. 2018. Aulacast: a single board computer platform to support teaching. In: 10th international conference on computer supported education. Portugal.
  6. Physical Sciences Artificial Intelligence
    Ribeiro De Oliveira MARCELA; Barreto Santanna ISRAEL; Scariot Ramos GUILHERME; Carlos Erpen De Bona LUIS; Marcos Alexandre CASTILHO et al. 2018. Open educational resources platform based on collective intelligence. In: 2018 ieee 4th international conference on collaboration and internet computing (cic). Brasil.
  7. Social Sciences & Humanities Social Sciences (miscellaneous)
    Trois CELIO; Weingaertner DANIEL; Pasqualin DIEGO; Maciel EDEMIR; Almeida EDUARDO et al. 2017. Transparency meets management: a monitoring and evaluating tool for governmental projects. In: 2017 ieee/acs 14th international conference on computer systems and applications (aiccsa). Brasil.
  8. Physical Sciences Artificial Intelligence
    Fabrício CESCHIN; André Ricardo Abed GRÉGIO; David Menotti GOMES; Marcos Alexandre CASTILHO. 2017. Avaliação da eficácia de classificadores de malware ao longo do tempo. In: Workshop de forense computacional do sbseg. Brasil.
  9. Physical Sciences Computer Science (miscellaneous)
    Marcos Alexandre CASTILHO; García Laura SÁNCHEZ; Pasqualin Diego GIOVANE; Direne Alexandre IBRAHIM; Silva FABIANO et al. 2016. C3sl - from education to public transparency; fifteen years developing computer systems for the brazilian society. In: European projects in knowledge applications and intelligent systems. Brasil.
  10. Physical Sciences Computer Science (miscellaneous)
    Marcos Antônio SCHREINER; Silva FABIANO; Marcos Alexandre CASTILHO; Razer Anthom Nizer Rojas MONTAÑO; Luis Allan KUNZLE. 2013. Planning net with ordination of propositions: an improvement to planning solvers with petri nets. In: X encontro nacional de inteligência artificial e computacional. Brasil.
  11. Physical Sciences Artificial Intelligence
    Anderson NEVES; Fabiano SILVA; Marcos Alexandre CASTILHO; Luis Allan KUNZLE. 2013. Método para verificação de propriedades de redes de petri utilizando resolvedor smt. In: X encontro nacional de inteligência artificial e computacional. Brasil.
  12. Physical Sciences Artificial Intelligence
    Ribas Bruno CESAR; Suguimoto Rubens MASSAYUKI; Montano Razer A N R; Silva FABIANO; Marcos Alexandre CASTILHO. 2013. Pbfvmc: a new pseudo-boolean formulation to virtual-machine consolidation. In: 2013 brazilian conference on intelligent systems (bracis). Brasil.
  13. Physical Sciences Artificial Intelligence
    Razer Anthom Nizer Rojas MONTAÑO; Marcos Alexandre CASTILHO; Fabiano SILVA; Luis Allan KUNZLE. 2011. Usando redes de petri e resolvedores iscas para tratar planejamento como satisfatibilidade. In: Ix encontro nacional de inteligência artificial (csbc 2011 - enia). Brasil.
  14. Physical Sciences Mathematics (miscellaneous)
    Direne ALEXANDRE; Bona LUIS; Sunye Marcos SFAIR; Marcos Alexandre CASTILHO; Silva FABIANO et al. 2009. Authoring adaptive tutoring systems for complex visual skills. In: 2009 ninth ieee international conference on advanced learning technologies (icalt). Letônia.
  15. Health Sciences Medicine (miscellaneous)
    Diego PASQUALIN; Vinicius RUOSO; Luis Carlos Erpen De BONA; Marcos Alexandre CASTILHO; Ribas Bruno CESAR et al. 2009. Sdi - sistema de diagnóstico instantâneo. In: Workshop de software livre. Brasil.
  16. Physical Sciences Computer Science Applications
    Juliano PICUSSA; Laura Sanches GARCIA; Juliana BUENO; Márcia V R FERREIRA; Alexandre Ibrahim DIRENE et al. 2008. 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). Espanha.
  17. Physical Sciences Computer Science (miscellaneous)
    Juliano PICUSSA; Laura Sanches GARCIA; Juliana BUENO; Márcia V R FERREIRA; Alexandre Ibrahim DIRENE et al. 2008. A user-interface environment solution for an online educational chess server. In: The ieee intl conf on research challenges in information science. Marrocos.
  18. Physical Sciences Biomedical Engineering
    Direne ALEXANDRE; Sunyé MARCOS; Marcos Alexandre CASTILHO; Silva FABIANO; Bona LUIS et al. 2008. Acquiring expertise in medical radiology through long-term interactions. In: 2008 21st international symposium on computerbased medical systems (cbms). Estados Unidos.
  19. Physical Sciences Computer Science Applications
    Alexandre Ibrahim DIRENE; Andre Luiz Pires GUEDES; Fabiano SILVA; Luis Carlos Erpen De BONA; Laura Sanches GARCIA et al. 2008. Visualização de táticas para apoiar a aquisição de habilidades em jogos educacionais. In: Workshop sobre informática na escola (wie). Brasil.
  20. Social Sciences & Humanities Education
    Alexandre Ibrahim DIRENE; Marcos Sfair SUNYE; Marcos Alexandre CASTILHO; Fabiano SILVA; Luis Carlos Erpen De BONA et al. 2008. Diálogos adaptativos para a aprendizagem de radiologia. In: Workshop de informática médica (wim). Brasil.
  21. Physical Sciences Computer Science (miscellaneous)
    Luis Carlos Erpen De BONA; Marcos Alexandre CASTILHO; Daniel WEINGAERTNER; Fabiano SILVA; Marcos Sfair SUNYE et al. 2008. Managing a grid of computer laboratories for educational purposes. In: Lagrid08 - latin american grid. Brasil.
  22. Social Sciences & Humanities Education
    Hobmeier Neto ANTÔNIO; Alexandre Ibrahim DIRENE; Fabiano SILVA; Luis Carlos Erpen De BONA; Laura Sanches GARCIA et al. 2008. 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). Brasil.
  23. Social Sciences & Humanities Psychology (miscellaneous)
    Razer Anthom Nizer Rojas MONTAÑO; Márcio Roberto MIRANDA; Marcos Alexandre CASTILHO; Lúcio Foltran Da SILVA; Roberto HEXSEL. 2008. Businness intelligence nas escolas públicas do paraná. In: Workshop de software livre (wsl). Brasil.
  24. Physical Sciences Computer Science Applications
    Ribas Bruno CESAR; Josiney De SOUZA; Fabiano SILVA; Luis Carlos Erpen De BONA; Marcos Alexandre CASTILHO. 2008. Acesso de mídias removíveis em terminais thinclient sem disco. In: Workshop de software livre (wsl). Brasil.
  25. Physical Sciences Computer Science Applications
    Picussa JULIANO; Garcia Laura S; Bueno JULIANA; Ferreira Marica V R; Direne Alexandre I et al. 2008. A user-interface environment solution for an online educational chess server. In: 2008 second international conference on research challenges in information science (rcis). Brasil.
  26. Physical Sciences Computer Science (miscellaneous)
    Marcos Alexandre CASTILHO; Luis Allan KUNZLE; Silvio Alexandre PORTO; Fabiano SILVA. 2007. Planejamento aplicado a jogos de computador: uma implementao baseada em redes de tarefas hierárquicas. In: Vi enia - encontro nacional de inteligncia artificial. Brasil.
  27. Social Sciences & Humanities Education
    Marcos Alexandre CASTILHO; Luis Allan KUNZLE; Razer Anthom Nizer Rojas MONTAÑO; Fabiano SILVA. 2007. Planejamento como satisfatibilidade: uma abordagem no clausal. In: Vi enia - encontro nacional de inteligncia artificial. Brasil.
  28. Physical Sciences Computer Science (miscellaneous)
    Cássio Soares CARVALHO; Marcos Alexandre CASTILHO; Luis Allan KUNZLE; Fabiano SILVA. 2007. Gapnet: uma nova abordagem genética para o problema de planejamento em inteligência artificial. In: Vi enia - encontro nacional de inteligncia artificial. Brasil.
  29. Life Sciences General Agricultural and Biological Sciences
    Francisco Meira AGUIAR; Alexandre Ibrahim DIRENE; Luis Carlos Erpen De BONA; Fabiano SILVA; Marcos Alexandre CASTILHO et al. 2007. 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). Brasil.
  30. Social Sciences & Humanities Education
    Marcos Alexandre CASTILHO; Marcos Sfair SUNYE; Daniel WEINGAERTNER; Luis Carlos Erpen De BONA; Fabiano SILVA et al. 2007. 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). Brasil.
  31. Physical Sciences Computer Science (miscellaneous)
    Nacib Mattar JUNIOR; Luis Allan KUNZLE; Fabiano SILVA; Marcos Alexandre CASTILHO; Evangivaldo LIMA. 2007. Análise temporal de cenários em redes de petri temporais. In: Sbai 2007 - viii simpósio brasileiro de automação inteligente. Brasil.
  32. Social Sciences & Humanities Psychology (miscellaneous)
    Feitosa ALEXANDRE; Alexandre Ibrahim DIRENE; Fabiano SILVA; Luis Carlos Erpen De BONA; Andre Luiz Pires GUEDES et al. 2007. 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). Brasil.
  33. Social Sciences & Humanities Education
    Daniel MARTINESCHEN; Alexandre Ibrahim DIRENE; Luis Carlos Erpen De BONA; Marcos Alexandre CASTILHO; Et ALII. 2006. 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. Brasil.
  34. Physical Sciences Computer Science (miscellaneous)
    Ander Conselvan De OLIVEIRA; Tiago VIGNATTI; Daniel WEINGAERTNER; Fabiano SILVA; Marcos Alexandre CASTILHO et al. 2006. Um modelo de computacao multiusuario baseado em computadores pessoais. In: Vii workshop de software livre. Brasil.
  35. Social Sciences & Humanities Business, Management and Accounting (miscellaneous)
    Fabiano SILVA; Luis Allan KUNZLE; Marcos Alexandre CASTILHO. 2005. Planning as reachability. In: Vii brasilian symposium on inteligent automation and ii latin america ieee robotics symposium. Brasil.
  36. Physical Sciences Computer Science (miscellaneous)
    Celso HARTMANN; Alexandre Ibrahim DIRENE; Luis Carlos Erpen De BONA; Marcos Alexandre CASTILHO; Et ALII. 2005. 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). Brasil.
  37. Physical Sciences Artificial Intelligence
    Marcos Alexandre CASTILHO; Luis Allan KUNZLE; Fabiano SILVA. 2004. A petri net based representation for planning problems. In: V international conference on knowledge based computer systems. Índia.
  38. Social Sciences & Humanities Education
    Marcos Alexandre CASTILHO; Alexandre Ibrahim DIRENE; Andre Luiz Pires GUEDES; Et ALII. 2004. Conceitos e ferramentas de apoio ao ensino de xadrez nas escolas brasileiras. In: X wie - workshop sobre informática na escola. Brasil.
  39. Social Sciences & Humanities Developmental and Educational Psychology
    Marcos Alexandre CASTILHO; Andreas HERZIG; Ivan Jose VARZINCZAK. 2002. 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. França.
  40. Social Sciences & Humanities Psychology (miscellaneous)
    Marcos Alexandre CASTILHO; Ivan José VARZINCZAK. 2002. Causalidade e dependencia em raciocinio sobre acoes. In: Wtdia 2002 - workshop de teses e dissertacoes em inteligencia artificial. Brasil.
  41. Physical Sciences Artificial Intelligence
    Marcos Alexandre CASTILHO; Fabiano SILVA; Luis Allan KUNZLE. 2002. Petriplan: um novo algoritmo para geracao de planos. In: Wtdia 2002 - workshop de teses e dissertacoes em inteligencia artificial. Brasil.
  42. Physical Sciences Artificial Intelligence
    Marcos Alexandre CASTILHO; Edson Martins LECHETA. 2002. Algoritmos geneticos para planificacao. In: Wtdia 2002 - workshop de teses e dissertacoes em inteligencia artificial. Brasil.
  43. Physical Sciences Computer Science (miscellaneous)
    Marcos Alexandre CASTILHO; Renato CARMO; Roberto HEXSEL. 2001. Aparafusando parafusos: um modelo de laboratorio de computacao com qualidade e otimizacao de recursos. In: Workshop de ensino em informatica. Brasil.
  44. Physical Sciences Computer Science (miscellaneous)
    Marcos Alexandre CASTILHO; Renato CARMO; Roberto HEXSEL. 2001. Um modelo de gestão eficiente de recursos computacionais. In: Ii workshop sobre software livre. Brasil.
  45. Physical Sciences Artificial Intelligence
    Marcos Alexandre CASTILHO; Luis Fariñas Del CERRO; Olivier GASQUET; Andreas HERZIG. 1998. Reasoning about actions in modal logic. In: Symposium on reasoning about actions: foundations and applications. Alemanha.
  46. Social Sciences & Humanities Linguistics and Language
    Marcos Alexandre CASTILHO; Olivier GASQUET; Andreas HERZIG. 1997. Modal tableaux for reasoning about actions and plans. In: European conference on planning. França.
  47. Social Sciences & Humanities Linguistics and Language
    Marcos Alexandre CASTILHO; Olivier GASQUET; Andreas HERZIG. 1997. Solving the frame and ramification problems in modal logic plus dependence. In: International joint conference on artificial intelligence. Japão.
  48. Physical Sciences Artificial Intelligence
    Marcos Alexandre CASTILHO; Luis Fariñas Del CERRO; Olivier GASQUET; Andreas HERZIG. 1997. A customized tableau method for reasoning about actions and plans in modal logic. In: Symposium on logical approaches to agent modeling and desing. França.
  49. Physical Sciences Computer Science (miscellaneous)
    Marcos Alexandre CASTILHO; Newton José VIEIRA. 1991. Implementação de explicação de respostas baseado em árvores de prova. In: Simpósio brasileiro de inteligência artificial. Brasil.
  1. Physical Sciences Computer Science (miscellaneous)
    Ceschin FABRICIO; Pinage FELIPE; Marcos Alexandre CASTILHO; Menotti DAVID; Oliveira Luiz S et al. 2018. The need for speed: an analysis of brazilian malware classifers. Ieee security & privacy. 16, 31-41.
  2. Physical Sciences Computer Science (miscellaneous)
    Schreiner Marcos A; Marcos Alexandre CASTILHO; Silva FABIANO; Kunzle Luis A; Montaño Razer A N R. 2015. The planning net:. International journal of natural computing research. 5, 16-36.
  3. Social Sciences & Humanities Linguistics and Language
    Marcos Alexandre CASTILHO; Olivier GASQUET; Andreas HERZIG. 1999. Formalizing action and change in modal logic i: the frame problem. Journal of logic and computation (print). 9, (5) 701-735.
  4. Social Sciences & Humanities Language and Linguistics
    Marcos Alexandre CASTILHO; Luis Fariñas Del CERRO; Olivier GASQUET; Andreas HERZIG. 1997. Modal tableaux with propagation rules and structural rules. Fundamenta informaticae. 32, (3-4) 281-297.
  1. Life Sciences Biochemistry, Genetics and Molecular Biology (miscellaneous)
    Possamai Cleide L B; Pasqualin DIEGO; Weingaertner DANIEL; Todt EDUARDO; Marcos Alexandre CASTILHO et al. 2014. Proinfodata: monitoring a large park of computational laboratories. In: Ifip advances in information and communication technology. Brasil.
  2. Physical Sciences Computer Science (miscellaneous)
    Schreiner Marcos A; Marcos Alexandre CASTILHO; Silva FABIANO; Kunzle Luis A. 2012. The planning net: exploring the petri net flow to improve planning solvers. In: Lecture notes in computer science. Brasil.
  3. Physical Sciences Computer Science (miscellaneous)
    Ribas Bruno CESAR; Suguimoto Rubens MASSAYUKI; Montaño Razer A N R; Silva FABIANO; Bona LUIS et al. 2012. On modelling virtual machine consolidation to pseudo-boolean constraints. In: Lecture notes in computer science. Brasil.
  4. Physical Sciences Artificial Intelligence
    Tavares De Oliveira RICARDO; Silva FABIANO; Ribas Bruno CESAR; Marcos Alexandre CASTILHO. 2012. On modeling connectedness in reductions from graph problems to extended satisfiability. In: Lecture notes in computer science. Brasil.
  5. Social Sciences & Humanities Library and Information Sciences
    Cristiane Yanase Hirabara De CASTRO; Marcos Sfair SUNYE; Luis Carlos Erpen De BONA; Marcos Alexandre CASTILHO. 2009. Repositórios institucionais confiáveis: repositório institucional como ferramenta para preservação digital. In: Implantação e gestão de repositórios institucionais: políticas; memória; livre acesso e preservação. Brasil.
  6. Social Sciences & Humanities General Social Sciences
    Marcos Alexandre CASTILHO; Marcos Sfair SUNYE; Et ALII. 2007. Making government policies for education possible by means of open source technology: a successful case. In: Open source for knowledge and learning management: strategies beyond tools. Grécia.
  7. Physical Sciences Artificial Intelligence
    Marcos Alexandre CASTILHO; Kunzle Luis ALLAN; Lecheta EDSON; Palodeto VIVIANE; Silva FABIANO. 2004. An investigation on genetic algorithms for generic strips planning. In: Lecture notes in computer science. Brasil.
  8. Social Sciences & Humanities Psychology (miscellaneous)
    Marcos Alexandre CASTILHO; Andreas HERZIG; Camila SCHWIND. 2000. Raisonnement sur les actions: les approches basées sur la causalité et la dépendance. In: Nouveaux défis en sciences de l'information : documents et evolution. França.
  9. Physical Sciences Artificial Intelligence
    Silva FABIANO; Marcos Alexandre CASTILHO; Künzle LUIS. 2000. Petriplan: a new algorithm for plan generation (preliminary report). In: Advances in artificial intelligence. Brasil.
  1. Physical Sciences Artificial Intelligence
    Marcos Alexandre CASTILHO; Fabiano SILVA; Daniel WEINGAERTNER. 2020. Algoritmos e estruturas de dados 1. Brasil.