Joshua Moerman

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Orbit-finite-dimensional vector spaces and weighted register automata TheoretiCS	2024-07-03	Paper
State identification and verification with satisfaction Lecture Notes in Computer Science	2023-07-26	Paper
Separation and Renaming in Nominal Sets (available as arXiv preprint)	2023-02-07	Paper
Fast computations on ordered nominal sets Theoretical Computer Science	2022-10-14	Paper
scientific article; zbMATH DE number 7559500 (Why is no real title available?)	2022-07-18	Paper
Gradient-descent for randomized controllers under partial observability (available as arXiv preprint)	2022-07-08	Paper
Generating functions for probabilistic programs (available as arXiv preprint)	2022-03-23	Paper
scientific article; zbMATH DE number 7471718 (Why is no real title available?) (available as arXiv preprint)	2022-02-09	Paper
scientific article; zbMATH DE number 7471718 (Why is no real title available?)	2022-02-09	Paper
A (co)algebraic theory of succinct automata Journal of Logical and Algebraic Methods in Programming	2019-06-20	Paper
Fast computations on ordered nominal sets Theoretical Aspects of Computing – ICTAC 2018	2018-11-23	Paper
Learning nominal automata Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages	2017-10-20	Paper
Minimal separating sequences for all pairs of states Language and Automata Theory and Applications	2016-04-13	Paper

Research outcomes over time

This page was built for person: Joshua Moerman