( en | de | ru )

 

Disambiguierung von "Moerman, Joshua"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
n-Complete test suites for IOCO.

, , und . Softw. Qual. J., 27 (2): 563-588 (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Joshua Migdal

Joshua Sempebwa

Joshua Cordes

Joshua Amavi

Joshua Müller

 

Weitere Publikationen von Autoren mit dem selben Namen

Separation and Renaming in Nominal Sets., und . CSL, Volume 152 von LIPIcs, Seite 31:1-31:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)n-Complete test suites for IOCO., , und . Softw. Qual. J., 27 (2): 563-588 (2019)Learning nominal automata., , , , und . POPL, Seite 613-625. ACM, (2017)Gradient-Descent for Randomized Controllers Under Partial Observability., , , , und . VMCAI, Volume 13182 von Lecture Notes in Computer Science, Seite 127-150. Springer, (2022)Learning Product Automata.. CoRR, (2017)Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata., , und . LICS, Seite 1-13. IEEE, (2021)Fast Computations on Ordered Nominal Sets., , und . CoRR, (2019)Gradient-Descent for Randomized Controllers under Partial Observability., , , , und . CoRR, (2021)Residuality and Learning for Nondeterministic Nominal Automata., und . Log. Methods Comput. Sci., (2022)Generating Functions for Probabilistic Programs., , , , , und . LOPSTR, Volume 12561 von Lecture Notes in Computer Science, Seite 231-248. Springer, (2020)