170 results  save search


hal-01350312v1  Journal articles
Laurent ViennotOdile Lausecker. Les réseaux de pair à pair
Interstices, INRIA, 2005
hal-01955233v1  Journal articles
Michel HabibLhouari Nourine. Representation of lattices via set-colored posets
Discrete Applied Mathematics, Elsevier, 2018, 249, pp.64-73. ⟨10.1016/j.dam.2018.03.068⟩
hal-02433478v1  Journal articles
Pierre FraigniaudBoaz Patt-ShamirMor Perry. Randomized proof-labeling schemes
Distributed Computing, Springer Verlag, 2019, 32 (3), pp.217-234. ⟨10.1007/s00446-018-0340-8⟩
...
hal-01430372v1  Journal articles
Ofer FeinermanAmos Korman. The ANTS problem
Distributed Computing, Springer Verlag, 2017, ⟨10.1007/s00446-016-0285-8⟩
hal-02433482v1  Journal articles
Pierre FraigniaudEmanuele Natale. Noisy rumor spreading and plurality consensus
Distributed Computing, Springer Verlag, 2019, 32 (4), pp.257-276. ⟨10.1007/s00446-018-0335-5⟩
hal-01269895v1  Journal articles
Marcos AguileraCarole Delporte-GalletHugues FauconnierSam Toueg. Partial synchrony based on set timeliness
Distributed Computing, Springer Verlag, 2012, 25 (3), pp.249-260
hal-01352610v1  Journal articles
Nicolas DerocheMathieu Giraud. Symbiologik : jouez avec les gènes
Interstices, INRIA, 2006
hal-01350349v1  Journal articles
Laurent Viennot. Autour des graphes et du routage
Interstices, INRIA, 2006
hal-01350409v1  Journal articles
Laurent Viennot. Les réseaux ont la fibre de l’information
Interstices, INRIA, 2009
...
hal-00354043v1  Journal articles
Denis BéchetRoberto BonatoAlexandre DikovskyAnnie ForetYannick Le Nir et al.  Modèles algorithmiques de l'acquisition de la syntaxe : concepts et méthodes, résultats et problèmes
Recherches linguistiques de Vincennes, Presses Universitaires de Vincennes, 2007, 36, pp.123--152
hal-00804166v1  Journal articles
Samir AmirIoan Marius BilascoChaabane Djeraba. MuMIe: Multi-level Metadata Mapping System
Journal of Multimedia, Academy Publisher, 2011, 6 (3), pp.225-235
...
hal-01355122v1  Journal articles
Valérie Viet Triem TongJean-François LalandeMourad Leslous. Challenges in Android Malware Analysis
ERCIM News, ERCIM, 2016, Special Theme: Cybersecurity, pp.42-43
...
hal-01673378v1  Journal articles
Daniel de Rauglaudre. Formal Proof of Banach-Tarski Paradox
Journal of Formalized Reasoning, ASDD-AlmaDL, 2017, 10 (1), pp.37-49. ⟨10.6092/issn.1972-5787/6927⟩
...
inria-00522937v2  Journal articles
Ioan Ovidiu HupcaJoel FalcouLaura GrigoriR. Stompor. Spherical harmonic transform with GPUs
Workshop on High Performance Scientific Software, LNCS, 2011, pp.20
inria-00560621v1  Journal articles
Alain DeniseMarie-Claude GaudelSandrine-Dominique GouraudRichard LassaigneJohan Oudinet et al.  Coverage-biased random exploration of large models and application to testing
Software Tools for Technology Transfer (STTT), Springer, 2012, 14 (1), pp.73-93
...
hal-01107721v1  Journal articles
Mathieu GiraudMarc Rigaudière. Algorithmes pour l’analyse de la musique tonale
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2014, Informatique musicale, 33 (7-8), pp.567-586. ⟨10.3166/tsi.33.567-586 ⟩
...
hal-01964764v1  Journal articles
Alkida BalliuGianlorenzo D 'AngeloPierre FraigniaudDennis Olivetti. What Can Be Verified Locally?
Journal of Computer and System Sciences, Elsevier, 2018
...
hal-01662127v1  Journal articles
Maxime Lucas. Cubical (ω,p)-categories
Higher Structures, Michael Batanin, 2018