default search action

combined dblp search
author search
venue search
publication search

ask others

Marcos A. Castilho

Marcos Alexandre Castilho

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/rbie/GrebogyCS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rbie/GrebogyCS24
Elaine Cristina Grebogy, Marcos Alexandre Castilho, Icleia Santos:
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 Educ. 32: 359-389 (2024)
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sbcjis/PereiraSMCPDCRC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sbcjis/PereiraSMCPDCRC24
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): 695-711 (2024)
2018
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ieeesp/CeschinPCMOG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieeesp/CeschinPCMOG18
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): 31-41 (2018)
2015
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijncr/SchreinerCSKM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijncr/SchreinerCSKM15
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): 16-36 (2015)
1999
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/CastilhoGH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/CastilhoGH99
Marcos A. Castilho, Olivier Gasquet, Andreas Herzig:
Formalizing Action and Change in Modal Logic I: the frame problem. J. Log. Comput. 9(5): 701-735 (1999)
1997
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/CastilhoCGH97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/CastilhoCGH97
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): 281-297 (1997)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ihtc/SantosGC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ihtc/SantosGC22
Icleia Santos, Elaine Cristina Grebogy, Marcos Alexandre Castilho:
Activities to develop computational thinking contextualized with COVID-19 pandemic: a case study. IHTC 2022: 12-18
2019
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/csedu/KussCL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/KussCL19
Fabiano Sardenberg Kuss, Marcos A. Castilho, Chee-Kit Looi:
Classroom Mobile Devices: Evaluation about Existing Applications. CSEDU (2) 2019: 496-504
2018
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/coinco/OliveiraSRBCFT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coinco/OliveiraSRBCFT18
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:
Open Educational Resources Platform Based on Collective Intelligence. CIC 2018: 346-353
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/csedu/KussCPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/KussCPS18
Fabiano Sardenberg Kuss, Marcos A. Castilho, Letícia M. Peres, Fabiano Silva:
Aulacast: A Single Board Computer Platform to Support Teaching. CSEDU (1) 2018: 366-373
2017
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/aiccsa/TroisWPMASTBCFS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiccsa/TroisWPMASTBCFS17
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: 1429-1435
2016
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/eups/DireneJCTPWPMAT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eups/DireneJCTPWPMAT16
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:
C3SL - From Education to Public Transparency, Fifteen Years Developing Computer Systems for the Brazilian Society. EPS 2016
2014
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/oss/PossamaiPWTCBA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oss/PossamaiPWTCBA14
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: 226-229
2013
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/bracis/RibasSMSC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bracis/RibasSMSC13
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: 201-206
2012
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/iberamia/RibasSMSBC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iberamia/RibasSMSBC12
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: 361-370
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/iberamia/OliveiraSRC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iberamia/OliveiraSRC12
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: 381-391
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/iberamia/SchreinerCSK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iberamia/SchreinerCSK12
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: 581-590
2010
[c12]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iceis/LeiteGPSCBS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/LeiteGPSCBS10
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: 79-85
2009
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icalt/DireneBSCSGS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalt/DireneBSCSGS09
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: 160-164
[c10]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iceis/GarciaMDDSCBS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/GarciaMDDSCBS09
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: 61-65
[c9]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iceis/GarciaDCBSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/GarciaDCBSS09
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: 113-117
2008
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cbms/DireneSCSBGS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbms/DireneSCSBGS08
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: 403-408
[c7]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iceis/PicussaGBFDBSCS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/PicussaGBFDBSCS08
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: 262-267
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/rcis/PicussaGBFDBSCS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcis/PicussaGBFDBSCS08
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: 179-186
2004
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iberamia/CastilhoKLPS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iberamia/CastilhoKLPS04
Marcos A. Castilho, Luis Allan Künzle, Edson Lecheta, Viviane Palodeto, Fabiano Silva:
An Investigation on Genetic Algorithms for Generic STRIPS Planning. IBERAMIA 2004: 185-194
2002
[c4]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/nmr/CastilhoHV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/CastilhoHV02
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: 343-348
2000
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sbia/SilvaCK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbia/SilvaCK00
Fabiano Silva, Marcos A. Castilho, Luis Allan Künzle:
Petriplan: A New Algorithm for Plan Generation (Preliminary Report). IBERAMIA-SBIA 2000: 86-95
1998
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/RelMiCS/CastilhoCGH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/CastilhoCGH98
Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig:
Modal tableaux based on graph-rules. RelMiCS 1998: 37-42
1997
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ecp/CastilhoGH97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecp/CastilhoGH97
Marcos A. Castilho, Olivier Gasquet, Andreas Herzig:
Modal Tableaux for Reasoning About Actions and Plans. ECP 1997: 104-116

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2012
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/sbia/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbia/2012
Leliane Nunes de Barros, Marcelo Finger, Aurora T. R. Pozo, Gustavo Alberto Giménez Lugo, Marcos A. Castilho:
Advances in Artificial Intelligence - SBIA 2012 - 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012. Proceedings. Lecture Notes in Computer Science 7589, Springer 2012, ISBN 978-3-642-34458-9 [contents]

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.