Concepedia

Ferrante Formato

FF

Statistics

Publications

6

Citations

214

H-Index

6

Active since

1998

Affiliations

University of Salerno(Current)

Centro di Ricerca in Matematica Pura ed Applicata

Ferrante Formato is an author at University of Salerno specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFuzzy LogicLogic ProgrammingFormal VerificationSemanticsData ScienceDistributed Systems

Publications per year

1998–2002

6

Publications

6

Similarity-based Unification

Ferrante Formato, Giangiacomo Gerla, María I. Sessa · Fundamenta Informaticae · 2000 · 67 citations

Computational Logic, Engineering, Automated Reasoning +9

Francesca Arcelli Fontana, Ferrante Formato · 1999 · 43 citations

A similarity-based resolution rule

Francesca Arcelli Fontana, Ferrante Formato · International Journal of Intelligent Systems · 2002 · 37 citations · Full text

Applied Logic, Engineering, Fuzzy Unification Algorithm +19

Fuzzy subgroups and similarities

Ferrante Formato, Giangiacomo Gerla, L. Scarpati · Soft Computing · 1999 · 35 citations

Fuzzy Subgroups, Fuzzy Logic, Fuzzy Computing +3

Fuzzy unification as a foundation of fuzzy logic programming

Francesca Arcelli Fontana, Ferrante Formato, Giangiacomo Gerla · 1998 · 19 citations

Fuzzy Logic, Engineering, Fuzzy Computing +6

1–5 of 6