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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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
-
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
-
Residuality and Learning for Nondeterministic Nominal Automata
Moerman, J. & Sammartino, M., 3 Feb 2022, In: Logical Methods in Computer Science. 18, 1, 28 p., 29.Research output: Contribution to journal › Article › Academic › peer-review
Open Access -
satuio: Software tool for generating adaptive distinguishing sequences and unique input/output sequences for finite state machines
Moerman, J. & Wißmann, T., 23 Sept 2022Research output: Non-textual form › Software › Academic
Open Access
-
34th International Conference on Computer Aided Verification (Event)
Joshua Moerman (Peer reviewer)
18 Mar 2022Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic
-
A Journey from Process Algebra via Timed Automata to Model Learning (Event)
Joshua Moerman (Peer reviewer)
26 Apr 2022 → 23 Sep 2022Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic
-
A Journey from Process Algebra via Timed Automata to Model Learning
Joshua Moerman (Member of programme committee)
26 Apr 2022 → 23 Sep 2022Activity: Attending or organising an event types › Organising an event › Academic
-
Science of Computer Programming (Journal)
Joshua Moerman (Peer reviewer)
20 Apr 2022Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic
-
Formal Methods in System Design (Journal)
Joshua Moerman (Peer reviewer)
10 Aug 2022Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic