Concepedia

Fernando Molina

FM

Statistics

Publications

4

Citations

157

H-Index

4

Active since

1999

Affiliations

University of Brighton(Current)

City College Brighton and Hove

University of Kent

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

Top concepts

Publications per year

1999–2002

4

Publications

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

, , +7

Reasoning with spider diagrams

John Howse, Fernando Molina, John Taylor et al. · 1999 · 37 citations

, , +17

SD2: a sound and complete diagrammatic reasoning system

John Howse, Fernando Molina, John Taylor · 2002 · 25 citations

, , +14

Type-syntax and token-syntax in diagrammatic systems

John Howse, Fernando Molina, John Taylor et al. · 2001 · 19 citations

, , +20

Rows per page

1–4 of 4