Showing 1 - 4 results of 4 for search 'Antoine Genitrini', query time: 4.63s Refine Results
  1. 1
    Lexicographic Unranking of Combinations Revisited

    Lexicographic Unranking of Combinations Revisited by Antoine Genitrini, Martin Pépin

    Published 2021-03-01
    Get full text
    Article
  2. 2
    Enumeration and Random Generation of Concurrent Computations

    Enumeration and Random Generation of Concurrent Computations by Olivier Bodini, Antoine Genitrini, Frédéric Peschanski

    Published 2012-01-01
    Get full text
    Article
  3. 3
    On the density and the structure of the Peirce-like formulae

    On the density and the structure of the Peirce-like formulae by Antoine Genitrini, Jakub Kozik, Grzegorz Matecki

    Published 2008-01-01
    Get full text
    Article
  4. 4
    Quantitative and Algorithmic aspects of Barrier Synchronization in Concurrency

    Quantitative and Algorithmic aspects of Barrier Synchronization in Concurrency by OLivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski

    Published 2021-01-01
    Get full text
    Article

Search Tools: