Citation: S. Nagano et al., A NEW VERIFICATION METHOD USING VIRTUAL SYSTEM STATES FOR RESPONSIVE COMMUNICATION PROTOCOLS AND ITS APPLICATION TO A BROADCASTING PROTOCOL, IEICE transactions on fundamentals of electronics, communications and computer science, E81A(4), 1998, pp. 596-604
Authors:
MIZUNO O
KUSUMOTO S
KIKUNO T
TAKAGI Y
SAKAMOTO K
Citation: O. Mizuno et al., EXPERIMENTAL EVALUATION OF 2-PHASE PROJECT CONTROL FOR SOFTWARE-DEVELOPMENT PROCESS, IEICE transactions on fundamentals of electronics, communications and computer science, E81A(4), 1998, pp. 605-614
Authors:
KUSUMOTO S
CHIMURA A
KIKUNO T
MATSUMOTO K
MOHRI Y
Citation: S. Kusumoto et al., A PROMISING APPROACH TO 2-PERSON SOFTWARE REVIEW IN EDUCATIONAL ENVIRONMENT, The Journal of systems and software, 40(2), 1998, pp. 115-123
Citation: T. Tsuchiya et al., GENETICS-BASED MULTIPROCESSOR SCHEDULING USING TASK DUPLICATION, Microprocessors and microsystems, 22(3-4), 1998, pp. 197-207
Authors:
LIAN L
KUSUMOTO S
KIKUNO T
MATSUMOTO K
TORII K
Citation: L. Lian et al., A NEW FAULT LOCALIZING METHOD FOR THE PROGRAM DEBUGGING PROCESS, Information and software technology, 39(4), 1997, pp. 271-284
Citation: T. Tsuchiya et al., 3-MODE FAILURE MODEL FOR RELIABILITY-ANALYSIS OF DISTRIBUTED PROGRAMS, IEICE transactions on information and systems, E80D(1), 1997, pp. 3-9
Citation: Em. Kim et al., A NEW VERIFICATION FRAMEWORK OF OBJECT-ORIENTED DESIGN SPECIFICATION FOR SMALL-SCALE SOFTWARE, IEICE transactions on information and systems, E80D(1), 1997, pp. 51-56
Citation: S. Sakaki et T. Kikuno, REACTION OF BX(2)-BX(2) (X=H OR OH) WITH M(PH3)(2) (M=PD OR PT) - A THEORETICAL-STUDY OF THE CHARACTERISTIC FEATURES, Inorganic chemistry, 36(2), 1997, pp. 226-229
Authors:
TAKISHIMA T
HORIIKE S
SUGIMOTO K
ASARI Y
HIRATA M
KIKUNO T
KAKITA A
OWADA T
MAEKAWA K
Citation: T. Takishima et al., ROLE OF REPEAT COMPUTED-TOMOGRAPHY AFTER EMERGENCY ENDOSCOPIC RETROGRADE PANCREATOGRAPHY IN THE DIAGNOSIS OF TRAUMATIC INJURY TO PANCREATICDUSTS, The journal of trauma, injury, infection, and critical care, 40(2), 1996, pp. 253-257
Citation: S. Kusumoto et al., EXPERIMENTAL EVALUATION OF TIME ALLOCATION PROCEDURE FOR TECHNICAL REVIEWS, The Journal of systems and software, 35(2), 1996, pp. 119-126
Citation: M. Nakamura et al., ON CONSTRUCTING COMMUNICATION PROTOCOLS FROM COMPONENT-BASED SERVICE SPECIFICATIONS, Computer communications, 19(14), 1996, pp. 1200-1215
Authors:
TAKISHIMA T
SUGIMOTO K
ASARI Y
KIKUNO T
HIRATA M
KAKITA A
OHWADA T
MAEKAWA K
Citation: T. Takishima et al., CHARACTERISTICS OF PANCREATIC INJURY IN CHILDREN - A COMPARISON WITH SUCH INJURY IN ADULTS, Journal of pediatric surgery, 31(7), 1996, pp. 896-900
Authors:
SUGIMOTO K
HIRATA M
KIKUNO T
TAKISHIMA T
MAEKAWA K
OHWADA T
Citation: K. Sugimoto et al., LARGE-VOLUME INTRAOPERATIVE PERITONEAL-LAVAGE WITH AN ASSISTANT DEVICE FOR TREATMENT OF PERITONITIS CAUSED BY BLUNT TRAUMATIC RUPTURE OF THE SMALL-BOWEL, The journal of trauma, injury, infection, and critical care, 39(4), 1995, pp. 689-692
Authors:
KIKUNO T
HONMA M
OGURA S
MIZUSAWA H
HAYASHI M
SOFUNI T
Citation: T. Kikuno et al., DNA FINGERPRINT ANALYSIS IN CHEMICALLY MUTAGENIZED CHINESE-HAMSTER LUNG-CELLS, Mutation research. DNAging, 338(1-6), 1995, pp. 87-93
Citation: Y. Kakuda et al., A NEW CONFORMANCE TESTING TECHNIQUE FOR LOCALIZATION OF MULTIPLE FAULTS IN COMMUNICATION PROTOCOLS, IEICE transactions on information and systems, E78D(7), 1995, pp. 802-810
Authors:
AIDA M
BIRUKAWA Y
HACHIYA N
QUAN TH
SUMA J
TAKIZAWA Y
TANAKA N
KURAMOCHI M
SEKI H
TAZAWA T
AMANO A
FUJIWARA M
HARUTA Y
KITAZAWA M
NAKAJIMA M
OBA K
SUZUKI K
UKAI Y
AJIMI S
KAKIMOTO K
OGURA S
KIKUNO T
YOSHIDA N
KAJIWARA Y
FUKUDA T
INOUE M
BABA T
SERA T
TSUREKAWA K
SHIMADA H
ITOH S
IGARASHI M
NAKAYAMA S
MIURA M
AOKI S
KATTO M
KOJIMA M
KONDO S
SUGIHARA T
HARA T
HORIYA H
ISHIHARA N
KATOH M
MATSUDA Y
SHIBUYA T
YAMAGAMI Y
IZUSHI T
AYUKAWA H
YONEYAMA E
KANEKO M
FUJIOKA E
FUJINO Y
HIRAI O
MIYAMAE Y
NOGUCHI H
OHARA K
ABE S
ANDO N
ARIMURA H
EMOTO H
ISHII S
IWAI M
KAGITANI Y
KAWABATA Y
KAWATA T
NAITO T
SASAKI YF
HIWATASHI T
KURITA M
OHTSUKI H
TAMAI K
SHIMADA Y
KATO T
MATSUMOTO K
MATSUMURA H
OHTA T
WATANABE M
SUTOU S
HIGASHIKUNI N
ASAKURA M
MATSUSHIMA T
NOGUCHI T
SUGIYAMA T
INUI N
NISHI Y
SATO S
TAKETOMI M
YOSHIDA J
KISHI M
MAKITA T
NAITO J
OHBA M
OZAWA S
KITAGAKI T
MIZUHASHI F
MURATA K
TERADA M
WATANABE T
HARESAKU M
NISHIMURA N
KAWAMURA K
KUREBE M
SHINDO Y
TOYODA Y
MORIYAMA T
SUGIKI Y
IKEDA Y
IWASE Y
HASHIMOTO A
KIDO A
NISHITOMI T
SHIROTORI T
HAYASHI M
ASITA AO
HONMA M
KODAMA Y
MATSUOKA A
SAWADA M
SOFUNI T
SATAKE K
ARUGA F
MIWA Y
INOUE K
SATO A
TAMURA H
YAMASHITA Y
IWAKURA K
SUMI N
ASANO N
ISHIDATE M
KOMENO M
SASAKI S
SAKAI Y
AWOGI T
OHARA Y
UESUGI T
ASANAMI S
KUWAHARA T
SHIMONO K
UEJIMA M
ATAI H
HATAKEYAMA Y
SUZUKI S
OHMORI K
YAMADA H
ROMAGNA F
HAGIWARA T
TOTSUKA M
HIRANO K
KOBAYASHI H
MORI M
SUGIYAMA C
IZUMI A
KONDO K
MIYAJIMA H
SATO Y
YAJIMA N
HAMADA S
NAMIKI C
KIYOMOTO K
KUKITA K
HARA M
NAKAGAWA S
ANDOH H
MASAMOTO Y
TSUYOSHI T
HATANAKA Y
KITAGAWA Y
TOYODA Y
OHUCHIDA A
KOUCHI Y
OKA H
FURUKAWA A
SUZUKI H
WATANABE C
HITOTSUMACHI S
ARIYUKI F
ASANO Y
HIGASHIGUCHI T
KONDO Y
NITO S
ONO T
KASAHARA Y
NAKAI Y
MIURA D
YAGI K
HIRABAYASHI K
HONDA S
SHINAGAWA Y
SATO S
KAGAMIMORI S
NAKAJIMA E
NAKANISHI M
OKA Y
UEMURA T
KINAE N
SHINKAWA K
MIYAUCHI M
OHSHIMA T
TAMAOKI M
WAKATA A
YAMASHITA T
YUNO K
HIRONO H
TAKEUCHI M
YAMAMURA E
Citation: M. Aida et al., PROTOCOL RECOMMENDED BY THE CSGMT JEMS.MMS FOR THE SHORT-TERM MOUSE PERIPHERAL-BLOOD MICRONUCLEUS TEST/, Mutagenesis, 10(3), 1995, pp. 153-159
Citation: Y. Kakuda et al., AUTOMATED VERIFICATION OF RESPONSIVE PROTOCOLS MODELED BY EXTENDED FINITE-STATE MACHINES, Real time systems, 7(3), 1994, pp. 275-289
Citation: Y. Kakuda et al., ON THE COMPLEXITY OF PROTOCOL VALIDATION PROBLEMS FOR PROTOCOLS WITH BOUNDED CAPACITY CHANNELS, IEICE transactions on fundamentals of electronics, communications and computer science, E77A(4), 1994, pp. 658-667
Citation: T. Seko et T. Kikuno, EXPERIMENTAL EVALUATION OF DYNAMIC SCHEDULING FOR PARALLEL LOGIC SIMULATION USING BENCHMARK CIRCUITS, IEICE transactions on fundamentals of electronics, communications and computer science, E77A(11), 1994, pp. 1910-1912
Citation: K. Ishida et T. Kikuno, ON DESIRABLE FAULT-TOLERANT TOPOLOGY FOR CLUSTER-BASED NETWORK, IEICE transactions on fundamentals of electronics, communications and computer science, E77A(10), 1994, pp. 1617-1622
Citation: K. Ishida et T. Kikuno, ON DESIRABLE FAULT-TOLERANT TOPOLOGY FOR CLUSTER-BASED NETWORK, IEICE transactions on fundamentals of electronics, communications and computer science, E77A(10), 1994, pp. 1617-1622
Citation: Y. Kakuda et al., AUTOMATED SYNTHESIS OF PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS WITH PARALLELLY EXECUTABLE MULTIPLE PRIMITIVES, IEICE transactions on fundamentals of electronics, communications and computer science, E77A(10), 1994, pp. 1634-1645