Autor der Publikation

Learning Theory through Videos - A Teaching Experience in a Theoretical Course based on Self-learning Videos and Problem-solving Sessions.

, , , und . CSEDU (2), Seite 93-98. SciTePress, (2011)

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

Automatic Evaluation of Context-Free Grammars (System Description)., und . RTA-TLCA, Volume 8560 von Lecture Notes in Computer Science, Seite 139-148. Springer, (2014)The HOM Problem is EXPTIME-Complete., , , und . SIAM J. Comput., 45 (4): 1230-1260 (2016)Context-Aware Neural Machine Translation Decoding., , und . DiscoMT@EMNLP, Seite 13-23. Association for Computational Linguistics, (2019)One-context Unification with STG-Compressed Terms is in NP., , und . RTA, Volume 15 von LIPIcs, Seite 149-164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints., , und . J. Autom. Reason., 51 (4): 371-400 (2013)Tree automata with constraints and tree homomorphisms.. Polytechnic University of Catalonia, Spain, (2016)Excessively duplicating patterns represent non-regular languages., , und . Inf. Process. Lett., 114 (3): 85-93 (2014)Generation of 2.5D Deposition Strategies for LMD-based Additive Manufacturing., , , , , , und . ISM, Volume 180 von Procedia Computer Science, Seite 280-289. Elsevier, (2020)Learning Theory through Videos - A Teaching Experience in a Theoretical Course based on Self-learning Videos and Problem-solving Sessions., , , und . CSEDU (2), Seite 93-98. SciTePress, (2011)Automatic Evaluation of Reductions between NP-Complete Problems., , und . SAT, Volume 8561 von Lecture Notes in Computer Science, Seite 415-421. Springer, (2014)