( en | de | ru )

 

Disambiguation of "Taniguchi, Kenichi"

Author of the publication

copydeleteadd this publication to your clipboard
A Support System for Constructing Rule Base for Speech Synthesis by Rule. Automatic Extraction of Synthesis Rules.

, , , , and . Syst. Comput. Jpn., 21 (4): 15-24 (1990)

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.

Kenichi Ishikawa

Yasaburo Taniguchi

Kenichi Kida

Kenichi Moriya

Kenichi Shinohara

 

Other publications of authors with the same name

Automated Verification of Equivalence of Protocol Machines., , , , and . PSTV, page 235-246. North-Holland, (1989)A LOTOS Compiler Generating Multi-threaded Object Codes., , , , and . FORTE, volume 43 of IFIP Conference Proceedings, page 271-286. Chapman & Hall, (1995)A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels., , , , , and . FME, volume 2391 of Lecture Notes in Computer Science, page 607-624. Springer, (2002)Membership Problems for Data Dependencies in Relational Expressions., , , and . Theor. Comput. Sci., (1984)Symbolic model checking of extended finite state machines with linear constraints over integer variables., , , and . Syst. Comput. Jpn., 37 (6): 64-72 (2006)Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol., , , , and . Syst. Comput. Jpn., 20 (5): 57-68 (1989)Decision problem concerning security for cryptographic protocols., , and . Syst. Comput. Jpn., 18 (5): 67-78 (1987)Extension of SMIL with QoS Control and its Implementation., , , , , and . IEEE International Conference on Multimedia and Expo (III), page 1683-1686. IEEE Computer Society, (2000)Protocol Synthesis from Time Petri Net Based Service Specification., , , and . ICPADS, page 236-243. IEEE Computer Society, (1997)Protocol visualization using LOTOS multi-rendezvous mechanism., , , and . ICNP, page 118-125. IEEE Computer Society, (1995)