Research output per year
Research output per year
Fingerprint
Dive into the research topics where Joshua Moerman is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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 › Academic
-
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 › Academic
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
-
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
-
Learning and Automata 2024
Moerman, J. (Organiser)
Jan 2024 → Jul 2024Activity: Attending or organising an event types › Organising an event › 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