Concepedia

Corrado Moiso

CM

6

Publications

310

Citations

6

H-Index

1986

Active since

Affiliations

Telecom Italia Lab(Current)

Corrado Moiso is an author at Telecom Italia Lab specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningData ScienceData MiningVerificationProgram AnalysisSoftware AnalysisFormal Verification

Publications per year

1986–1991

6

Publications

6

Kernel-LEAF: A logic plus functional language

Elio Giovannetti, Giorgio Levi, Corrado Moiso et al. · Journal of Computer and System Sciences · 1991 · 112 citations

Computational Logic, Engineering, Automated Reasoning +5

Narrowing vs. SLD-resolution

Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso · Theoretical Computer Science · 1988 · 58 citations

High Resolution, Engineering, Computational Imaging +3

An Algorithm for Unification in Equational Theories.

Alberto Martelli, Corrado Moiso, Gianfranco Rossi · SLP · 1986 · 57 citations

Equational Theories, Engineering, Automated Reasoning +3

An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing.

Pier Giorgio Bosco, C. Cecchi, Corrado Moiso · International Conference on Lightning Protection · 1989 · 33 citations

Wam-based Compilation, Conditional Narrowing, Engineering +7

A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions.

Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco et al. · SLP · 1987 · 32 citations

Rows per page

1–5 of 6