(In)finite Trace Equivalence of Probabilistic Transition Systems. - Alexandre Goy 002; Jurriaan Rot (CMCS, 2018)

Trace semantics via determinization for probabilistic transition systems. - Alexandre Goy 002 (CoRR, 2018)

From Structuring Elements to Structuring Neighborhood Systems. - Alexandre Goy 002; Marc Aiguier; Isabelle Bloch (ISMM, 2019)

Combining probabilistic and non-deterministic choice via weak distributive laws. - Alexandre Goy 002; Daniela Petrisan (LICS, 2020)

Combining Weak Distributive Laws: Application to Up-To Techniques. - Alexandre Goy 002; Daniela Petrisan (CoRR, 2020)

Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces. - Alexandre Goy 002; Daniela Petrisan; Marc Aiguier (ICALP, 2021)

On the compositionality of monads via weak distributive laws. (Compositionnalité des monades par lois de distributivité faibles). - Alexandre Goy 002 (2021)

Weakening and Iterating Laws using String Diagrams. - Alexandre Goy 002 (MFPS, 2022)

Infinite trees. - Alexandre Goy 002 (CoRR, 2025)