Concepedia
Statistics
Publications
6
Citations
227
H-Index
Active since
1997
Affiliations
Universidade Federal do Paraná(Current)
Université Toulouse III - Paul Sabatier
Université Toulouse - Jean Jaurès
Université Toulouse-I-Capitole
Institut de Recherche en Informatique de Toulouse
Marcos Castilho is an author at Universidade Federal do Paraná specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationLanguageEducationSemanticsAutomationManagement
Publications per year
1997–2018
Formalizing action and change in modal logic I: the frame problem
Marcos Castilho · Journal of Logic and Computation · 1999 · 79 citations
Formal Semantics, Non-classical Logic, Engineering +15
Modal Tableaux with Propagation Rules and Structural Rules
Marcos Castilho, Luís Fariñas del Cerro, Olivier Gasquet et al. · Fundamenta Informaticae · 1997 · 46 citations
Modal Tableaux, Engineering, Substructural Logic +12
The Need for Speed: An Analysis of Brazilian Malware Classifiers
Fabrício Ceschin, Felipe Pinagé, Marcos Castilho et al. · IEEE Security & Privacy · 2018 · 37 citations
Artificial Intelligence, Engineering, Machine Learning +25
It Depends on the Context! A decidable logic of actions and plans based on a ternary dependence relation
Marcos Castilho, Andreas Herzig, Ivan Varzinczak · 2002 · 28 citations · Full text
Open Educational Resources Platform Based on Collective Intelligence
Marcela Ribeiro de Oliveira, Israel Barreto Sant'Anna, Guilherme Scariot Ramos et al. · 2018 · 21 citations
Integrated Platform, Engineering, Collaborative Information Retrieval +17
1–5 of 6