Changes between Version 32 and Version 33 of WikiStart


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

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v32 v33  
    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. 
     36* Yohan Boichut, Benoît Boyer, Thomas Genet, and Axel 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. 
    3737* 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 
    3838* 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