MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Andrea Bracciali" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

ATOM

Coordinating interaction patterns
by Andrea Bracciali — 2001 — In ACM Symposium on Applied Computing (SAC’2001
…ABSTRACT Andrea Bracciali Computer Science Dept. corso Italia, 40 56100-I Pisa, Italy braccia…
Cited by 12 (5 self) – Add To MetaCart

A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction
by Andrea Bracciali, Paolo Torroni
…A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction Andrea…
Add To MetaCart

Frame Consistency: Computing with Causal Explanations
by Andrea Bracciali, Antonis Kakas — 2004 — In Proc. NMR-2004
…Frame Consistency: Computing with Causal Explanations Andrea Bracciali and Antonis Kakas…
Cited by 3 (0 self) – Add To MetaCart

International Journal of Information Security manuscript No. (will be inserted by the editor)
by Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto, Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto
…) Andrea Bracciali · Gianluigi Ferrari · Emilio Tuosto A symbolic framework for multi-faceted security…
Add To MetaCart

A Framework for Specifying and Verifying the Behaviour of Open Systems
by Andrea Bracciali, Antonio Brogi, Franco Turini — 2004
…A framework for specifying and verifying the behaviour of open systems Abstract Andrea Bracciali…
Add To MetaCart

Bisimulation by unification
by Paolo Baldan, Andrea Bracciali, Roberto Bruni — 2002 — Proc. AMAST 2002, LNCS 2422
…Bisimulation by Unification ⋆ Paolo Baldan 1 , Andrea Bracciali 2 , and Roberto Bruni 2 1…
Cited by 10 (6 self) – Add To MetaCart

Symbolic equivalences for open systems
by Paolo Baldan, Andrea Bracciali, Roberto Bruni — 2005 — Proc. GC’04, LNCS 3267
…Symbolic Equivalences for Open Systems ⋆ Paolo Baldan 1 , Andrea Bracciali 2 , and Roberto Bruni 2…
Cited by 2 (2 self) – Add To MetaCart

C.: Systematic component adaptation
by Andrea Bracciali, Antonio Brogi, Carlos Canal — 2002 — Electronic Notes in Theoretical Computer Science. Volume 66., Elsevier (2002
…://www.elsevier.nl/locate/entcs/volume66.html 17 pages Abstract Systematic component adaptation Andrea Bracciali 1 Dipartimento di…
Cited by 3 (0 self) – Add To MetaCart

Dynamically Adapting the Behaviour of Software Components
by Andrea Bracciali, Antonio Brogi, Carlos Canal — 2002 — Proc. 5. Int. Conf. on Coordination Models and Languages, COORDINATION 2002. Springer LNCS 2315
…Dynamically adapting the behaviour of software components Andrea Bracciali 1 , Antonio Brogi 1…
Cited by 8 (1 self) – Add To MetaCart

Adapting components with mismatching behaviours
by Andrea Bracciali, Antonio Brogi, Carlos Canal — 2002 — Proceedings of CD’2002
…Adapting Components with Mismatching Behaviours Andrea Bracciali 1 , Antonio Brogi 1 , and Carlos…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB