The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Fabio Gadducci: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Andrea Corradini, Fabio Gadducci
    CPO Models for Infinite Term Rewriting. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:368-384 [Conf]
  2. Fabio Gadducci
    Term Graph Rewriting for the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    APLAS, 2003, pp:37-54 [Conf]
  3. Fabio Gadducci, Ugo Montanari
    Graph Processes with Fusions: Concurrency by Colimits, Again. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:84-100 [Conf]
  4. Fabio Gadducci, Ugo Montanari
    Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:106-126 [Conf]
  5. Paolo Baldan, Fabio Gadducci, Ugo Montanari
    Concurrent Rewriting for Graphs with Equivalences. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:279-294 [Conf]
  6. Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski
    Deriving Weak Bisimulation Congruences from Reduction Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:293-307 [Conf]
  7. Andrea Corradini, Fabio Gadducci
    A 2-Categorical Presentation of Term Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:87-105 [Conf]
  8. Stefano Bistarelli, Fabio Gadducci
    Enhancing Constraints Manipulation in Semiring-Based Formalisms. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:63-67 [Conf]
  9. Pierpaolo Degano, Fabio Gadducci, Corrado Priami
    Causality and Replication in Concurrent Processes. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2003, pp:307-318 [Conf]
  10. Andrea Corradini, Fabio Gadducci
    Rational Term Rewriting. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:156-171 [Conf]
  11. Paolo Baldan, Andrea Corradini, Fabio Gadducci
    Specifying and Verifying UML Activity Diagrams Via Graph Transformation. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:18-33 [Conf]
  12. Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci
    Graph Transactions as Processes. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:199-214 [Conf]
  13. Filippo Bonchi, Fabio Gadducci, Barbara König
    Process Bisimulation Via a Graphical Encoding. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:168-183 [Conf]
  14. Fabio Gadducci, Ugo Montanari
    Axioms for Contextual Net Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:296-308 [Conf]
  15. Marino Miculan, Fabio Gadducci
    Modal mu-Types for Processes [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:221-231 [Conf]
  16. Michele Boreale, Fabio Gadducci
    Denotational Testing Semantics in Coinductive Form. [Citation Graph (0, 0)][DBLP]
    MFCS, 2003, pp:279-289 [Conf]
  17. Andrea Corradini, Fabio Gadducci, Ugo Montanari
    Relating Two Categorial Models of Term Rewriting. [Citation Graph (0, 0)][DBLP]
    RTA, 1995, pp:225-240 [Conf]
  18. Fabio Gadducci, Reiko Heckel, Manuel Koch
    A Fully Abstract Model for Graph-Interpreted Temporal Logic. [Citation Graph (0, 0)][DBLP]
    TAGT, 1998, pp:310-322 [Conf]
  19. Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
    AGILE: Software Architecture for Mobility. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:1-33 [Conf]
  20. Roberto Bruni, Fabio Gadducci, Ugo Montanari
    Normal Forms for Partitions and Relations. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:31-47 [Conf]
  21. Andrea Corradini, Fabio Gadducci
    Functorial Semantics for Multi-algebras. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:79-91 [Conf]
  22. Fabio Gadducci, Reiko Heckel
    An inductive view of graph transformation. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:223-237 [Conf]
  23. Maurice H. ter Beek, Fabio Gadducci
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:142, n:, pp:1-3 [Journal]
  24. Roberto Bruni, Fabio Gadducci
    Some algebraic laws for spans. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal]
  25. Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci
    CCS semantics via proved transition systems and rewriting logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  26. Matteo Coccia, Fabio Gadducci, Ugo Montanari
    GS.Lambda Theories: A Syntax for Higher-Order Graphs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  27. Andrea Corradini, Fabio Gadducci
    Categorical rewriting of term-like structures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  28. Andrea Corradini, Fabio Gadducci
    On Term Graphs as an Adhesive Category. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:5, pp:43-56 [Journal]
  29. Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters
    Comparing cospan-spans and tiles via a Hoare-style process calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  30. Fabio Gadducci, Alberto Lluch-Lafuente
    Graphical Verification of a Spatial Logic for the pi-calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:154, n:2, pp:31-46 [Journal]
  31. Fabio Gadducci, Ugo Montanari
    A Concurrent Graph Semantics for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:45, n:, pp:- [Journal]
  32. Fabio Gadducci, Ugo Montanari
    Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:1-2 [Journal]
  33. Fabio Gadducci, Ugo Montanari
    Tiles, rewriting rules and CCS. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  34. Fabio Gadducci, Marino Miculan, Ugo Montanari
    Some Characterization Results for Permutation Algebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:129-147 [Journal]
  35. Maurice H. ter Beek, Fabio Gadducci
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:1-3 [Journal]
  36. Paolo Baldan, Fabio Gadducci, Ugo Montanari
    Modelling Calculi with Name Mobility using Graphs with Equivalences. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:1, pp:85-97 [Journal]
  37. Andrea Corradini, Fabio Gadducci
    Rewriting on cyclic structures: Equivalence between the operational and the categorical description. [Citation Graph (0, 0)][DBLP]
    ITA, 1999, v:33, n:4/5, pp:467-493 [Journal]
  38. Fabio Gadducci, Marino Miculan, Ugo Montanari
    About permutation algebras, (pre)sheaves and named sets. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2006, v:19, n:2-3, pp:283-304 [Journal]
  39. Michele Boreale, Fabio Gadducci
    Processes as formal power series: A coinductive approach to denotational semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:360, n:1-3, pp:440-458 [Journal]
  40. Roberto Bruni, Fabio Gadducci, Ugo Montanari
    Normal forms for algebras of connection. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:286, n:2, pp:247-292 [Journal]
  41. Andrea Corradini, Fabio Gadducci
    A functorial semantics for multi-algebras and partial algebras, with applications to syntax. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:286, n:2, pp:293-322 [Journal]
  42. Pierpaolo Degano, Fabio Gadducci, Corrado Priami
    A causal semantics for CCS via rewriting logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:275, n:1-2, pp:259-282 [Journal]
  43. Fabio Gadducci, Reiko Heckel, Mercè Llabrés
    A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  44. Fabio Gadducci, Ugo Montanari
    Comparing logics for rewriting: rewriting logic, action calculi and tile logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:319-358 [Journal]
  45. Fabio Gadducci, Alberto Lluch-Lafuente
    Graphical Encoding of a Spatial Logic for the pi -Calculus. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:209-225 [Conf]
  46. Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
    A Behavioural Congruence for Web Services. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:240-256 [Conf]

  47. Petri Nets Are Dioids. [Citation Graph (, )][DBLP]


  48. Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. [Citation Graph (, )][DBLP]


  49. A Category of Explicit Fusions. [Citation Graph (, )][DBLP]


  50. The tile model. [Citation Graph (, )][DBLP]


  51. Ugo Montanari and Friends. [Citation Graph (, )][DBLP]


  52. Encoding Asynchronous Interactions Using Open Petri Nets. [Citation Graph (, )][DBLP]


  53. Reactive Systems, Barbed Semantics, and the Mobile Ambients. [Citation Graph (, )][DBLP]


  54. A Decentralized Implementation of Mobile Ambients. [Citation Graph (, )][DBLP]


  55. Parallel and Sequential Independence for Borrowed Contexts. [Citation Graph (, )][DBLP]


  56. Counterpart Semantics for a Second-Order µ-Calculus. [Citation Graph (, )][DBLP]


  57. Saturated LTSs for Adhesive Rewriting Systems. [Citation Graph (, )][DBLP]


  58. A Soft Approach to Multi-objective Optimization. [Citation Graph (, )][DBLP]


  59. A Term-Graph Syntax for Algebras over Multisets. [Citation Graph (, )][DBLP]


  60. A Graph Syntax for Processes and Services. [Citation Graph (, )][DBLP]


  61. An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories. [Citation Graph (, )][DBLP]


  62. On Barbs and Labels in Reactive Systems [Citation Graph (, )][DBLP]


  63. A Calculus for Team Automata. [Citation Graph (, )][DBLP]


  64. Inequational Deduction as Term Graph Rewriting. [Citation Graph (, )][DBLP]


  65. Towards a Notion of Transaction in Graph Rewriting. [Citation Graph (, )][DBLP]


  66. Preface. [Citation Graph (, )][DBLP]


  67. Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding). [Citation Graph (, )][DBLP]


  68. A Note on an Old-Fashioned Algebra for (Disconnected) Graphs. [Citation Graph (, )][DBLP]


Search in 0.081secs, Finished in 0.084secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002