( en | de | ru )

 

Disambiguation of "Takata, Yoshiaki"

Author of the publication

copydeleteadd this publication to your clipboard
Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking.

, , and . IEICE Trans. Inf. Syst., 105-D (9): 1620-1623 (September 2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yoshiaki Ueda

Yoshiaki Uyeyama

Sunami Yoshiaki

 

Other publications of authors with the same name

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