Corrado Moiso - Concepedia

Author

Corrado Moiso

Also Known As

C. MOISO, C. Moiso, Corrado Moiso, Moiso, Corrado

Publications

474

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	278
2	Computer Science	4	4	221
3	Data Science	2	2	51
4	Data Mining	1	1	33
5	Software Analysis	1	1	18

Corrado Moiso

Publications

310

Citations

H-Index

Page 1

	Year	Citations
Kernel-LEAF: A logic plus functional language Elio Giovannetti, Giorgio Levi, Corrado Moiso, Journal of Computer and System Sciences Computational LogicEngineeringAutomated ReasoningFormal MethodsFirst-order Logic	1991	112
Narrowing vs. SLD-resolution Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso Theoretical Computer Science High ResolutionEngineeringComputational ImagingComputer ScienceImage Resolution	1988	58
An Algorithm for Unification in Equational Theories. Alberto Martelli, Corrado Moiso, Gianfranco Rossi SLP Equational TheoriesEngineeringAutomated ReasoningFormal MethodsEquational Logic	1986	57
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 Wam-based CompilationConditional NarrowingEngineeringData ScienceData Mining	1989	33
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, SLP	1987	32
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing Elio Giovannetti, Corrado Moiso Completeness ResultProgramming Language TheoryFormal SpecificationEngineeringData Science	1986	18

Page 1