| Combining probabilistic and non-deterministic choice via weak distributive laws A Goy, D Petrişan Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 29 | 2020 |
| Powerset-like monads weakly distribute over themselves in toposes and compact Hausdorff spaces A Goy, D Petrişan, M Aiguier 48th International Colloquium on Automata, Languages, and Programming (ICALP …, 2022 | 8 | 2022 |
| On the compositionality of monads via weak distributive laws A Goy université Paris-Saclay, 2021 | 2 | 2021 |
| Combining Weak Distributive Laws: Application to Up-To Techniques A Goy, D Petrisan arXiv preprint arXiv:2010.00811, 2020 | 2 | 2020 |
| From Structuring Elements to Structuring Neighborhood Systems A Goy, M Aiguier, I Bloch Mathematical Morphology and Its Applications to Signal and Image Processing …, 2019 | 2 | 2019 |
| Weakening and Iterating Laws using String Diagrams A Goy Electronic Notes in Theoretical Informatics and Computer Science 1, 2023 | 1 | 2023 |
| Trace semantics via determinization for probabilistic transition systems A Goy arXiv preprint arXiv:1802.09084, 2018 | 1 | 2018 |
| Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning A Goy, M Aiguier, CS MICS, I Bloch Handbook of the 6th World Congress and School on Universal Logic, 548, 2018 | | 2018 |
| Transition Systems A GOY, J ROT | | 2018 |
| (In) finite Trace Equivalence of Probabilistic Transition Systems A Goy, J Rot Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International …, 2018 | | 2018 |
| An Overview of Weak Distributive Laws A Goy Structure Meets Power Workshop, 10, 0 | | |
| Alternating Automata via Weak Distributive Laws A Goy | | |
Aiguier MarcProfesseurAdresse e-mail validée de ecp.fr
