Imine Abdessamad

A multi-agent system for collaborative editing in mobile networks and P2P

Mechaoui Moulay Driss, Bendella Fatima, Imine Abdessamad, 2009, 2009 International Conference on Intelligent Agent & Multi-Agent Systems.

Development of Transformation Functions Assisted by a Theorem Prover

Pascal Molli, Michaël Rusinowitch, Gérald Oster, 2002 .