Changes between Version 44 and Version 45 of WikiStart


Ignore:
Timestamp:
Feb 12, 2014, 12:12:36 PM (4 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v44 v45  
    3535=== Conferences / Colloques === 
    3636 
     37* Frédéric Dabrowski, Frédéric Loulergue, and Thomas Pinsard. Nested Atomic Sections with Thread Escape: A Formal Definition. In ACM Symposium on Applied Computing (SAC), Gyeongju, Corée, ACM Press, 2014, à paraître 
     38* 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. 
    3739* 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. 
    3840* 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.