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

Volltext

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

Volltext

A quantitative study of fork-join processes with non-deterministic choice: Application to the statistical exploration of the state-space von Genitrini, Antoine, Pépin, Martin, Peschanski, Frédéric

Volltext

Strict monotonic trees arising from evolutionary processes: Combinatorial and probabilistic study von Bodini, Olivier, Genitrini, Antoine, Mailler, Cécile, Naima, Mehdi

Volltext

On the number of increasing trees with label repetitions von Bodini, Olivier, Genitrini, Antoine, Gittenberger, Bernhard, Wagner, Stephan

Volltext

Asymptotic enumeration of compacted binary trees of bounded right height von Genitrini, Antoine, Gittenberger, Bernhard, Kauers, Manuel, Wallner, Michael

Volltext

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

Volltext

Compaction for two models of logarithmic‐depth trees: Analysis and experiments von Bodini, Olivier, Genitrini, Antoine, Gittenberger, Bernhard, Larcher, Isabella, Naima, Mehdi

Volltext

Unlabelled ordered DAGs and labelled DAGs: constructive enumeration and uniform random sampling von Genitrini, Antoine, Pépin, Martin, Viola, Alfredo

Volltext

Generalised and Quotient Models for Random And/Or Trees and Application to Satisfiability von Genitrini, Antoine, Mailler, Cécile

Volltext

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

Volltext

In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid von Genitrini, Antoine, Kozik, Jakub

Volltext

Binary Decision Diagrams: From Tree Compaction to Sampling von Clément, Julien, Genitrini, Antoine

Volltext

Associative and commutative tree representations for Boolean functions von Genitrini, Antoine, Gittenberger, Bernhard, Kraus, Veronika, Mailler, Cécile

Volltext

Extended boxed product and application to synchronized trees von Bodini, Olivier, Genitrini, Antoine, Rolin, Nicolas

Volltext

A Quantitative Study of Pure Parallel Processes von Bodini, O., Genitrini, A., Peschanski, F.

Volltext

A Combinatorial Link Between Labelled Graphs and Increasingly Labelled Schröder Trees von Bodini, Olivier, Genitrini, Antoine, Naima, Mehdi

Volltext

The Combinatorics of Barrier Synchronization von Bodini, Olivier, Dien, Matthieu, Genitrini, Antoine, Peschanski, Frédéric

Volltext

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

Volltext

A Combinatorial Study of Async/Await Processes von Dien, Matthieu, Genitrini, Antoine, Peschanski, Frédéric

Volltext