Search the dblp DataBase
Kenichi Taniguchi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Akio Nakata , Teruo Higashino , Kenichi Taniguchi Protocol synthesis from timed and structured specifications. [Citation Graph (0, 0)][DBLP ] ICNP, 1995, pp:74-0 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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.004secs, Finished in 0.459secs