.:. Consultation > Liste par type de document > Documents sans référence de publication .:.

45 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4 - 5

Partial Test Oracle in Model Transformation Testing Finot O., Mottu J.-M., Sunyé G., Attiogbe J. C. [hal-00823231 - version 1] (16/05/2013)

Three Generalizations of the FOCUS Constraint Narodytska N., Petit T., Siala M., Walsh T. [hal-00820894 - version 1] (06/05/2013)

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

Convergent lower bounds for packing problems via restricted dual polytopes Porumbel D. C., Clautiaux F. [hal-00747375 - version 1] (31/10/2012)

Criojo: A Pivot Language for Service-Oriented Computing - The Introspective Chemical Abstract Machine Grall H., Lacouture M. [hal-00676083 - version 2] (2012-03-07)

VBmix : a R package for Variational-Bayes mixture learning Bruneau P. [hal-00567289 - version 3] (04/11/2012)

Vers des outils robustes et interopérables pour le TAL : la piste UIMA Poulard F., Moreau E., AUDIBERT L. [hal-00649006 - version 2] (09/12/2011)

How do you compute the midpoint of an interval? Goualard F. [hal-00576641 - version 1] (15/03/2011)

Views, Program Transformations, and the Evolutivity Problem in a Functional Language Cohen J., Douence R. [hal-00481941 - version 2] (28/01/2011)

Proving Fixed Points Grall H. [hal-00507775 - version 1] (31/07/2010)