Joshua Moerman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
9
Active years
2015–2022
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | VMCAI | Gradient-Descent for Randomized Controllers Under Partial Observability. | Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen |
| 2021 | LICS | Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. | Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman |
| 2020 | CONCUR | Residual Nominal Automata. | Joshua Moerman, Matteo Sammartino |
| 2020 | CSL | Separation and Renaming in Nominal Sets. | Joshua Moerman, Jurriaan Rot |
| 2020 | LOPSTR | Generating Functions for Probabilistic Programs. | Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler |
| 2018 | ICTAC | Fast Computations on Ordered Nominal Sets. | David Venhoek, Joshua Moerman, Jurriaan Rot |
| 2017 | POPL | Learning nominal automata. | Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski |
| 2016 | LATA | Minimal Separating Sequences for All Pairs of States. | Rick Smetsers, Joshua Moerman, David N. Jansen |
| 2015 | ICFEM | Applying Automata Learning to Embedded Control Software. | Wouter Smeenk, Joshua Moerman, Frits W. Vaandrager, David N. Jansen |