.:. Browse > Document list .:.

2350 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Univalence for free Sozeau M., Tabareau N. [hal-00786589 - version 3] (21/03/2013)

Anti-Unification with Type Classes Tabareau N., Tanter E., Figueroa I. Journées Francophones des Langages Applicatifs (JFLA), France (2013) [hal-00765862 - version 1]

Maximisation du rayon de stabilité pour l'affectation d'opérations de durée incertaine sur une ligne d'assemblage Rossi A., Gurevsky E., Battaïa O., Dolgui A. Dans Quatorzième congrès annuel de la Société Française de recherche Opérationnelle et d'Aide à la Décision (ROADEF 2013) - Quatorzième congrès annuel de la Société Française de recherche Opérationnelle et d'Aide à la Décision (ROADEF 2013), France (2013) [emse-00796779 - version 1]

SDMC : un outil en ligne d'extraction de motifs séquentiels pour la fouille de textes Béchet N., Cellier P., Charnois T., Crémilleux B., Quiniou S. Dans Actes de la Conférence Francophone sur l'Extraction et la Gestion des Connaissances (EGC'13) - Conférence Francophone sur l'Extraction et la Gestion des Connaissances (EGC'13), France (2013) [hal-00817074 - version 1]

A constraint solver based on abstract domains Pelleau M., Miné A., Truchet C., Benhamou F. In Proceedings of The 14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'13) - VMCAI'13 - 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Italy (2013) [hal-00748096 - version 1]

TTC Web Platform: from Corpus Compilation to Bilingual Terminologies for MT and CAT Tools Blancafort H., Bouvier F., Daille B., Heid U., Ramm A. in Proceedings, Conference "Futures in technologies for translation (TRALOGY II)" - Conference "Futures in technologies for translation (TRALOGY II)", France (2013) [hal-00820331 - version 1]

SLA et qualité de service pour le Cloud Computing Kouki Y., Ledoux T., Serrano D., Bouchenak S., Lejeune J., Arantes L., Sopena J., Sens P. Dans Conférence d'informatique en Parallélisme, Architecture et Système, ComPAS 2013 - Conférence d'informatique en Parallélisme, Architecture et Système, ComPAS 2013, France (2013) [hal-00764951 - version 1]

Scenario realizability with constraint optimization Abdallah R., Gotlieb A., Hélouët L., Jard C. Rapport de recherche (2013) [hal-00769656 - version 1]

Modular and Flexible Causality Control on the Web Leger P., Tanter E., Douence R. Science of Computer Programming (2013) [hal-00755127 - version 1]

Antagonistic interactions between heterotrophic bacteria as a potential regulator of community structure of hypersaline microbial mats. Long R. A., Eveillard D., Franco S. L. M., Reeves E., Pinckney J. L. FEMS Microbiology Ecology 83, 1 (2013) 74-81 [hal-00752749 - version 1]