Theo dõi
Fabio Gadducci
Fabio Gadducci
Professore di Informatica, Università di Pisa
Email được xác minh tại unipi.it - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
The tile model
F Gadducci, U Montanari
Università di Pisa, 1996
2151996
An algebraic presentation of term graphs, via gs-monoidal categories
A Corradini, F Gadducci
Applied Categorical Structures 7, 299-331, 1999
1261999
A conceptual framework for adaptation
R Bruni, A Corradini, F Gadducci, A Lluch Lafuente, A Vandin
Fundamental Approaches to Software Engineering: 15th International …, 2012
1142012
Enhancing constraints manipulation in semiring-based formalisms
S Bistarelli, F Gadducci
ECAI 141, 63-67, 2006
972006
An inductive view of graph transformation
F Gadducci, R Heckel
International Workshop on Algebraic Development Techniques, 223-237, 1997
901997
Rewriting modulo symmetric monoidal structure
F Bonchi, F Gadducci, A Kissinger, P Sobociński, F Zanasi
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
712016
A 2-categorical presentation of term graph rewriting
A Corradini, F Gadducci
Category Theory and Computer Science: 7th International Conference, CTCS'97 …, 1997
701997
About permutation algebras, (pre)sheaves and named sets
F Gadducci, M Miculan, U Montanari
Higher-Order and Symbolic Computation 19 (2-3), 283-304, 2006
692006
On the algebraic approach to concurrent term rewriting
F Gadducci
Bulletin-European Association for Theoretical Computer Science 59, 412-413, 1996
651996
String diagram rewrite theory I: rewriting with Frobenius structure
F Bonchi, F Gadducci, A Kissinger, P Sobocinski, F Zanasi
Journal of the ACM (JACM) 69 (2), 1-58, 2022
572022
Reactive systems, barbed semantics, and the mobile ambients
F Bonchi, F Gadducci, GV Monreale
International Conference on Foundations of Software Science and …, 2009
532009
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting
F Gadducci, R Heckel, M Llabrés
Electronic Notes in Theoretical Computer Science 29, 80-100, 1999
531999
Graph rewriting for the π-calculus
F Gadducci
Mathematical Structures in Computer Science 17 (3), 407-437, 2007
522007
Normal forms for algebras of connections
R Bruni, F Gadducci, U Montanari
Theoretical Computer Science 286 (2), 247-292, 2002
512002
Some algebraic laws for spans (and their connections with multirelations)
R Bruni, F Gadducci
Electronic Notes in Theoretical Computer Science 44 (3), 175-193, 2003
492003
AGILE: Software architecture for mobility
L Andrade, P Baldan, H Baumeister, R Bruni, A Corradini, R De Nicola, ...
Recent Trends in Algebraic Development Techniques: 16th International …, 2003
472003
A behavioural congruence for web services
F Bonchi, A Brogi, S Corfini, F Gadducci
International Symposium on Fundamentals of Software Engineering …, 2007
462007
Term Graph Rewriting for the π-Calculus
F Gadducci
Asian Symposium on Programming Languages and Systems, 37-54, 2003
452003
A Concurrent Graph Semantics for Mobile Ambients
F Gadducci, U Montanari
Electronic Notes in Theoretical Computer Science 45, 88-105, 2001
402001
Relating two categorical models of term rewriting
A Corradini, F Gadducci, U Montanari
Rewriting Techniques and Applications: 6th International Conference, RTA-95 …, 1995
401995
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20