The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kenichi Taniguchi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kenichi Hagihara, Minoru Ito, Kenichi Taniguchi, Tadao Kasami
    Decision Problems for Multivalued Dependencies in Relational Databases. [Citation Graph (5, 0)][DBLP]
    SIAM J. Comput., 1979, v:8, n:2, pp:247-264 [Journal]
  2. Takashi Takenaka, Junji Kitamichi, Teruo Higashino, Kenichi Taniguchi
    Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 1999, pp:177-180 [Conf]
  3. Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi
    Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization. [Citation Graph (0, 0)][DBLP]
    DAC, 2000, pp:762-767 [Conf]
  4. Kenichi Taniguchi, Toshio Matsuura, Yuji Sugiyama, Tadao Kasami
    On equivalence of safe Petri nets. [Citation Graph (0, 0)][DBLP]
    FCT, 1979, pp:430-436 [Conf]
  5. Takaaki Umedu, Yoshiki Terashima, Keiichi Yasumoto, Akio Nakata, Teruo Higashino, Kenichi Taniguchi
    A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:607-624 [Conf]
  6. Teruo Higashino, Akio Nakata, Tatsuo Itoh, Kenichi Taniguchi
    Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers. [Citation Graph (0, 0)][DBLP]
    FORTE, 1995, pp:433-440 [Conf]
  7. Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
    Hardware implementation of Concurrent Periodic EFSM's. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:285-300 [Conf]
  8. Akio Nakata, Teruo Higashino, Kenichi Taniguchi
    LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic. [Citation Graph (0, 0)][DBLP]
    FORTE, 1993, pp:451-466 [Conf]
  9. Akio Nakata, Teruo Higashino, Kenichi Taniguchi
    Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence. [Citation Graph (0, 0)][DBLP]
    FORTE, 1996, pp:279-294 [Conf]
  10. Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi
    Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:161-176 [Conf]
  11. Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi
    A LOTOS Compiler Generating Multi-threaded Object Codes. [Citation Graph (0, 0)][DBLP]
    FORTE, 1995, pp:271-286 [Conf]
  12. Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi
    Hardware synthesis from protocol specifications in LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1998, pp:405-420 [Conf]
  13. Teruo Higashino, Kozo Okano, Hiroshi Imajo, Kenichi Taniguchi
    Deriving Protocol Specifications from Service Specifications in Extended FSM Models. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1993, pp:141-148 [Conf]
  14. Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino, Kenichi Taniguchi
    An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2004, pp:662-669 [Conf]
  15. Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
    Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1995, pp:510-517 [Conf]
  16. Hirozumi Yamaguchi, Cao Man Letan, Akihito Hiromori, Takeshi Yamashita, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
    A Receiver Coordination Protocol for the Efficient Use of Bandwidth in Distributed Multimedia Applications. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2003, pp:531-536 [Conf]
  17. Yoshiki Terashima, Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi
    Extension of SMIL with QoS Control and its Implementation. [Citation Graph (0, 0)][DBLP]
    IEEE International Conference on Multimedia and Expo (III), 2000, pp:1683-1686 [Conf]
  18. Akio Nakata, Teruo Higashino, Kenichi Taniguchi
    Protocol synthesis from timed and structured specifications. [Citation Graph (0, 0)][DBLP]
    ICNP, 1995, pp:74-0 [Conf]
  19. Hiroharu Sakate, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
    Resource Management for Quality of Service Guarantees in Multi-Party Multimedia Application. [Citation Graph (0, 0)][DBLP]
    ICNP, 1998, pp:189-0 [Conf]
  20. Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
    Receiver-Cooperative Bandwidth Management for Layered Multicast. [Citation Graph (0, 0)][DBLP]
    ICNP, 1999, pp:43-50 [Conf]
  21. Keiichi Yasumoto, Teruo Higashino, Toshio Matsuura, Kenichi Taniguchi
    Protocol visualization using LOTOS multi-rendezvous mechanism. [Citation Graph (0, 0)][DBLP]
    ICNP, 1995, pp:118-125 [Conf]
  22. Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
    Protocol Synthesis from Time Petri Net Based Service Specification. [Citation Graph (0, 0)][DBLP]
    ICPADS, 1997, pp:236-243 [Conf]
  23. Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
    A Selection Technique for Replicated Multicast Video Servers. [Citation Graph (0, 0)][DBLP]
    ICPP, 2002, pp:556-0 [Conf]
  24. Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino, Kenichi Taniguchi
    Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness. [Citation Graph (0, 0)][DBLP]
    ICPP Workshops, 1999, pp:576-581 [Conf]
  25. Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
    Software Process Description Using LOTOS and Its Enaction. [Citation Graph (0, 0)][DBLP]
    ICSE, 1994, pp:169-178 [Conf]
  26. Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
    Fast and Optimal Multicast-Server Selection Based on Receivers' Preference. [Citation Graph (0, 0)][DBLP]
    IDMS, 2000, pp:40-52 [Conf]
  27. Toshio Matsuura, Tohru Nakamura, Teruo Higashino, Kenichi Taniguchi, Sumio Masuda
    VTM: A Graph Editor for Large Trees. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:210-216 [Conf]
  28. Kozo Okano, Yuko Kitahama, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi
    Formal Verification of CPU in Laboratory Work. [Citation Graph (0, 0)][DBLP]
    MSE, 2001, pp:32-34 [Conf]
  29. Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
    Reducing the Size of Routing Tables for Large-scale Network Simulation. [Citation Graph (0, 0)][DBLP]
    PADS, 2003, pp:115-122 [Conf]
  30. Teruo Higashino, Kiyoshi Ninomiya, Tomohisa Kimoto, Kenichi Taniguchi, Masaaki Mori
    Automated Verification of Equivalence of Protocol Machines. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:235-246 [Conf]
  31. Teruo Higashino, Keiichi Yasumoto, Junji Kitamichi, Kenichi Taniguchi
    Hardware synthesis from a restricted class of LOTOS expressions. [Citation Graph (0, 0)][DBLP]
    PSTV, 1994, pp:379-386 [Conf]
  32. Teruo Higashino, Gregor von Bochmann, Xiangdong Li, Keiichi Yasumoto, Kenichi Taniguchi
    Test System for a Restricted Class of LOTOS Expressions with Data Parameters. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1992, pp:205-216 [Conf]
  33. Teruo Higashino, Akio Nakata, Kenichi Taniguchi, Ana R. Cavalli
    Generating Test Cases for a Timed I/O Automaton Model. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1999, pp:197-214 [Conf]
  34. Akio Nakata, Teruo Higashino, Kenichi Taniguchi
    Protocol Synthesis from Context-Free Processes Using Event Structures. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1998, pp:173-180 [Conf]
  35. Junji Kitamichi, Sumio Morioka, Teruo Higashino, Kenichi Taniguchi
    Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach. [Citation Graph (0, 0)][DBLP]
    TPCD, 1994, pp:165-184 [Conf]
  36. Kenichi Taniguchi, Tadao Kasami
    An O(n) Algorithm for Computing the Set of Available Expressions of D-Charts. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1976, v:6, n:, pp:361-364 [Journal]
  37. Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
    A compiler to implement LOTOS specifications in distributed environments. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2001, v:36, n:2/3, pp:291-310 [Journal]
  38. Kenichi Taniguchi, Tadao Kasami
    A Note on Computing Time for the Recognition of Context-Free Languages by a Single-Tape Turing Machine [Citation Graph (0, 0)][DBLP]
    Information and Control, 1969, v:14, n:3, pp:278-284 [Journal]
  39. Kenichi Taniguchi, Tadao Kasami
    Reduction of Context-Free Grammars [Citation Graph (0, 0)][DBLP]
    Information and Control, 1970, v:17, n:1, pp:92-108 [Journal]
  40. Kenichi Taniguchi, Tadao Kasami
    A Result on the Equivalence Problem for Deterministic Pushdown Automata. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1976, v:13, n:1, pp:38-50 [Journal]
  41. Takashi Takenaka, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
    Symbolic model checking of extended finite state machines with linear constraints over integer variables. [Citation Graph (0, 0)][DBLP]
    Systems and Computers in Japan, 2006, v:37, n:6, pp:64-72 [Journal]
  42. Katsuro Inoue, Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami
    Compiling and Optimizing Methods for the Functional Language ASL/F. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1986, v:7, n:3, pp:297-312 [Journal]
  43. Minoru Ito, Motoaki Iwasaki, Kenichi Taniguchi, Tadao Kasami
    Membership Problems for Data Dependencies in Relational Expressions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:34, n:, pp:315-335 [Journal]
  44. Minoru Ito, Kenichi Taniguchi, Tadao Kasami
    Membership Problem for Embedded Multivalued Dependencies under some Restricted Conditions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:22, n:, pp:175-194 [Journal]
  45. Ichiro Suzuki, Y. Motohashi, Kenichi Taniguchi, Tadao Kasami, Tatsuaki Okamoto
    Specification and Verification of Decentralized Daisy Chain Arbiters with omega-Extended Regular Expressions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:43, n:, pp:277-291 [Journal]
  46. Teruo Higashino, Masaaki Mori, Yuji Sugiyama, Kenichi Taniguchi, Tadao Kasami
    An Algebraic Specification of HDLC Procedures and Its Verification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1984, v:10, n:6, pp:825-836 [Journal]

Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002