.:. Browse > List by year > 2012 .:.

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

... 3 - 4 - 5 - 6 - 7 - 8 - 9 ...

List circular backbone colouring Havet F., King A. D. N° RR-8159 (2012) [hal-00759527 - version 1]

(Circular) backbone colouring: tree backbones in planar graphs Havet F., King A. D., Liedloff M., Todinca I. N° RR-8152 (2012) [hal-00759044 - version 1]

Revisiting Value Prediction Perais A., Seznec A. N° RR-8155 (2012) [hal-00758713 - version 1]

Backbone colouring: tree backbones with small diameter in planar graphs Campos V., Havet F., Sampaio R., Silva A. N° RR-8151 (2012) [hal-00758548 - version 1]

XQTC: A Static Type-Checker for XQuery Using Backward Type Inference Genevès P., Layaïda N., Vanoirbeek C. N° RR-8149 (2012) [hal-00757867 - version 1]

Bayesian nonparametric Plackett-Luce models for the analysis of clustered ranked data Caron F., Teh Y. W., Murphy T. B. N° RR-8143 (2012) [hal-00755478 - version 1]

Automatic Decidability for Theories Modulo Integer Offsets Tushkanova E., Ringeissen C., Giorgetti A., Kouchnarenko O. N° RR-8139 (2012) [hal-00753896 - version 1]

Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs Schrammel P., Jeannet B. N° RR-7630 (2012) [inria-00596241 - version 2]

Non regression testing for the JOREK code Latu G., Becoulet M., Dif-Pradalier G., Grandgirard V., Hoelzl M., Huysmans G., Lacoste X., Nardon E., Orain F., Passeron C. et al N° RR-8134 (2012) [hal-00752270 - version 1]

A Benchmark for Semantic Web Query Containment, Equivalence and Satisfiability Chekol M. W., Euzenat J., Genevès P., Layaïda N. N° RR-8128 (2012) [hal-00749286 - version 2]