Ester Giallonardo is an author at University of Sannio specializing in automated reasoning, formal verification, and formal methods.
Top concepts
EngineeringSemantic WebVerificationFormal MethodsCloud ComputingComputer ScienceData IntegrationOntology MatchingAutomated ReasoningFormal Verification
Publications per year
2007–2007
1
1
More Semantics in QoS Matching
Ester Giallonardo, Eugenio Zimeo · 2007 · 72 citations
Ontology Matching, Web Service Specification, Engineering +21
Rows per page
1–1 of 1