Search
Now showing items 11-20 of 160
Issues in Multiagent Resource Allocation
(2006) Article accepté pour publication ou publié
A bi-criteria approach for the data association problem
(2006) Article accepté pour publication ou publié
Modèles temporisés.
(2006) Chapitre d'ouvrage
New Efficient Petri Net Reductions for Parallel Programs Verification.
(2006) Article accepté pour publication ou publié
Degree-constrained decompositions of graphs: bounded treewidth and planarity
(2006) Article accepté pour publication ou publié
De la théorie de la décision à l'aide à la décision
(2006) Chapitre d'ouvrage
On-line Aggregation and Filtering of Pattern-Based Queries.
(2006) Communication / Conférence
Panorama de la vérification.
(2006) Chapitre d'ouvrage
Simulation of vegetal raw materials utilization in poultry production chains: a multi-agent modelling approach.
(2006) Communication / Conférence
Vérification de systèmes probabilisés : méthodes et outils.
(2006) Chapitre d'ouvrage