Nombre de documents

8

CV de Carine Pivoteau


Article dans une revue2 documents

  • Frédérique Bassino, Mathilde Bouvel, Adeline Pierrot, Carine Pivoteau, Dominique Rossin. Combinatorial specification of permutation classes. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2017, DMTCS Proceedings vol. AR, 24th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2012), pp.781 - 792. <hal-00685023>
  • Carine Pivoteau, Bruno Salvy, Michele Soria. Algorithms for combinatorial structures: Well-founded systems and Newton iterations.. Journal of Combinatorial Theory, Series A, Elsevier, 2012, 119 (8), pp.1711-1773. <10.1016/j.jcta.2012.05.007>. <inria-00622853>

Communication dans un congrès4 documents

  • Nicolas Auger, Cyril Nicaud, Carine Pivoteau. Good predictions are worth a few comparisons. STACS 2016, Feb 2016, Orléans, France. Leibniz International Proceedings in Informatics (LIPIcs), 47, pp.12:1-12:14, <10.4230/LIPIcs.STACS.2016.12>. <hal-01212840>
  • Cyril Nicaud, Carine Pivoteau, Benoît Razet. Average Analysis of Glushkov Automata under a BST-Like Model. 30th Foundations of Software Technology and Theoretical Computer Science (FSTTCS'10), 2010, India. Schloss Dagstuhl, 8, pp.388-399, 2010, LIPIcs. <hal-00620382>
  • Carine Pivoteau, Bruno Salvy, Michèle Soria. Boltzmann Oracle for Combinatorial Systems. Fifth Colloquium on Mathematics and Computer Science, Sep 2008, Blaubeuren, Germany. Discrete Mathematics & Theoretical Computer Science, AI, pp.475-488, 2008, DMTCS Proceedings. <hal-00346845v2>
  • Philippe Flajolet, Eric Fusy, Carine Pivoteau. Boltzmann Sampling of Unlabelled Structures. Workshop on Analytic Algorithmics and Combinatorics, Jan 2007, New Orleans, United States. pp.201-211, 2007. <hal-00782866>

Pré-publication, Document de travail2 documents

  • Nicolas Auger, Cyril Nicaud, Carine Pivoteau. Merge Strategies: from Merge Sort to TimSort. 2015. <hal-01212839v2>
  • Frédérique Bassino, Mathilde Bouvel, Adeline Pierrot, Carine Pivoteau, Dominique Rossin. An algorithm computing combinatorial specifications of permutation classes. 2015. <hal-01175234>