Maria Chiara Meo
University of Chieti-Pescara(IT)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Semantic Web and Ontologies, Model-Driven Software Engineering Techniques
Most-Cited Works
- → A Timed Concurrent Constraint Language(2000)91 cited
- → A compositional semantics for logic programs(1994)58 cited
- → Abstract diagnosis(1999)43 cited
- Contributions to the Semantics of Open Logic Programs.(1992)
- → A Theory of Observables for Logic Programs(2001)30 cited
- → A temporal logic for reasoning about timed concurrent constraint programs(2002)30 cited
- → Proving properties of logic programs by abstract diagnosis(1997)27 cited
- → Transformations of CCP programs(2001)