Accueil du site > Présentation > Loddo Jean-Vincent

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

Voir en ligne : Page Pro

360 Messages de forum

Répondre à cet article

Site propulsé par l'Atelier du code et du data, chantier d'insertion numérique
  • Présentation
    • Partenaires
    • Membres
    • Positionnement
  • Réunions
    • Réunion de lancement
    • WORKSHOP#1
    • WORKSHOP#2
    • WORKSHOP#3
    • WORKSHOP#4
    • WORKSHOP#5
    • WORKSHOP#6
    • Journée "Musique, dialogue, interaction"
    • The logic of the lexicon
    • LUDICS AND PHILOSOPHY
  • Rapports
  • Axes de travail
    • Lexique
    • Apprentissage
    • Pragmatique
    • Web et ontologie
    • Théorie
  • Contact
    • cliquez sur Contacts (au dessus)
  • Séminaire
    • Séminaire LOCI 06/2013
    • Séminaire LOCI - 07/2013
    • Séminaire LOCI - 09/2013
    • Séminaire LOCI - 10/2013
    • Séminaire LOCI - 11/2013
    • Séminaire LOCI - 01/2014
    • Séminaire LOCI - 02/2014
    • Séminaire LOCI - 04/2014