Author of the publication

Presenting a Category Modulo a Rewriting System.

, and . RTA, volume 36 of LIPIcs, page 89-105. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Bicategories of Markov Processes., , and . Models, Algorithms, Logics and Tools, volume 10460 of Lecture Notes in Computer Science, page 112-124. Springer, (2017)PAC-Bayesian Generalization Bounds for Adversarial Generative Models., , and . ICML, volume 202 of Proceedings of Machine Learning Research, page 24271-24290. PMLR, (2023)Statistical Guarantees for Variational Autoencoders using PAC-Bayesian Theory., , and . CoRR, (2023)Sample Boosting Algorithm (SamBA) - An interpretable greedy ensemble classifier based on local expertise for fat data., , , , , and . UAI, volume 216 of Proceedings of Machine Learning Research, page 130-140. PMLR, (2023)Behavioural equivalences for continuous-time Markov processes., , and . Math. Struct. Comput. Sci., 33 (4-5): 222-258 (2023)Presenting a Category Modulo a Rewriting System., and . RTA, volume 36 of LIPIcs, page 89-105. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes., , and . MFPS, volume 352 of Electronic Notes in Theoretical Computer Science, page 53-77. Elsevier, (2020)Bisimulation for Feller-Dynkin Processes., , and . MFPS, volume 347 of Electronic Notes in Theoretical Computer Science, page 45-63. Elsevier, (2019)