Jean-Luc Koning

According to our database1, Jean-Luc Koning authored at least 33 papers between 1994 and 2012.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
An obligation-based framework for web service composition via agent conversations.
Web Intelligence and Agent Systems, 2012

2009
Obligation-Based Agent Conversations for Semantic Web Service Composition.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence, 2009

Obligations as constrainers, descriptors, and linkers of Open System of Systems.
Proceedings of the 4th IEEE International Conference on System of Systems Engineering, 2009

An Obligation Approach for Exception Handling in Interaction Protocols.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

2008
Vers une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agents.
Ingénierie des Systèmes d'Information, 2008

From Obligations to Organizational Structures in Multi-Agent Systems.
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

2006
Graphically Designing and Formally Checking Self-Organizations for Wireless Network Systems.
ITSSA, 2006

Modeling interaction strategies using POS: An application to soccer robots.
Appl. Intell., 2006

Suitable Properties for Any Electronic Voting System.
Artif. Intell. Law, 2006

2005
A Formal Approach to Model Multiagent Interactions Using the B Formal Method.
Proceedings of the Advanced Distributed Systems: 5th International School and Symposium, 2005

Rules for Translating Interaction Protocols into a B Formal Representation.
Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

2004
State Controlled Execution for Agent-Object Hybrid Languages.
Proceedings of the Advanced Distributed Systems: Third International School and Symposium, 2004

Limitations in AUML's Roles Specification.
Proceedings of the Intelligent Information Processing II, 2004

2003
Formalization, implementation and validation of conversation policies using a protocol operational semantics.
Cognitive Systems Research, 2003

Cognitive agents and multiagent interaction.
Cognitive Systems Research, 2003

Requirement Analysis for Interaction Protocols.
Proceedings of the Multi-Agent Systems and Applications III, 2003

Interaction Protocol Engineering.
Proceedings of the Communication in Multiagent Systems, 2003

Interaction Protocol Design: Application to an Agent-Based Teleteaching Project.
Proceedings of the 2nd IEEE International Conference on Cognitive Informatics (ICCI 2003), 2003

2002
Des règles d'interaction comme modèle de contrôle en univers multi-agent.
Technique et Science Informatiques, 2002

A Review on the Interaction Issues in Agent-Based Marketplaces.
International Journal of Information Technology and Decision Making, 2002

Ingénierie des protocoles d'interaction pour les systèmes multi-agents.
Proceedings of the Systèmes multi-agents et systèmes complexes : ingénierie, résolution de problèmes et simulation - JFSMA 02, 2002

Dynamic Choice of Agent Interaction Protocols.
Proceedings of the Intelligent Information Processing, 2002

Generating Machine Processable Representations of Textual Representations of AUML.
Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002

A Simplified Protocol Operational Semantics for Multiagent Protocols.
Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 2002

2001
Introduction to POS: A Protocol Operational Semantics.
Int. J. Cooperative Inf. Syst., 2001

Extended Modeling Languages for Interaction Protocol Design.
Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

Designing and Testing Negotiation Protocols for Electronic Commerce Applications.
Proceedings of the Agent Mediated Electronic Commerce, The European AgentLink Perspective., 2001

2000
Automata for interaction protocols in multiagent systems.
Proceedings of the IEEE International Conference on Systems, 2000

Compiling a Conversation Policy's Implementation from its Validated Specification Model.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Modeling Soccer-Robots Strategies through Conversation Policies.
Proceedings of the Agent Systems, 2000

A Semi-Formal Specification Language Dedicated to Interaction Protocols.
Proceedings of the Information Modelling and Knowledge Bases XII: Tenth European-Japanese Conference on Information Modelling and Knowledge Bases, 2000

1998
Formalization and Pre-Validation for Interaction Protocols in a Multi Agent Systems.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1994
A decision engine based on rational aggregation of heuristic knowledge.
Decision Support Systems, 1994


  Loading...