| 2008 |
|---|
| 24 | EE | J. Octavio Gutiérrez-García,
Jean-Luc Koning,
Félix F. Ramos Corchado:
From Obligations to Organizational Structures in Multi-Agent Systems.
PRIMA 2008: 206-213 |
| 23 | EE | Hind Fadil,
Jean-Luc Koning:
Vers une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agents.
Ingénierie des Systèmes d'Information 13(2): 33-52 (2008) |
| 2006 |
|---|
| 22 | EE | Jean-Luc Koning,
Pierre-Yves Oudeyer:
Modeling interaction strategies using POS: An application to soccer robots.
Appl. Intell. 25(1): 7-21 (2006) |
| 21 | EE | Jean-Luc Koning,
Didier Dubois:
Suitable Properties for Any Electronic Voting System.
Artif. Intell. Law 14(4): 251-260 (2006) |
| 20 | | Hind Fadil,
Jean-Luc Koning,
Félix F. Ramos,
Jean-Paul Jamont,
Michel Occello:
Graphically Designing and Formally Checking Self-Organizations for Wireless Network Systems.
ITSSA 2(3): 297-302 (2006) |
| 2005 |
|---|
| 19 | EE | Hind Fadil,
Jean-Luc Koning:
Rules for Translating Interaction Protocols into a B Formal Representation.
IAT 2005: 495-498 |
| 18 | EE | Hind Fadil,
Jean-Luc Koning:
A Formal Approach to Model Multiagent Interactions Using the B Formal Method.
ISSADS 2005: 516-528 |
| 2004 |
|---|
| 17 | EE | Ivan Romero-Hernandez,
Jean-Luc Koning:
State Controlled Execution for Agent-Object Hybrid Languages.
ISSADS 2004: 78-90 |
| 16 | EE | Jean-Luc Koning,
Ivan Romero-Hernandez:
Limitations in AUML's Roles Specification.
Intelligent Information Processing 2004: 79-82 |
| 2003 |
|---|
| 15 | EE | Marc-Philippe Huget,
Jean-Luc Koning:
Requirement Analysis for Interaction Protocols.
CEEMAS 2003: 404-412 |
| 14 | EE | Marc-Philippe Huget,
Jean-Luc Koning:
Interaction Protocol Engineering.
Communication in Multiagent Systems 2003: 179-193 |
| 13 | EE | Jean-Luc Koning,
Marc-Philippe Huget:
Interaction Protocol Design: Application to an Agent-Based Teleteaching Project.
IEEE ICCI 2003: 171-178 |
| 2002 |
|---|
| 12 | EE | Jean-Luc Koning,
Ivan Romero-Hernandez:
Generating Machine Processable Representations of Textual Representations of AUML.
AOSE 2002: 126-137 |
| 11 | EE | Jean-Luc Koning:
A Simplified Protocol Operational Semantics for Multiagent Protocols.
IEEE ICCI 2002: 175-181 |
| 10 | | Jean-Luc Koning:
Dynamic Choice of Agent Interaction Protocols.
Intelligent Information Processing 2002: 167-176 |
| 9 | EE | Jean-Luc Koning:
A Review on the Interaction Issues in Agent-Based Marketplaces.
International Journal of Information Technology and Decision Making 1(3): 457-472 (2002) |
| 8 | EE | Jean-Luc Koning:
Des règles d'interaction comme modèle de contrôle en univers multi-agent.
Technique et Science Informatiques 21(4): 561-563 (2002) |
| 2001 |
|---|
| 7 | EE | Jean-Luc Koning,
Marc-Philippe Huget,
Jun Wei,
Xu Wang:
Extended Modeling Languages for Interaction Protocol Design.
AOSE 2001: 68-83 |
| 6 | EE | Jean-Luc Koning:
Designing and Testing Negotiation Protocols for Electronic Commerce Applications.
AgentLink 2001: 34-60 |
| 5 | EE | Jean-Luc Koning,
Pierre-Yves Oudeyer:
Introduction to POS: A Protocol Operational Semantics.
Int. J. Cooperative Inf. Syst. 10(1-2): 101-123 (2001) |
| 2000 |
|---|
| 4 | | Pierre-Yves Oudeyer,
Jean-Luc Koning:
Modeling Soccer-Robots Strategies through Conversation Policies.
ASA/MA 2000: 249-261 |
| 3 | | Jean-Luc Koning,
Marc-Philippe Huget:
A Semi-Formal Specification Language Dedicated to Interaction Protocols.
EJC 2000: 375-392 |
| 2 | | Jean-Luc Koning:
Compiling a Conversation Policy's Implementation from its Validated Specification Model.
PDPTA 2000 |
| 1998 |
|---|
| 1 | | Jean-Luc Koning,
G. Francois,
Yves Demazeau:
Formalization and Pre-Validation for Interaction Protocols in a Multi Agent Systems.
ECAI 1998: 298-307 |
