Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Matthieu Dien"'
Publikováno v:
Discrete Mathematics & Theoretical Computer Science, Vol vol. 22 no. 3, Computational..., Iss Special issues (2021)
In this paper we address the problem of understanding Concurrency Theory from a combinatorial point of view. We are interested in quantitative results and algorithmic tools to refine our understanding of the classical combinatorial explosion phenomen
Externí odkaz:
https://doaj.org/article/d3fc0905b1b64835b81ebe8ec96db88d
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031177149
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cf32aedd6a49054c7a1714abb8adf8c3
https://doi.org/10.1007/978-3-031-17715-6_12
https://doi.org/10.1007/978-3-031-17715-6_12
Publikováno v:
HAL
Discrete Mathematics and Theoretical Computer Science
Discrete Mathematics and Theoretical Computer Science, DMTCS, In press, Computational Logic and Applications (CLA'19), 22 (3)
Discrete Mathematics and Theoretical Computer Science
Discrete Mathematics and Theoretical Computer Science, DMTCS, In press, Computational Logic and Applications (CLA'19), 22 (3)
In this paper we address the problem of understanding Concurrency Theory from a combinatorial point of view. We are interested in quantitative results and algorithmic tools to refine our understanding of the classical combinatorial explosion phenomen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1baadc50fe162454e8d7117fe2d7be20
https://hal.archives-ouvertes.fr/hal-02301925
https://hal.archives-ouvertes.fr/hal-02301925
Publikováno v:
Application and Theory of Petri Nets and Concurrency ISBN: 9783030215705
Petri Nets
PETRI NETS 2019-40th International Conference on Application and Theory of Petri Nets and Concurrency
PETRI NETS 2019-40th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2019, Aachen, Germany. pp.386-405, ⟨10.1007/978-3-030-21571-2_21⟩
Petri Nets
PETRI NETS 2019-40th International Conference on Application and Theory of Petri Nets and Concurrency
PETRI NETS 2019-40th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2019, Aachen, Germany. pp.386-405, ⟨10.1007/978-3-030-21571-2_21⟩
International audience; In this paper we study the notion of synchronization from the point of view of combinatorics. As a first step, we address the quantitative problem of counting the number of executions of simple processes interacting with synch
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::64a4460ac0b484aff1b619189648a848
http://arxiv.org/abs/1907.04243
http://arxiv.org/abs/1907.04243
Publikováno v:
Computer Science Symposium in Russia
Computer Science Symposium in Russia, 2017, Kazan, Russia
Computer Science – Theory and Applications ISBN: 9783319587462
CSR
HAL
Computer Science Symposium in Russia, 2017, Kazan, Russia
Computer Science – Theory and Applications ISBN: 9783319587462
CSR
HAL
International audience; In this paper, we introduce a uniform random sampler for linear extensions of Series-Parallel posets. The algorithms we present ensure an essential property of random generation algorithms: entropy. They are in a sense optimal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a6cc8c7db20b5db187e3ffa12e29bcb
https://hal.sorbonne-universite.fr/hal-01476189
https://hal.sorbonne-universite.fr/hal-01476189
Publikováno v:
ANALCO
2017 Proceedings of the Fourteenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO)
14th Workshop on Analytic Algorithmics and Combinatorics (ANALCO17)
14th Workshop on Analytic Algorithmics and Combinatorics (ANALCO17), Jan 2017, Barcelone, Spain. pp.16-30, ⟨10.1137/1.9781611974775.2⟩
2017 Proceedings of the Fourteenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO)
14th Workshop on Analytic Algorithmics and Combinatorics (ANALCO17)
14th Workshop on Analytic Algorithmics and Combinatorics (ANALCO17), Jan 2017, Barcelone, Spain. pp.16-30, ⟨10.1137/1.9781611974775.2⟩
International audience; In this paper, we study two operators for composing combinatorial classes: the ordered product and its dual, the colored product. These operators have a natural interpretation in terms of Analytic Combinatorics, in relation wi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2d0a989e3236e906d5ca5e1488343d70
https://doi.org/10.1137/1.9781611974775.2
https://doi.org/10.1137/1.9781611974775.2
Publikováno v:
LATIN 2016: Theoretical Informatics ISBN: 9783662495285
12th. Latin American Theoretical INformatics Symposium
12th. Latin American Theoretical INformatics Symposium, Apr 2016, Ensenada, Mexico. ⟨10.1007/978-3-662-49529-2_16⟩
12th. Latin American Theoretical INformatics Symposium
12th. Latin American Theoretical INformatics Symposium, Apr 2016, Ensenada, Mexico. ⟨10.1007/978-3-662-49529-2_16⟩
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d02a38452ca11d8a0263f945858380b
https://doi.org/10.1007/978-3-662-49529-2_16
https://doi.org/10.1007/978-3-662-49529-2_16