( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition.

, , и . PPAM, том 3019 из Lecture Notes in Computer Science, стр. 298-305. Springer, (2003)

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.

Yoshiaki Ueda

Yoshiaki Uyeyama

Sunami Yoshiaki

 

Другие публикации лиц с тем же именем

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