Alexandre Goy
Alexandre Goy
Home
Publications
Contact
Light
Dark
Automatic
Publications
Type
Conference paper
Thesis
Date
2020
2019
2018
2017
Alexandre Goy
,
Daniela Petrişan
(2020).
Combining Probabilistic and Non-Deterministic Choice via Weak Distributive Laws
.
Logic in Computer Science
.
PDF
Cite
Alexandre Goy
,
Marc Aiguier
,
Isabelle Bloch
(2019).
From Structuring Elements to Structuring Neighborhood Systems
.
Mathematical Morphology and Its Applications to Signal and Image Processing
.
PDF
Cite
Alexandre Goy
,
Jurriaan Rot
(2018).
(In)finite Trace Equivalence of Probabilistic Transition Systems
.
Coalgebraic Methods in Computer Science
.
PDF
Cite
Alexandre Goy
(2017).
Trace Semantics via Determinization for Probabilistic Transition Systems
.
Master’s Thesis
.
PDF
Cite
Cite
×