Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
Bojańczyk, M., Fijalkow, J., Klin, B. & Moerman, J., 6 May 2024, In: TheoretiCS. 3, 41 p., 13.Research output: Contribution to journal › Article › Academic › peer-review
Open Access -
Output-decomposed Learning of Mealy Machines
Koenders, R. & Moerman, J., 14 May 2024, (Submitted) Cornell University - arXiv, 11 p.Research output: Working paper / Preprint › Preprint
-
Fast computations on ordered nominal sets
Venhoek, D., Moerman, J. & Rot, J., 31 Oct 2022, In: Theor. Comput. Sci.. 935, p. 82-104 23 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access -
Fast Computations on Ordered Nominal Sets
Venhoek, D., Moerman, J. & Rot, J., 16 Aug 2022, Cornell University - arXiv, 38 p. (Computing Research Repository).Research output: Working paper / Preprint › Preprint
Open Access -
Gradient-Descent for Randomized Controllers Under Partial Observability
Heck, L., Spel, J., Junges, S., Moerman, J. & Katoen, J.-P., 2022, Verification, model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022 Philadelphia, PA, USA, January 16–18, 2022 Proceedings. Finkbeiner, B. & Wies, T. (eds.). 1 ed. Springer, p. 127-150 24 p. (Lecture Notes in Computer Science, Vol. 13182). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 13182).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Activities
-
Learning and Automata 2024
Moerman, J. (Organiser)
Jan 2024 → Jul 2024Activity: Attending or organising an event types › Organising an event › Academic
-
33rd EACSL Annual Conference on Computer Science Logic 2025 (Event)
Moerman, J. (Peer reviewer)
7 Oct 2024Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic
-
Journal of the Acm (Journal)
Moerman, J. (Peer reviewer)
29 Oct 2024Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic
-
32nd EACSL Annual Conference on Computer Science Logic 2024 (Event)
Moerman, J. (Peer reviewer)
3 Oct 2023Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic
-
16th International Conference on Grammatical Inference
Moerman, J. (Member of program committee)
2023Activity: Attending or organising an event types › Organising an event › Academic