Alexandre Goy

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 7

Top Topics

Structuring Elements

Transition Systems

Helmholtz Principle

Top Venues

Publications

Alexandre Goy
Weakening and Iterating Laws using String Diagrams. CoRR (2022)
Alexandre Goy, Daniela Petrisan, Marc Aiguier
Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces. ICALP (2021)
Alexandre Goy, Daniela Petrisan
Combining probabilistic and non-deterministic choice via weak distributive laws. LICS (2020)
Alexandre Goy, Daniela Petrisan
Combining Weak Distributive Laws: Application to Up-To Techniques. CoRR (2020)
Alexandre Goy, Marc Aiguier, Isabelle Bloch
From Structuring Elements to Structuring Neighborhood Systems. ISMM (2019)
Alexandre Goy, Jurriaan Rot
(In)finite Trace Equivalence of Probabilistic Transition Systems. CMCS (2018)
Alexandre Goy
Trace semantics via determinization for probabilistic transition systems. CoRR (2018)