4
Publications
157
Citations
4
H-Index
1999
Active since
Affiliations
Fernando Molina is an author at University of Brighton specializing in formal methods, automated reasoning, and engineering.
Top concepts
SemanticsEngineeringFormal MethodsAutomated ReasoningComputer ScienceDesignReasoningSemantic WebFormal VerificationKnowledge Compilation
Publications per year
1999–2002
4
4
Spider Diagrams: A Diagrammatic Reasoning System
John Howse, Fernando Molina, John Taylor et al. · Journal of Visual Languages & Computing · 2001 · 76 citations · Full text
Reasoning with spider diagrams
John Howse, Fernando Molina, John Taylor et al. · 1999 · 37 citations
Engineering, Model-based Reasoning, Unified Modelling Language +17
Type-syntax and token-syntax in diagrammatic systems
John Howse, Fernando Molina, John Taylor et al. · 2001 · 19 citations
Rows per page
1–4 of 4