Concepedia

Maria Chiara Meo

MC

15

Publications

417

Citations

11

H-Index

1992

Active since

Affiliations

University of Bologna(Current)

University of Pisa

Centrum Wiskunde & Informatica

University of L'Aquila

Utrecht University

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

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationProgram AnalysisSemanticsLogic ProgrammingVerificationSoftware Design

Publications per year

1992–2007

15

Publications

15

A Timed Concurrent Constraint Language

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo · Information and Computation · 2000 · 91 citations

Engineering, Concurrent Programming, Concurrency Theory +6

A compositional semantics for logic programs

Annalisa Bossi, M. Gabrielli, Giorgio Levi et al. · Theoretical Computer Science · 1994 · 58 citations

Engineering, Automated Reasoning, Description Logic +5

Abstract diagnosis

Marco Comini, Giorgio Levi, Maria Chiara Meo et al. · The Journal of Logic Programming · 1999 · 43 citations

Contributions to the Semantics of Open Logic Programs.

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi et al. · Future Generation Computer Systems · 1992 · 31 citations

Engineering, Automated Reasoning, Formal Methods +4

A Theory of Observables for Logic Programs

Marco Comini, Giorgio Levi, Maria Chiara Meo · Information and Computation · 2001 · 30 citations

Applied Logic, Computational Logic, Engineering +6

Rows per page

1–5 of 15