| 2007 |
|---|
| 18 | EE | Nabil Hameurlain:
Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS.
CEEMAS 2007: 153-162 |
| 17 | EE | Nabil Hameurlain:
Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS.
ESAW 2007: 193-207 |
| 16 | EE | Nabil Hameurlain:
Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification.
SEFM 2007: 391-400 |
| 2006 |
|---|
| 15 | EE | Leila Amgoud,
Nabil Hameurlain:
A formal model for designing dialogue strategies.
AAMAS 2006: 414-416 |
| 14 | EE | Nabil Hameurlain:
A Formal Framework for Component Pr otocols Behavioural Compatibility.
APSEC 2006: 87-94 |
| 13 | EE | Leila Amgoud,
Nabil Hameurlain:
An Argumentation-Based Approach for Dialog Move Selection.
ArgMAS 2006: 128-141 |
| 12 | | Leila Amgoud,
Nabil Hameurlain:
An Argumentation-Based Framework for Designing Dialogue Strategies.
ECAI 2006: 713-714 |
| 11 | EE | Leila Amgoud,
Nabil Hameurlain:
An Argumentation-based Approach for Dialog Move Selection.
EUMAS 2006 |
| 2005 |
|---|
| 10 | EE | Nabil Hameurlain:
Formalizing Compatibility and Substitutability of Rolebased Interactions Components in Multi-agent Systems.
CEEMAS 2005: 153-162 |
| 9 | EE | Nabil Hameurlain:
On Compatibility and Behavioural Substitutability of Component Protocols.
SEFM 2005: 394-403 |
| 2004 |
|---|
| 8 | EE | Christophe Sibertin-Blanc,
Nabil Hameurlain:
Participation Components for Holding Roles in Multiagent Systems Protocols.
ESAW 2004: 60-73 |
| 7 | EE | Nabil Hameurlain,
Christophe Sibertin-Blanc:
Specification of Role-Based Interactions Components in Multi-agent Systems.
SELMAS 2004: 180-197 |
| 2003 |
|---|
| 6 | EE | Nabil Hameurlain:
Refinement of Open Protocols for Modelling and Analysis of Complex Interactions in Multi-agent Systems.
CEEMAS 2003: 423-434 |
| 2002 |
|---|
| 5 | | Nabil Hameurlain:
Behavioural Subtyping and Property Preservation for Active Objects.
FMOODS 2002: 95-110 |
| 2001 |
|---|
| 4 | EE | Nabil Hameurlain:
Formal Semantics for Behavioural Substitutability of Agent Components: Application to Interaction Protocols.
CEEMAS 2001: 131-140 |
| 1999 |
|---|
| 3 | EE | Chihab Hanachi,
Nabil Hameurlain,
Christophe Sibertin-Blanc:
Mobile Agents Behaviours: From Declarative Specifications to Implementation.
CIA 1999: 196-207 |
| 2 | | Nabil Hameurlain,
Christophe Sibertin-Blanc:
Behavioural Types in CoOperative Objects.
ECOOP Workshops 1999: 320-321 |
| 1997 |
|---|
| 1 | EE | Nabil Hameurlain,
Christophe Sibertin-Blanc:
Finite Symbolic Reachability Graphs for High-Level Petri Nets.
APSEC 1997: 150-159 |
