Concepedia
Statistics
Publications
30
Citations
727
H-Index
16
Active since
1996
Affiliations
University of Pisa(Current)
École Normale Supérieure de Lyon
Centre National de la Recherche Scientifique
Laboratoire de l'Informatique du Parallélisme
Université Claude Bernard Lyon 1
Fabio Gadducci is an author at University of Pisa specializing in automated reasoning, engineering, and formal methods.
Top concepts
EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationSemanticsLinguisticsLanguageGraph TheoryProgram Analysis
Publications per year
1996–2022
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories
Andrea Corradini, Fabio Gadducci · Applied Categorical Structures · 1999 · 79 citations
Enhancing constraints manipulation in semiring-based formalisms
Stefano Bistarelli, Fabio Gadducci · CINECA IRIS Institutial research information system (University of Pisa) · 2006 · 62 citations
About permutation algebras, (pre)sheaves and named sets
Fabio Gadducci, Marino Miculan, Ugo Montanari · LISP and Symbolic Computation · 2006 · 52 citations
Permutation Algebras, Abstract Algebra, Universal Algebra +1
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting
Fabio Gadducci, Reiko Heckel, Mercè Llabrés · Electronic Notes in Theoretical Computer Science · 1999 · 39 citations · Full text
Formal Specification, Engineering, Graph Theory +14
Normal forms for algebras of connections
Roberto Bruni, Fabio Gadducci, Ugo Montanari · Theoretical Computer Science · 2002 · 36 citations
Normal Forms, Universal Algebra, Algebraic Structure +1
1–5 of 30