Maria Chiara Meo - Concepedia

Author

Maria Chiara Meo

University of Bologna ORCID

Also Known As

M MEO, M Meo, M. C. Meo, M. Meo, M.C Meo, M.C. Meo, MARIA CHIARA MEO, Maria C. Meo, Maria Chiara Meo, Meo, M. C.

Publications

657

Citations

H-Index

Concepts

All Affiliations

University of Bologna University of Pisa Centrum Wiskunde & Informatica University of L'Aquila Utrecht University

About

Maria Chiara Meo is an author at University of Bologna specializing in engineering, formal methods, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	12	348
2	Computer Science	10	10	259
3	Language Studies	2	2	21
4	Linguistics	2	2	21
5	Systems Engineering	2	2	40

Maria Chiara Meo

Publications

417

Citations

H-Index

Page 1

	Year	Citations
A Timed Concurrent Constraint Language Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo Information and Computation EngineeringConcurrent ProgrammingConcurrency TheoryFormal MethodsParallel Programming	2000	91
A compositional semantics for logic programs Annalisa Bossi, M. Gabrielli, Giorgio Levi, Theoretical Computer Science EngineeringAutomated ReasoningDescription LogicFormal MethodsLogic Programs	1994	58
Abstract diagnosis Marco Comini, Giorgio Levi, Maria Chiara Meo, The Journal of Logic Programming	1999	43
Contributions to the Semantics of Open Logic Programs. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Future Generation Computer Systems EngineeringAutomated ReasoningFormal MethodsWell-founded SemanticsSemantics	1992	31
A Theory of Observables for Logic Programs Marco Comini, Giorgio Levi, Maria Chiara Meo Information and Computation Applied LogicComputational LogicEngineeringAutomated ReasoningFormal Methods	2001	30
A temporal logic for reasoning about timed concurrent constraint programs Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo Epistemic ModalitiesConstraint SolvingEngineeringProgram AnalysisAutomated Reasoning	2002	30
Transformations of CCP programs Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo ACM Transactions on Programming Languages and Systems Software MaintenanceEngineeringVerificationSoftware EngineeringConcurrent System	2001	26
Observable Behaviors and Equivalences of Logic Programs Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo Information and Computation Applied LogicNon-classical LogicEngineeringAutomated ReasoningFormal Methods	1995	21
Differential logic programming Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Applied LogicDynamic InheritanceEngineeringGeneral OperatorDifferential Logic Programming	1993	20
Compositionality properties of SLD-derivations Marco Comini, Maria Chiara Meo Theoretical Computer Science Algebraic AnalysisCompositionality PropertiesGeneralized FunctionFunctional Analysis	1999	15

Page 1