Loddo Jean-Vincent

Maître de conférences :

• IUT de Villetaneuse - Département R&T
• Laboratoire d’Informatique de Paris Nord (LIPN) - Équipe LCR
• Université Paris Nord (Paris 13)

Docteur en informatique de l’Université Paris 7 (ancien thésard de PPS et du LIENS).

Laurea in scienze dell’informazione de l’Université de Pise.

Publications

* J.-V. Loddo, L. Saiu. How to Correctly Prune Tropical Trees. In proceedings of the 10th International Conference on Artificial Intelligence and Symbolic Computation (AISC’2010). France 2010. pdf

* J.-V. Loddo, L. Saiu. Marionnet : a virtual network laboratory and simulation tool. 1th International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SimulationWorks’2010). Marseille, France, 2008. pdf

* P. Coupey, C. Fouqueré, J.-V. Loddo. Tree Components Programming : An Application to XML. In proceedings of the 4th International Colloquium of Theoretical Aspects of Computing (ICTAC’2007). Macau, China, 2007. pdf

* J.-V. Loddo, L. Saiu. Status report : marionnet or "how to implement a virtual network laboratory in six months and be happy". ACM SIGPLAN Workshop on ML (ML’2007), Freiburg (Germany), 2007. pdf

* R. Di Cosmo, J.-V. Loddo. Playing Logic Programs with the Alpha-Beta Algorithm. In proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR’2000). St. Gilles, Ile de la Réunion, France 2000. ps.gz

* R. Di Cosmo, J.-V. Loddo and S. Nicolet. A Game Semantics Foundation for Logic Programming. In proceedings of the 6th International Conference on Algebraic and Logic Programming (PLIP 98). Pisa, Italy 1998, LNCS, Springer-Verlag. ps.gz (short), ps.gz (long)

* P. Degano, J.-V. Loddo and C. Priami. Mobile Processes with Local Clocks. In Proceedings of Workshop on Analysis and Verification of Multiple-Agent Languages, Stockholm 1996. ps.gz