Kenichi Taniguchi

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

Coauthor Index

1	Kota Abe	[24] [35]
2	Gregor von Bochmann	[13]
3	Ana R. Cavalli	[31]
4	Kazuhiro Gotoh	[27]
5	Kenichi Hagihara	[5]
6	Satoshi Hattori	[32]
7	Teruo Higashino	[9] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46]
8	Akihito Hiromori	[36] [41] [43] [44] [45]
9	Hiroshi Imajo	[15]
10	Katsuro Inoue	[11]
11	Minoru Ito	[5] [7] [8]
12	Tatsuo Itoh	[23]
13	Motoaki Iwasaki	[8]
14	Tadao Kasami	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
15	Hisaaki Katagiri	[37] [38]
16	Tomohisa Kimoto	[12]
17	Masayuki Kirimura	[37]
18	Yuko Kitahama	[40]
19	Akira Kitajima	[30] [38] [40]
20	Junji Kitamichi	[17] [18] [34]
21	Cao Man Letan	[44]
22	Xiangdong Li	[13]
23	Sumio Masuda	[14]
24	Toshio Matsuura	[6] [14] [21] [24] [35]
25	Masaaki Mori	[9] [12]
26	Sumio Morioka	[17]
27	Y. Motohashi	[10]
28	Tohru Nakamura	[14]
29	Akio Nakata	[16] [20] [23] [25] [28] [31] [42]
30	Kiyoshi Ninomiya	[12]
31	Tatsuaki Okamoto	[10]
32	Kozo Okano	[15] [22] [26] [32] [40] [46]
33	Hiroharu Sakate	[29]
34	Hiroyuki Seki	[11]
35	Yuji Sugiyama	[6] [9]
36	Ichiro Suzuki	[10]
37	Takashi Takenaka	[34] [46]
38	Hiroki Tatsumoto	[27]
39	Yoshiki Terashima	[35] [42]
40	Takaaki Umedu	[42]
41	Hirozumi Yamaguchi	[22] [26] [29] [33] [36] [41] [43] [44] [45]
42	Akira Yamamoto	[32]
43	Takeshi Yamashita	[44]
44	Keiichi Yasumoto	[13] [18] [19] [21] [24] [27] [29] [30] [33] [35] [36] [37] [38] [39] [41] [42] [43] [44]