.:. Browse > Document list .:.

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

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

Summarized Explanations from Linked Justifications Hasan R., Gandon F. N° RR-8279 (2013) [hal-00808037 - version 1]

The Stability of Delaunay Triangulations Boissonnat J.-D., Dyer R., Ghosh A. N° RR-8276 (2013) [hal-00807050 - version 1]

Discovering Concrete Attacks on Website Authorization by Formal Analysis Bansal C., Bhargavan K., Delignat-Lavaud A., Maffeis S. N° RR-8287 (2013) [hal-00815834 - version 1]

Embedding of Security Components in Untrusted Third-Party Websites Delignat-Lavaud A., Bhargavan K., Maffeis S. N° RR-8285 (2013) [hal-00815800 - version 1]

Gaussian Mixture Regression model with logistic weights, a penalized maximum likelihood approach Montuelle L., Le Pennec E., Cohen S. N° RR-8281 (2013) [hal-00809735 - version 1]

Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program Boldo S., Clement F., Filliâtre J.-C., Mayero M., Melquiond G., Weis P. Journal of Automated Reasoning 50, 4 (2013) 423-456 [hal-00649240 - version 3]

Task-based FMM for multicore architectures Agullo E., Bramas B., Coulaud O., Darve E., Messner M., Takahashi T. N° RR-8277 (2013) [hal-00807368 - version 1]

Constructing Stable Delaunay Triangulations Boissonnat J.-D., Dyer R., Ghosh A. N° RR-8275 (2013) [hal-00806107 - version 1]

The Unit Graphs Mathematical Framework Lefrançois M., Gandon F. N° RR-8212 (2013) [hal-00780805 - version 2]

Constructing Intrinsic Delaunay Triangulations of Submanifolds Boissonnat J.-D., Dyer R., Ghosh A. N° RR-8273 (2013) [hal-00804878 - version 1]