Changes between Version 47 and Version 48 of WikiStart


Ignore:
Timestamp:
Sep 2, 2014, 6:46:45 AM (4 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v47 v48  
    3939* Frédéric Loulergue, Virginia Niculescu, and Simon Robillard. [http://dx.doi.org/10.1109/CANDAR.2013.17 Powerlists in Coq: Programming and Reasoning]. In First International Symposium on Computing and Networking (CANDAR). IEEE Computer Society, 2013. 
    4040* Nicolas Dugué, Anthony Perez, [http://link.springer.com/chapter/10.1007/978-3-642-36844-8_1 Detecting social capitalists on Twitter using similarity measures]. In Complex Networks IV, SCI 476, pages 1-12, Springer, 2013. 
    41 * 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", [http://www.editions-hermann.fr/ficheproduit.php?lang=fr&menu=11&prodid=1376 RNTI-E-24], pages 329-334, Hermann, 2013. 
     41* Nicolas Dugué, Anthony Perez, [http://editions-rnti.fr/?inprocid=1001852 Les capitalistes sociaux sur Twitter : détection via des mesures de similarité]. EGC'2013, "Revue des Nouvelles Technologies de l'Information", [http://www.editions-hermann.fr/ficheproduit.php?lang=fr&menu=11&prodid=1376 RNTI-E-24], pages 329-334, Hermann, 2013. 
    4242* 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. 
    43 * 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 
     43* Nicolas Dugué, Anthony Perez, [http://lipn.univ-paris13.fr/marami12/actes/dugue.pdf Les capitalistes sociaux sur Twitter : détection via mesures de similarité], 3ième Journée thématique : Fouille de grands graphes, Villetaneuse, octobre 2012 
    4444* Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, and Matthieu Lemerre. [http://dx.doi.org/10.1109/HPCSim.2012.6266896 Towards Verified Cloud Computing Environments]. In International Conference on High Performance Computing and Simulation (HPCS). pages 91-97, IEEE, 2012 
    4545