( en | de | ru )

 

Disambiguation of "Suzuki, Atsuyuki"

Author of the publication

copydeleteadd this publication to your clipboard
Space-time theory GQOT and its application to concurrent processes.

, and . Syst. Comput. Jpn., 19 (11): 1-12 (1988)

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.

Yoko Suzuki

Shigenobu Suzuki

Seiichi Suzuki

Kazuyo Suzuki

Keiko Suzuki

 

Other publications of authors with the same name

A Discrete Event Control Based on EVALPSN Stable Model Computation., , , and . RSFDGrC (1), volume 3641 of Lecture Notes in Computer Science, page 671-681. Springer, (2005)Space-time theory GQOT and its application to concurrent processes., and . Syst. Comput. Jpn., 19 (11): 1-12 (1988)Intelligent Safety Verification for Pipeline Based on EVALPSN., , and . LAPTEC, volume 132 of Frontiers in Artificial Intelligence and Applications, page 63-70. IOS Press, (2005)Autoepistemic Theory and Paraconsistent Logic Program., and . LAPTEC, volume 132 of Frontiers in Artificial Intelligence and Applications, page 177-184. IOS Press, (2005)A Discrete Event Control Based on EVALPSN Stable Model., , and . LAPTEC, volume 132 of Frontiers in Artificial Intelligence and Applications, page 71-78. IOS Press, (2005)EVALPSN Based Railway Interlocking Simulator., , and . KES, volume 3214 of Lecture Notes in Computer Science, page 961-967. Springer, (2004)Annotated Semantics for Defeasible Deontic Reasoning., , and . Rough Sets and Current Trends in Computing, volume 2005 of Lecture Notes in Computer Science, page 470-478. Springer, (2000)Defeasible Deontic Control for Discrete Events Based on EVALPSN., , , , and . Rough Sets and Current Trends in Computing, volume 3066 of Lecture Notes in Computer Science, page 310-315. Springer, (2004)Joint Intensity and Spatial Metric Learning for Robust Gait Recognition., , , , and . CVPR, page 6786-6796. IEEE Computer Society, (2017)A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation., and . Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, volume 1441 of Lecture Notes in Computer Science, page 79-93. Springer, (1997)