s'authentifier
version française rss feed


Zoom sur...

Dépôt unique : ProdInra et HAL connectés


Lors du dépôt dans ProdInra, vous pouvez cocher la case "Export vers HAL", l'envoi sera alors automatique dès que votre dépôt sera validé. Cette intéropérabilité fonctionne depuis le 30 janvier 2014.
Consultez ProdInra

Consultez les derniers dépôts

Dernières publications avec texte intégral des équipes Inria du domaine des sciences informatiques et mathématiques.

Titre
Product Line-based customization of e-Government documents
Auteurs
M. Carmen Penadés; Pau Martí; José H. Canós; Abel Gómez
Détail
Nikolaos Loutas, Fedelucio Narducci, Adegboyega Ojo, Matteo Palmonari, Cécile Paris, Giovanni Semeraro. PEGOV 2014: Personalization in e-Government Services, Data and Applications, Jul 2014, Aalborg, Denmark. CEUR-WS, UMAP 2014 Extended Proceedings, 1181
Accès au texte intégral et bibtex
pegov2014_paper_04.pdf BibTex
Titre
Clustering de données relationnelles pour la structuration de flux télévisuels
Auteurs
Vincent Claveau; Patrick Gros
Détail
14 ème conférence Extraction et Gestion des Connaissances, EGC 2014, Jan 2014, Rennes, France. Actes de la 14 ème conférence Extraction et Gestion des Connaissances, EGC 2014, 6 p.
Accès au texte intégral et bibtex
Claveau_Gros_EGC14.pdf BibTex
Titre
Parameterized Communicating Automata: Complementation and Model Checking
Auteurs
Benedikt Bollig url; Paul Gastin; Akshay Kumar
Détail
[Report], 2014
Accès au texte intégral et bibtex
complementation.pdf BibTex
Titre
A Language-Independent Proof System for Mutual Program Equivalence
Auteurs
Ştefan Ciobâcǎ; Dorel Lucanu; Vlad Rusu; Grigore Rosu
Détail
ICFEM'14 - 16th International Conference on Formal Engineering Methods, Nov 2014, Luxembourg-Ville, Luxembourg. Springer, LNCS (to appear)
Accès au texte intégral et bibtex
submission.pdf BibTex
Titre
Control of interbank contagion under partial information
Auteurs
Hamed Amin; Andreea Minca url; Agnès Sulem
Détail
Jul. 2014
Accès au texte intégral et bibtex
OptimalControlPartialInformationJuly21.pdf BibTex
  S'authentifier
Identifiant
Mot de passe
s'inscrireretrouver son mot de passe
  Contact

  Actualités
Créez votre page web à partir de HAL (16/04/2013)
Ajout de vignette, vidéo ou annexe (23/05/2012)
Export XML (13/03/2012)
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...