|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
FOREWORD
Takao HINAMOTO Toshimasa WATANABE | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/08/01
Vol. E88-D
No. 8
pp. 1861-1862
Type of Manuscript:
FOREWORD
Category:
Keyword:
| | | Summary | Full Text:PDF | |
|
FOREWORD
Takao HINAMOTO Toshimasa WATANABE | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/07/01
Vol. E88-D
No. 7
pp. 1321-1322
Type of Manuscript:
FOREWORD
Category:
Keyword:
| | | Summary | Full Text:PDF | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
FOREWORD
Toshimasa WATANABE | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A
No. 10
pp. 1577-1578
Type of Manuscript:
FOREWORD
Category:
Keyword:
| | | Summary | Full Text:PDF | |
|
FOREWORD
Toshimasa WATANABE | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/04/25
Vol. E77-A
No. 4
pp. 593-594
Type of Manuscript:
FOREWORD
Category:
Keyword:
| | | Summary | Full Text:PDF | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Proof Procedures and Axiom Sets in Petri Net Models of Horn Clause Propositional Logic --Provability and Axiom Sets --
Toshimasa WATANABE Naomoto KATO Kenji ONAGA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/03/25
Vol. E75-A
No. 3
pp. 425-435
Type of Manuscript:
Special Section PAPER (Special Section on the 4th Karuizawa Workshop on Circuits and Systems)
Category:
Keyword:
Horn clauses,propositional logic, Petri nets, proofs, axiom sets, | | | Summary | Full Text:PDF | |
|
|
|
|
Analysis of Parallelism in Autonomous Execution of Data-Flow Program Nets
Qi-Wei GE Toshimasa WATANABE Kenji ONAGA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1991/10/25
Vol. E74-A
No. 10
pp. 3008-3017
Type of Manuscript:
Special Section PAPER (Special Issue on JTC-CSCC '90)
Category: Graphs and Networks
Keyword:
| | | Summary | Full Text:PDF | |
|
Graph Augmentation Problems
Toshimasa WATANABE | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1991/04/25
Vol. E74-A
No. 4
pp. 632-643
Type of Manuscript:
INVITED PAPER (Special Issue on Discrete Mathematics and Its Applications)
Category:
Keyword:
| | | Summary | Full Text:PDF | |
|
Topological Analysis of Firing Activities of Data-Flow Program Nets
Qi-Wei GE Toshimasa WATANABE Kenji ONAGA | Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1990/07/25
Vol. E73-E
No. 7
pp. 1215-1224
Type of Manuscript:
PAPER
Category: Software Theory
Keyword:
| | | Summary | Full Text:PDF | |
|
Time Complexity of Legal Firing Sequence and Related Problems of Petri Nets
Toshimasa WATANABE Yutaka MIZOBATA Kenji ONAGA | Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1989/12/25
Vol. E72-E
No. 12
pp. 1400-1409
Type of Manuscript:
Special Section PAPER (Special Issue on the 2nd Karuizawa Workshop on Circuits and Systems)
Category: Graphs and Networks
Keyword:
| | | Summary | Full Text:PDF | |
|
Minimum Initial Marking Problems of Petri Nets
Toshimasa WATANABE Yutaka MIZOBATA Kenji ONAGA | Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1989/12/25
Vol. E72-E
No. 12
pp. 1390-1399
Type of Manuscript:
Special Section PAPER (Special Issue on the 2nd Karuizawa Workshop on Circuits and Systems)
Category: Graphs and Networks
Keyword:
| | | Summary | Full Text:PDF | |
|
A Note on the Transformation Semigroups of Finite Automata
Toshimasa WATANABE Akira NAKAMURA | Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1981/02/25
Vol. E64-E
No. 2
pp. 88-89
Type of Manuscript:
LETTER
Category: Automata and Languages
Keyword:
| | | Summary | Full Text:PDF | |
|