| 2009 |
|---|
| 24 | EE | Chiara Bodei,
Andrea Bracciali,
Davide Chiarugi:
Control Flow Analysis for Brane Calculi.
Electr. Notes Theor. Comput. Sci. 227: 59-75 (2009) |
| 2008 |
|---|
| 23 | EE | Andrea Bracciali,
GianLuigi Ferrari,
Emilio Tuosto:
A symbolic framework for multi-faceted security protocol analysis.
Int. J. Inf. Sec. 7(1): 55-84 (2008) |
| 22 | EE | Andrea Bracciali,
Marcello Brunelli,
Enrico Cataldo,
Pierpaolo Degano:
Synapses as stochastic concurrent systems.
Theor. Comput. Sci. 408(1): 66-82 (2008) |
| 2007 |
|---|
| 21 | EE | Paolo Baldan,
Andrea Bracciali,
Linda Brodo,
Roberto Bruni:
Deducing Interactions in Partially Unspecified Biological Systems.
AB 2007: 262-276 |
| 20 | EE | Andrea Bracciali,
Marcello Brunelli,
Enrico Cataldo,
Pierpaolo Degano:
Expressive Models for Synaptic Plasticity.
CMSB 2007: 152-167 |
| 19 | EE | Paolo Baldan,
Andrea Bracciali,
Roberto Bruni:
A semantic framework for open processes.
Theor. Comput. Sci. 389(3): 446-483 (2007) |
| 2006 |
|---|
| 18 | EE | Andrea Bracciali,
Ulle Endriss,
Neophytos Demetriou,
Antonis C. Kakas,
Wenjin Lu,
Kostas Stathis:
Crafting the mind of PROSOCS agents.
Applied Artificial Intelligence 20(2-4): 105-131 (2006) |
| 2005 |
|---|
| 17 | EE | Giacomo Baldi,
Andrea Bracciali,
Gian Luigi Ferrari,
Emilio Tuosto:
A Coordination-based Methodology for Security Protocol Verification.
Electr. Notes Theor. Comput. Sci. 121: 23-46 (2005) |
| 16 | EE | Andrea Bracciali,
Antonio Brogi,
Franco Turini:
A framework for specifying and verifying the behaviour of open systems.
J. Log. Algebr. Program. 63(2): 215-240 (2005) |
| 15 | EE | Andrea Bracciali,
Antonio Brogi,
Carlos Canal:
A formal approach to component adaptation.
Journal of Systems and Software 74(1): 45-54 (2005) |
| 2004 |
|---|
| 14 | EE | Andrea Bracciali,
Paolo Torroni:
A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction.
CLIMA IV 2004: 159-177 |
| 13 | EE | Andrea Bracciali,
Paolo Mancarella,
Kostas Stathis,
Francesca Toni:
On Modelling Multi-agent Systems Declaratively.
DALT 2004: 53-68 |
| 12 | EE | Andrea Bracciali,
Paolo Mancarella,
Kostas Stathis,
Francesca Toni:
Engineering Stable Multi-agent Systems.
ESAW 2004: 322-334 |
| 11 | EE | Paolo Baldan,
Andrea Bracciali,
Roberto Bruni:
Symbolic Equivalences for Open Systems.
Global Computing 2004: 1-17 |
| 10 | EE | 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.
Global Computing 2004: 340-367 |
| 9 | EE | Andrea Bracciali,
Antonis C. Kakas:
Frame consistency: computing with causal explanations.
NMR 2004: 79-87 |
| 2002 |
|---|
| 8 | EE | Paolo Baldan,
Andrea Bracciali,
Roberto Bruni:
Bisimulation by Unification.
AMAST 2002: 254-270 |
| 7 | EE | Andrea Bracciali,
Antonio Brogi,
Carlos Canal:
Dynamically Adapting the Behaviour of Software Components.
COORDINATION 2002: 88-95 |
| 6 | EE | Andrea Bracciali,
Antonio Brogi,
Carlos Canal:
Adapting Components with Mismatching Behaviours.
Component Deployment 2002: 185-199 |
| 5 | | Andrea Bracciali,
Antonio Brogi,
Gian Luigi Ferrari,
Emilio Tuosto:
Security and Dynamic Compositions of Open Systems.
PDPTA 2002: 1372-1377 |
| 4 | EE | Andrea Bracciali,
Antonio Brogi,
Carlos Canal:
Systematic Component Adaptation.
Electr. Notes Theor. Comput. Sci. 66(4): (2002) |
| 2001 |
|---|
| 3 | EE | Andrea Bracciali,
Antonio Brogi,
Franco Turini:
Coordinating interaction patterns.
SAC 2001: 159-165 |
| 2 | EE | Andrea Bracciali,
Antonio Brogi,
Gian Luigi Ferrari,
Emilio Tuosto:
Security Issues in Component-based Design.
Electr. Notes Theor. Comput. Sci. 54: (2001) |
| 1999 |
|---|
| 1 | | Tommaso Bolognesi,
Andrea Bracciali:
Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper).
FMOODS 1999 |
