Changes between Version 31 and Version 32 of WikiStart


Ignore:
Timestamp:
Jan 9, 2013, 3:51:51 PM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v31 v32  
    3434=== Conferences / Colloques === 
    3535 
     36* Y. Boichut, B. Boyer, T. Genet, and A. Legay. [http://dx.doi.org/10.1007/978-3-642-34281-3_22 Equational Abstraction Refinement for Certified Tree Regular Model Checking]. In ICFEM, number 7635 in LNCS, pages 299-315. Springer, 2012. 
    3637* Nicolas Dugué, Anthony Perez, Les capitalistes sociaux sur Twitter : détection via des mesures de similarité, EGC'2013, "Revue des Nouvelles Technologies de l'Information", Hermann, to appear 
    3738* Nicolas Dugué, Anthony Perez, Les capitalistes sociaux sur Twitter : détection via mesures de similarité, 3ième Journée thématique : Fouille de grands graphes, Villetaneuse, octobre 2012