Вы здесь

Watanabe T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Improved Heuristic Algorithms for Minimizing Initial Markings of Petri Nets 2005 Taoka S., Yamauchi M., Watanabe T. IEICE Transactions 21.02.2006
СТ A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets 2003 Taoka S., Furusato S., Watanabe T. Lecture Notes in Computer Science 23.07.2003
СТ A Heuristic Algorithm FMDB for the Minimum Initial Marking Problem of Petri Nets 2001 Nishi S., Taoka S., Watanabe T. IEICE Transactions 23.12.2001
СТ Protocol Verification Tool with Extended Petri Net and Horn Clause 1995 Watanabe T., Ohta T., Sato F., Mizuno T. IEICE Trans. 10.04.1996
СТ New Priority-Lists for Scheduling in Timed Petri Nets 1993 Watanabe T., Yamauchi M. Lecture Notes in Computer Science 24.08.1993
СТ Object-oriented Concurrent Reflective Architectures 1992 Matsuoka S., Watanabe T., Ichisugi Y., Yonezawa A. Lecture Notes in Computer Science 22.07.1992
СТ Proof Procedure and Axiom Sets in Petri Net Models of Horn Clause Propositional Logic. Minimum Modification for Provability 1992 Watanabe T., Kato N., Onaga K. IEICE Trans. 28.05.1992
СТ Procedures and Axiom Sets in Petri Net Models of Horn Clause Propositional Logic - Provability and Axiom Sets - 1992 Watanabe T., Kato N., Onaga K. IEICE Trans. 16.05.1992
СТ Object-Oriented Concurrent Refflective Languages can be Implemented Efficiently 1992 Masuhara H., Matsuoka S., Watanabe T., Yonezawa A. SIGPLAN Notices 15.12.1992