Concepedia
Statistics
Publications
41
Citations
1.1K
H-Index
20
Active since
1991
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
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
1–5 of 41