Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

6 résultats

From Structuring Elements to Structuring Neighborhood Systems

Alexandre Goy , Marc Aiguier , Isabelle Bloch
14th International Symposium on Mathematical Morphology (ISMM), 2019, Saarbr\"ucken, Germany. pp.16-28, ⟨10.1007/978-3-030-20867-7_2⟩
Communication dans un congrès hal-02288568v1
Image document

(In)finite Trace Equivalence of Probabilistic Transition Systems

Alexandre Goy , Jurriaan Rot
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.100-121, ⟨10.1007/978-3-030-00389-0_7⟩
Communication dans un congrès hal-02044641v1
Image document

Potential Field Based Optimization of a Prey-Predator Multi-Agent System

Valentin Baillard , Alexandre Goy , Nicolas Vasselin , Cristina Stoica Maniu
9th Vienna Conference on Mathematical Modelling, Feb 2018, Vienna, Austria. ⟨10.11128/arep.55.a55287⟩
Communication dans un congrès hal-01768192v1
Image document

Weakening and Iterating Laws using String Diagrams

Alexandre Goy
MFPS XXXVIII, Jul 2022, Ithaca, NY, United States. ⟨10.46298/entics.10482⟩
Communication dans un congrès hal-04085131v1
Image document

Combining probabilistic and non-deterministic choice via weak distributive laws

Alexandre Goy , Daniela Petrişan
LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.454-464, ⟨10.1145/3373718.3394795⟩
Communication dans un congrès hal-02564365v1
Image document

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

Alexandre Goy , Daniela Petrişan , Marc Aiguier
48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Jul 2022, Glasgow (SCOTLAND), France. ⟨10.4230/LIPIcs.ICALP.2021.132⟩
Communication dans un congrès hal-04491472v1