Autor der Publikation

Generalized Register Context-Free Grammars.

, , und . LATA, Volume 11417 von Lecture Notes in Computer Science, Seite 259-271. Springer, (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Optimal Run Problem for Weighted Register Automata., , und . ICTAC, Volume 11884 von Lecture Notes in Computer Science, Seite 91-110. Springer, (2019)Active Learning for Deterministic Bottom-Up Nominal Tree Automata., , und . ICTAC, Volume 13572 von Lecture Notes in Computer Science, Seite 342-359. Springer, (2022)Reactive Synthesis from Visibly Register Pushdown Automata., , und . ICTAC, Volume 12819 von Lecture Notes in Computer Science, Seite 334-353. Springer, (2021)Security verification of programs with stack inspection., , und . SACMAT, Seite 31-40. ACM, (2001)An HBAC-based approximation for IBAC programs., und . SIN, Seite 277-281. ACM, (2013)A Static Analysis using Tree Automata for XML Access Control., , und . Inf. Media Technol., 2 (2): 433-447 (2007)Accessibility Verification of WWW Documents by an Automatic Guideline Verification Tool., , und . HICSS, IEEE Computer Society, (2004)Analysis and Implementation Method of Program to Detect Inappropriate Information Leak., , , , und . APAQS, Seite 5-12. IEEE Computer Society, (2001)Flexible Category Structure for Supporting WWW Retrieval., , und . ER (Workshops), Volume 1921 von Lecture Notes in Computer Science, Seite 165-177. Springer, (2000)A Static Analysis Using Tree Automata for XML Access Control., , und . ATVA, Volume 3707 von Lecture Notes in Computer Science, Seite 234-247. Springer, (2005)