Fernando Molina - Concepedia

Author

Fernando Molina

Also Known As

F. Molina, FERNANDO MOLINA, Fernando Jorquera Molina, Fernando Molina

Publications

239

Citations

H-Index

Concepts

All Affiliations

Fernando Molina is an author at University of Brighton specializing in formal methods, automated reasoning, and engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	157
2	Computer Science	3	3	138
3	Language Studies	1	1	19
4	Social Sciences	1	1	37
5	Linguistics	1	1	19

Fernando Molina

Publications

157

Citations

H-Index

Page 1

	Year	Citations
Spider Diagrams: A Diagrammatic Reasoning System John Howse, Fernando Molina, John Taylor, Journal of Visual Languages & Computing EngineeringDiagrammatic ReasoningSpider DiagramsReasoning SystemAutomated Reasoning	2001	76
Reasoning with spider diagrams John Howse, Fernando Molina, John Taylor, EngineeringModel-based ReasoningUnified Modelling LanguageSemanticsSemantic Web	1999	37
SD2: a sound and complete diagrammatic reasoning system John Howse, Fernando Molina, John Taylor ReasoningComputational LogicCompleteness SimplerEngineeringDiagrammatic Reasoning	2002	25
Type-syntax and token-syntax in diagrammatic systems John Howse, Fernando Molina, John Taylor, Diagrammatic SystemsEngineeringType TheoryModeling NotationSemantics	2001	19

Page 1