Binary Decision Diagrams: From Tree Compaction to Sampling

von Clément, Julien
Veröffentlicht in LATIN (14. : 2020 : Online) LATIN 2020: theoretical informatics (2020)

A Combinatorial Link Between Labelled Graphs and Increasingly Labelled Schröder Trees

von Bodini, Olivier
Veröffentlicht in LATIN (15. : 2022 : Guanajuato) LATIN 2022 - theoretical informatics (2022)

A Combinatorial Study of Async/Await Processes

von Dien, Matthieu
Veröffentlicht in ICTAC (19. : 2022 : Tiflis) Theoretical aspects of computing - ICTAC 2022 (2022)

Statistical Analysis of Non-deterministic Fork-Join Processes

von Genitrini, Antoine
Veröffentlicht in ICTAC (17. : 2020 : Online) Theoretical aspects of computing - ICTAC 2020 (2020)

Families of Monotonic Trees: Combinatorial Enumeration and Asymptotics

von Bodini, Olivier
Veröffentlicht in International Computer Science Symposium (15. : 2020 : Online) Computer science - theory and applications (2020)