Skip to Main content Skip to Navigation


hal-01350203v1  Journal articles
Jean-Paul Delahaye. Du rêve à la réalité des preuves
Interstices, INRIA, 2012
hal-01350217v1  Journal articles
Bruno SalvyJoanna Jongwane. À propos du calcul formel
Interstices, INRIA, 2010
hal-01350364v1  Journal articles
Jean-Paul Delahaye. Calculer dans un monde hyperbolique ?
Interstices, INRIA, 2007
hal-01350411v1  Journal articles
Thierry Viéville. Algorithmes, mode d’emploi
Interstices, INRIA, 2009
...
hal-01351970v2  Journal articles
Mohamadou Lamine DioufSophie Pinchinat. Complexité de l'algorithme de l'opacité dans les systèmes Workflows centrés sur les documents
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2016, Volume 25 - 2016 - Special issue CNRIA 2015
...
dumas-00725210v1  Master thesis
Matthieu Perrin. Algorithmes efficaces de recherche pour une machine chimique pair-à-pair
Calcul parallèle, distribué et partagé [cs.DC]. 2012
...
tel-00732919v1  Theses
Julio Araujo. Graph Coloring and Graph Convexity
Computational Complexity [cs.CC]. Université Nice Sophia Antipolis, 2012. English
halshs-00821521v1  Journal articles
Laurent JégouJean-Philippe Deblonde. Vers une visualisation de la complexité de l'image cartographique
Cybergeo : Revue européenne de géographie / European journal of geography, UMR 8504 Géographie-cités, 2012, 34 p
...
tel-00832312v1  Theses
Monique Teillaud. Vers des algorithmes dynamiques randomisés en géométrie algorithmique
Géométrie algorithmique [cs.CG]. Université Paris Sud - Paris XI, 1991. Français
...
tel-00012133v1  Theses
Hélène Renard. Equilibrage de charge et redistribution de données sur plates-formes hétérogènes
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2005. Français
hal-01350433v1  Journal articles
Rémi Coulom. Le jeu de go et la révolution de Monte Carlo
Interstices, INRIA, 2009
...
tel-03028074v1  Theses
Momar Sakho. Certain Query Answering on Hyperstreams
Computational Complexity [cs.CC]. Université de Lille; Inria, 2020. English
...
tel-01751160v2  Theses
Hugo Férée. Complexité d'ordre supérieur et analyse récursive
Complexité [cs.CC]. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0173⟩
...
tel-01089130v1  Theses
Pierre Lairez. Périodes d'intégrales rationnelles : algorithmes et applications
Calcul formel [cs.SC]. École polytechnique, 2014. Français
...
tel-00656766v1  Habilitation à diriger des recherches
Guillaume Bonfante. Complexité implicite des calculs : interprétation de programmes
Complexité [cs.CC]. Institut National Polytechnique de Lorraine - INPL, 2011
...
tel-00607288v1  Habilitation à diriger des recherches
Ammar Oulamara. Contribution à l'étude des problèmes d'ordonnancement flowshop avec contraintes supplémentaires : Complexité et méthodes de résolution
Informatique [cs]. Institut National Polytechnique de Lorraine - INPL, 2009
...
tel-00905137v1  Theses
Laurent Lyaudet. Graphes et hypergraphes : complexités algorithmique et algébrique
Complexité [cs.CC]. Ecole normale supérieure de lyon - ENS LYON, 2007. Français
...
hal-02796730v1  Conference papers
Frédéric HavetDorian MazauricViet-Ha NguyenRémi Watrigant. Overlaying a hypergraph with a graph with bounded maximum degree
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
...
ensl-00431714v1  Reports
Bruno Grenet. Difficulté du résultant et des grands déterminants
[Rapport de recherche] RRLIP2009-32, Laboratoire de l'Informatique du Parallélisme. 2009