| Publication | Date of Publication | Type |
|---|
| Convergence of distributions on paths | 2024-05-29 | Paper |
Uniform generation of infinite traces
Pure Mathematics and Applications | 2022-11-09 | Paper |
Introduction to Probabilistic Concurrent Systems
Fundamenta Informaticae | 2022-10-31 | Paper |
Deterministic concurrent systems
(available as arXiv preprint) | 2022-03-21 | Paper |
A spectral property for concurrent systems and some probabilistic applications
Discrete Mathematics | 2021-06-14 | Paper |
Markovian dynamics of concurrent systems
Discrete Event Dynamic Systems | 2020-05-06 | Paper |
Asymptotic combinatorics of Artin-Tits monoids and of some other monoids
Journal of Algebra | 2019-03-11 | Paper |
A cut-invariant law of large numbers for random heaps
Journal of Theoretical Probability | 2018-01-26 | Paper |
Toward uniform random generation in 1-safe Petri nets
(available as arXiv preprint) | 2018-01-04 | Paper |
| Uniform generation of infinite concurrent runs: the case of trace monoids | 2017-12-06 | Paper |
Synchronization of Bernoulli sequences on shared letters
Information and Computation | 2017-08-08 | Paper |
Uniform measures on braid monoids and dual braid monoids
Journal of Algebra | 2017-01-06 | Paper |
Uniform generation in trace monoids
Mathematical Foundations of Computer Science 2015 | 2015-09-16 | Paper |
Uniform and Bernoulli measures on the boundary of trace monoids
Journal of Combinatorial Theory. Series A | 2015-08-19 | Paper |
| A Graded M\"obius transform and its harmonic interpretation | 2015-05-04 | Paper |
Foreword in honor of Glynn Winskel
Theoretical Computer Science | 2014-07-25 | Paper |
Branching cells for asymmetric event structures
Theoretical Computer Science | 2014-07-25 | Paper |
Application of branching cells to QoS aware service orchestrations
Theoretical Computer Science | 2014-07-25 | Paper |
Markov two-components processes
Logical Methods in Computer Science | 2013-07-09 | Paper |
Concurrency, σ-Algebras, and Probabilistic Fairness
Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
On countable completions of quotient ordered semigroups
Semigroup Forum | 2009-03-20 | Paper |
| A Cartesian closed category of event structures with | 2008-05-27 | Paper |
True-concurrency probabilistic models: Markov nets and a law of large numbers
Theoretical Computer Science | 2008-03-05 | Paper |
A projective formalism applied to topological and probabilistic event structures
Mathematical Structures in Computer Science | 2007-09-06 | Paper |
Projective topology on bifinite domains and applications
Theoretical Computer Science | 2006-12-07 | Paper |
True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
Information and Computation | 2006-04-28 | Paper |
Applications and Theory of Petri Nets 2005
Lecture Notes in Computer Science | 2005-12-14 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
