Alexandre Goy

According to our database, Alexandre Goy authored at least 8 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Weakening and Iterating Laws using String Diagrams.

Alexandre Goy

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

2021

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

Alexandre Goy

PhD thesis, 2021

Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces.

Alexandre Goy, Daniela Petrisan, Marc Aiguier

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020

Combining Weak Distributive Laws: Application to Up-To Techniques.

Alexandre Goy, Daniela Petrisan

CoRR, 2020

Combining probabilistic and non-deterministic choice via weak distributive laws.

Alexandre Goy, Daniela Petrisan

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

From Structuring Elements to Structuring Neighborhood Systems.

Alexandre Goy, Marc Aiguier, Isabelle Bloch

Proceedings of the Mathematical Morphology and Its Applications to Signal and Image Processing, 2019

2018

Trace semantics via determinization for probabilistic transition systems.

Alexandre Goy

CoRR, 2018

(In)finite Trace Equivalence of Probabilistic Transition Systems.

Alexandre Goy, Jurriaan Rot

Proceedings of the Coalgebraic Methods in Computer Science, 2018