Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Checking Partial-Order Properties of Vector Addition Systems with States., und . ACSD, Seite 100-109. IEEE Computer Society, (2013)Fault Detection for Timed FSM with Timeouts by Constraint Solving., , und . CoRR, (2018)On the Complexity of Flanked Finite State Automata., , und . CoRR, (2015)Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach., und . SEFM, Volume 11724 von Lecture Notes in Computer Science, Seite 243-256. Springer, (2019)Undercover Boolean Matrix Factorization with MaxSAT., und . AAAI, Seite 3672-3681. AAAI Press, (2022)Fault Detection in Timed FSM with Timeouts by SAT-Solving., , und . QRS, Seite 326-333. IEEE, (2019)Efficient Inference of Optimal Decision Trees.. AAAI, Seite 3195-3202. AAAI Press, (2020)Learning Communicating State Machines., und . TAP, Volume 11823 von Lecture Notes in Computer Science, Seite 112-128. Springer, (2019)FSM Inference from Long Traces., und . FM, Volume 10951 von Lecture Notes in Computer Science, Seite 93-109. Springer, (2018)Learning Optimal Decision Trees from Large Datasets.. CoRR, (2019)