Concepedia

Maurizio Gabbrielli

MG

41

Publications

1.1K

Citations

20

H-Index

1991

Active since

Affiliations

University of Bologna(Current)

University of Pisa

Centrum Wiskunde & Informatica

Institut national de recherche en sciences et technologies du numérique

University of Oslo

Maurizio Gabbrielli is an author at University of Bologna specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationProgram AnalysisVerificationSoftware AnalysisSystems EngineeringSoftware Design

Publications per year

1991–2024

41

Publications

41

The s-semantics approach: Theory and applications

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi et al. · The Journal of Logic Programming · 1994 · 129 citations

Formal Semantics, Engineering, Semantic Analysis (Linguistics) +8

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

Proving concurrent constraint programs correct

Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori et al. · ACM Transactions on Programming Languages and Systems · 1997 · 63 citations · Full text

Constraint Solving, Formal Specification, Engineering +14

On the expressive power of recursion, replication and iteration in process calculi

Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro · Mathematical Structures in Computer Science · 2009 · 50 citations

Engineering, Verification, Computational Model Theory +16

SUNNY: a Lazy Portfolio Approach for Constraint Solving

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro · Theory and Practice of Logic Programming · 2014 · 49 citations · Full text

Artificial Intelligence, Engineering, Constrained Optimization +17

Rows per page

1–5 of 41