Searching for authors named "Marco Carbone" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
On the Expressive Power of Polyadic Synchronisation in π-Calculus
- … Marco Carbone BRICS y University of Aarhus, Department of Computer Science Ny Munkegade, building 540…
- Cited by 13 (0 self) – Add To MetaCart
-
Games: On Rules and Representations
- …Games: On Rules and Representations Marco Carbone Division of Engineering and Applied Sciences…
- Add To MetaCart
-
Application of Bayesian Networks to Solve the Game of 301
- …Application of Bayesian Networks to Solve the Game of 301 Marco Carbone Division of Engineering…
- Add To MetaCart
-
A Formal Model for Trust in Dynamic Networks
- …A Formal Model for Trust in Dynamic Networks Marco Carbone 1 , Mogens Nielsen 1 , Vladimiro…
- Add To MetaCart
-
Unifying Annotated Discourse Hierarchies to Create a Gold Standard
- …Unifying Annotated Discourse Hierarchies to Create a Gold Standard Marco Carbone, Ya’akov Gal…
- Add To MetaCart
-
Implementing a Resource-Bounded Rational Agent with an Intentional Model
- …Implementing a Resource-Bounded Rational Agent with an Intentional Model Marco Carbone mcarbone…
- Add To MetaCart
-
A Calculus of Global Interaction Based on Session Types
- …Abstract DCM 2006 A Calculus of Global Interaction based on Session Types 1 Marco Carbone 2…
- Cited by 10 (4 self) – Add To MetaCart
-
A Calculus for Trust Management
- …A Calculus for Trust Management Marco Carbone 1 , Mogens Nielsen 1 , Vladimiro Sassone 2 1 BRICS…
- Cited by 7 (7 self) – Add To MetaCart
-
Process Algebra-Guided Design of Java Mobile Network Applications.
- …Process Algebra{Guided Design of Java Mobile Network Applications. (Position Paper) Marco Carbone…
- Cited by 5 (3 self) – Add To MetaCart
-
Structured Communication-Centred Programming for Web Services
- …Structured Communication-Centred Programming for Web Services Marco Carbone 1 , Kohei Honda 2…
- Cited by 33 (12 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
