The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andrea Bracciali: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Paolo Baldan, Andrea Bracciali, Roberto Bruni
    Bisimulation by Unification. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:254-270 [Conf]
  2. Andrea Bracciali, Antonio Brogi, Carlos Canal
    Adapting Components with Mismatching Behaviours. [Citation Graph (0, 0)][DBLP]
    Component Deployment, 2002, pp:185-199 [Conf]
  3. Andrea Bracciali, Paolo Torroni
    A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction. [Citation Graph (0, 0)][DBLP]
    CLIMA IV, 2004, pp:159-177 [Conf]
  4. Andrea Bracciali, Antonio Brogi, Carlos Canal
    Dynamically Adapting the Behaviour of Software Components. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2002, pp:88-95 [Conf]
  5. Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni
    On Modelling Multi-agent Systems Declaratively. [Citation Graph (0, 0)][DBLP]
    DALT, 2004, pp:53-68 [Conf]
  6. Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni
    Engineering Stable Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    ESAW, 2004, pp:322-334 [Conf]
  7. Tommaso Bolognesi, Andrea Bracciali
    Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  8. Paolo Baldan, Andrea Bracciali, Roberto Bruni
    Symbolic Equivalences for Open Systems. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:1-17 [Conf]
  9. Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni
    The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:340-367 [Conf]
  10. Andrea Bracciali, Antonis C. Kakas
    Frame consistency: computing with causal explanations. [Citation Graph (0, 0)][DBLP]
    NMR, 2004, pp:79-87 [Conf]
  11. Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto
    Security and Dynamic Compositions of Open Systems. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2002, pp:1372-1377 [Conf]
  12. Andrea Bracciali, Antonio Brogi, Franco Turini
    Coordinating interaction patterns. [Citation Graph (0, 0)][DBLP]
    SAC, 2001, pp:159-165 [Conf]
  13. Andrea Bracciali, Ulle Endriss, Neophytos Demetriou, Antonis C. Kakas, Wenjin Lu, Kostas Stathis
    Crafting the mind of PROSOCS agents. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 2006, v:20, n:2-4, pp:105-131 [Journal]
  14. Giacomo Baldi, Andrea Bracciali, Gian Luigi Ferrari, Emilio Tuosto
    A Coordination-based Methodology for Security Protocol Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:121, n:, pp:23-46 [Journal]
  15. Andrea Bracciali, Antonio Brogi, Carlos Canal
    Systematic Component Adaptation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:4, pp:- [Journal]
  16. Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto
    Security Issues in Component-based Design. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal]
  17. Andrea Bracciali, Antonio Brogi, Franco Turini
    A framework for specifying and verifying the behaviour of open systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2005, v:63, n:2, pp:215-240 [Journal]
  18. Andrea Bracciali, Antonio Brogi, Carlos Canal
    A formal approach to component adaptation. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2005, v:74, n:1, pp:45-54 [Journal]
  19. Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano
    Expressive Models for Synaptic Plasticity. [Citation Graph (0, 0)][DBLP]
    CMSB, 2007, pp:152-167 [Conf]
  20. Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni
    Deducing Interactions in Partially Unspecified Biological Systems. [Citation Graph (0, 0)][DBLP]
    AB, 2007, pp:262-276 [Conf]

  21. On deducing causality in metabolic networks. [Citation Graph (, )][DBLP]


  22. Stochastic models for the in silico simulation of synaptic processes. [Citation Graph (, )][DBLP]


  23. Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy. [Citation Graph (, )][DBLP]


  24. A Taxonomy of Causality-Based Biological Properties [Citation Graph (, )][DBLP]


  25. StochKit-FF: Efficient Systems Biology on Multicore Architectures [Citation Graph (, )][DBLP]


  26. Control Flow Analysis for Brane Calculi. [Citation Graph (, )][DBLP]


  27. On Symbolic Semantics for Name-decorated Contexts. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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