Koichi Takahashi

2007
17	EE	Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi: Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams. ICSEA 2007: 9
16	EE	Kamugisha Kazaura, Kazunori Omae, Toshiji Suzuki, Mitsuji Matsumoto, Edward Mutafungwa, Tadaaki Murakami, Koichi Takahashi, Hideki Matsumoto, Kazuhiko Wakamori, Yoshinori Arimoto: Performance Evaluation of Next Generation Free-Space Optical Communication System. IEICE Transactions 90-C(2): 381-388 (2007)
2006
15	EE	Yukio Ohsawa, Naohiro Matsumura, Koichi Takahashi: Resonance without Response: The Way of Topic Growth in Communications. Chance Discoveries in Real World Decision Making 2006: 155-165
2005
14	EE	Yoshinori Adachi, Koichi Takahashi, Masahiro Ozaki, Yuji Iwahori: Development of Judging Method of Understanding Level in Web Learning. KES (1) 2005: 781-786
13	EE	Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya: A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. TABLEAUX 2005: 277-291
2004
12	EE	Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato: Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. FLOPS 2004: 7-21
11	EE	Koichi Takahashi, Yukio Ohsawa, Naohiro Matsumura: Emergence of Product Value from On-line Communications. KES 2004: 839-846
2003
10		Koichi Takahashi, N. Ishikawa, Y. Sadamoto, H. Sasamoto, S. Ohta, A. Shiozawa, Fumihiko Miyoshi, Y. Naito, Yoichi Nakayama, Masaru Tomita: E-Cell 2: Multi-platform E-Cell simulation system. Bioinformatics 19(13): 1727-1729 (2003)
9		Michael Hucka, Andrew Finney, Herbert M. Sauro, H. Bolouri, John C. Doyle, Hiroaki Kitano, Adam P. Arkin, Benjamin J. Bornstein, D. Bray, A. Cornish-Bowden, A. A. Cuellar, Serge Dronov, Ernst Dieter Gilles, Martin Ginkel, Victoria Gor, Igor Goryanin, W. J. Hedley, T. Charles Hodgman, J. H. Hofmeyr, P. J. Hunter, Nick S. Juty, J. L. Kasberger, Andreas Kremling, Ursula Kummer, Nicolas Le Novère, Leslie M. Loew, D. Lucio, Pedro Mendes, E. Minch, Eric Mjolsness, Yoichi Nakayama, M. R. Nelson, P. F. Nielsen, T. Sakurada, James C. Schaff, Bruce E. Shapiro, Thomas Simon Shimizu, Hugh D. Spence, Jörg Stelling, Koichi Takahashi, Masaru Tomita, J. Wagner, J. Wang: The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19(4): 524-531 (2003)
2002
8	EE	Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito: Verification of Authentication Protocols Based on the Binding Relation. ISSS 2002: 299-316
7	EE	Koichi Takahashi, Masami Hagiya: Searching for Mutual Exclusion Algorithms Using BDDs. Progress in Discovery Science 2002: 1-18
2000
6		Koichi Takahashi, Masami Hagiya: Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. APLAS 2000: 1-8
5	EE	Masaru Tomita, Kenta Hashimoto, Koichi Takahashi, Yuri Matsuzaki, Ryo Matsushima, Katsuyuki Yugi, Fumihiko Miyoshi, Hisako Nakano, Yusuke Saito, S. Shimizu, Yoichi Nakayama: The E-CELL project: towards integrative simulation of cellular processes. RECOMB 2000: 290-298
1999
4		Masaru Tomita, Kenta Hashimoto, Koichi Takahashi, Thomas Simon Shimizu, Yuri Matsuzaki, Fumihiko Miyoshi, K. Saito, S. Tanida, Katsuyuki Yugi, J. C. Venter, C. A. Hutchison III: E-CELL: software environment for whole-cell simulation. Bioinformatics 15(1): 72-84 (1999)
3	EE	Koichi Takahashi, Masami Hagiya: Proving as Editing HOL Tactics. Formal Asp. Comput. 11(3): 343-357 (1999)
1998
2		Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai: Formalization of Graph Search Algorithms and Its Applications. TPHOLs 1998: 479-496
1990
1		Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi: A LOTOS Simulator in OBJ. FORTE 1990: 535-538

Coauthor Index

1	Yoshinori Adachi	[14]
2	Yoshinori Arimoto	[16]
3	Adam P. Arkin	[9]
4	H. Bolouri	[9]
5	Benjamin J. Bornstein	[9]
6	D. Bray	[9]
7	A. Cornish-Bowden	[9]
8	A. A. Cuellar	[9]
9	John Doyle (John C. Doyle)	[9]
10	Serge Dronov	[9]
11	Andrew Finney	[9]
12	Kokichi Futatsugi	[1]
13	Ernst Dieter Gilles	[9]
14	Martin Ginkel	[9]
15	Victoria Gor	[9]
16	Igor Goryanin	[9]
17	Masami Hagiya	[2] [3] [6] [7] [8] [12] [13]
18	Kenta Hashimoto	[4] [5]
19	W. J. Hedley	[9]
20	T. Charles Hodgman	[9]
21	J. H. Hofmeyr	[9]
22	Michael Hucka	[9]
23	P. J. Hunter	[9]
24	C. A. Hutchison III	[4]
25	N. Ishikawa	[10]
26	Yuji Iwahori	[14]
27	Noriaki Izumi	[17]
28	Nick S. Juty	[9]
29	J. L. Kasberger	[9]
30	Kamugisha Kazaura	[16]
31	Hiroaki Kitano	[9]
32	Andreas Kremling	[9]
33	Ursula Kummer	[9]
34	Leslie M. Loew	[9]
35	D. Lucio	[9]
36	Hideki Matsumoto	[16]
37	Mitsuji Matsumoto	[16]
38	Naohiro Matsumura	[11] [15]
39	Ryo Matsushima	[5]
40	Yuri Matsuzaki	[4] [5]
41	Pedro Mendes	[9]
42	E. Minch	[9]
43	Fumihiko Miyoshi	[4] [5] [10]
44	Eric Mjolsness	[9]
45	Tadaaki Murakami	[16]
46	Edward Mutafungwa	[16]
47	Y. Naito	[10]
48	Hisako Nakano	[5]
49	Yoichi Nakayama	[5] [9] [10]
50	M. R. Nelson	[9]
51	P. F. Nielsen	[9]
52	Shin-ya Nishizaki	[2]
53	Nicolas Le Novère	[9]
54	Kazuhito Ohmaki	[1]
55	Yukio Ohsawa	[11] [15]
56	S. Ohta	[10]
57	Kazunori Omae	[16]
58	Masahiro Ozaki	[14]
59	Y. Sadamoto	[10]
60	K. Saito	[4]
61	Takamichi Saito	[8]
62	Yusuke Saito	[5]
63	T. Sakurada	[9]
64	H. Sasamoto	[10]
65	Takahiro Sato	[12]
66	Herbert M. Sauro	[9]
67	James C. Schaff	[9]
68	Takahiro Seino	[17]
69	Bruce E. Shapiro	[9]
70	S. Shimizu	[5]
71	Thomas Simon Shimizu	[4] [9]
72	A. Shiozawa	[10]
73	Hugh D. Spence	[9]
74	Jörg Stelling	[9]
75	Toshiji Suzuki	[16]
76	Osamu Takaki	[17]
77	Ryo Takemura	[8]
78	Izumi Takeuti	[17]
79	Tetsuo Tamai	[2]
80	Yoshinori Tanabe	[13]
81	S. Tanida	[4]
82	Masaru Tomita	[4] [5] [9] [10]
83	Akihiko Tozawa	[13]
84	J. C. Venter	[4]
85	J. Wagner	[9]
86	Kazuhiko Wakamori	[16]
87	J. Wang	[9]
88	Mitsuharu Yamamoto	[2] [12] [13]
89	Katsuyuki Yugi	[4] [5]

Colors in the list of coauthors