Koichi Takahashi

2008
25	EE	Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya: A decision procedure for alternation-free modal µ-calculi. Advances in Modal Logic 2008: 341-362
24	EE	Koichi Takahashi: An Exact Brownian Dynamics Method for Cell Simulation. CMSB 2008: 5-6
23		Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi: Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency. ICEIS (3-2) 2008: 351-359
22	EE	Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi: Incremental Verification of Large ScaleWorkflows Based on Extended Correctness. ICSEA 2008: 478-487
21	EE	Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi: Workflow Diagrams Based on Evidence Life Cycles. JCKBSE 2008: 145-154
20	EE	Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi: Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic. VSTTE 2008: 115-129
2007
19	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
18	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
17	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
16	EE	Yoshinori Adachi, Koichi Takahashi, Masahiro Ozaki, Yuji Iwahori: Development of Judging Method of Understanding Level in Web Learning. KES (1) 2005: 781-786
15	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
14	EE	Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya: Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. VSTTE 2005: 518-527
2004
13	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
12	EE	Koichi Takahashi, Yukio Ohsawa, Naohiro Matsumura: Emergence of Product Value from On-line Communications. KES 2004: 839-846
2003
11		Koichi Takahashi, N. Ishikawa, Y. Sadamoto, H. Sasamoto, S. Ohta, A. Shiozawa, Fumihiko Miyoshi, Yasuhiro Naito, Yoichi Nakayama, Masaru Tomita: E-Cell 2: Multi-platform E-Cell simulation system. Bioinformatics 19(13): 1727-1729 (2003)
10		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, Peter 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
9	EE	Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito: Verification of Authentication Protocols Based on the Binding Relation. ISSS 2002: 299-316
8	EE	Koichi Takahashi, Masami Hagiya: Searching for Mutual Exclusion Algorithms Using BDDs. Progress in Discovery Science 2002: 1-18
2000
7		Koichi Takahashi, Masami Hagiya: Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. APLAS 2000: 1-8
6	EE	Masami Hagiya, Koichi Takahashi: Discovery and Deduction. Discovery Science 2000: 17-37
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	[16]
2	Yoshinori Arimoto	[18]
3	Adam P. Arkin	[10]
4	H. Bolouri	[10]
5	Benjamin J. Bornstein	[10]
6	D. Bray	[10]
7	A. Cornish-Bowden	[10]
8	A. A. Cuellar	[10]
9	John Doyle (John C. Doyle)	[10]
10	Serge Dronov	[10]
11	Andrew Finney	[10]
12	Kokichi Futatsugi	[1]
13	Ernst Dieter Gilles	[10]
14	Martin Ginkel	[10]
15	Victoria Gor	[10]
16	Igor Goryanin	[10]
17	Masami Hagiya	[2] [3] [6] [7] [8] [9] [13] [14] [15] [25]
18	Kenta Hashimoto	[4] [5]
19	W. J. Hedley	[10]
20	Charlie Hodgman (T. Charles Hodgman)	[10]
21	J. H. Hofmeyr	[10]
22	Michael Hucka	[10]
23	Peter J. Hunter	[10]
24	C. A. Hutchison III	[4]
25	N. Ishikawa	[11]
26	Yuji Iwahori	[16]
27	Noriaki Izumi	[19] [21] [22] [23]
28	Nick S. Juty	[10]
29	J. L. Kasberger	[10]
30	Kamugisha Kazaura	[18]
31	Hiroaki Kitano	[10]
32	Andreas Kremling	[10]
33	Ursula Kummer	[10]
34	Leslie M. Loew	[10]
35	D. Lucio	[10]
36	Hideki Matsumoto	[18]
37	Mitsuji Matsumoto	[18]
38	Naohiro Matsumura	[12] [17]
39	Ryo Matsushima	[5]
40	Yuri Matsuzaki	[4] [5]
41	Pedro Mendes	[10]
42	E. Minch	[10]
43	Fumihiko Miyoshi	[4] [5] [11]
44	Eric Mjolsness	[10]
45	Tadaaki Murakami	[18]
46	Edward Mutafungwa	[18]
47	Yasuhiro Naito	[11]
48	Hisako Nakano	[5]
49	Yoichi Nakayama	[5] [10] [11]
50	M. R. Nelson	[10]
51	P. F. Nielsen	[10]
52	Shin-ya Nishizaki	[2]
53	Nicolas Le Novère	[10]
54	Kazuhito Ohmaki	[1]
55	Yukio Ohsawa	[12] [17]
56	S. Ohta	[11]
57	Kazunori Omae	[18]
58	Masahiro Ozaki	[16]
59	Y. Sadamoto	[11]
60	K. Saito	[4]
61	Takamichi Saito	[9]
62	Yusuke Saito	[5]
63	T. Sakurada	[10]
64	H. Sasamoto	[11]
65	Takahiro Sato	[13]
66	Herbert M. Sauro	[10]
67	James C. Schaff	[10]
68	Takahiro Seino	[19] [21] [22] [23]
69	Toshifusa Sekizawa	[20]
70	Bruce E. Shapiro	[10]
71	S. Shimizu	[5]
72	Thomas Simon Shimizu	[4] [10]
73	A. Shiozawa	[11]
74	Hugh D. Spence	[10]
75	Jörg Stelling	[10]
76	Toshiji Suzuki	[18]
77	Osamu Takaki	[19] [21] [22] [23]
78	Ryo Takemura	[9]
79	Izumi Takeuti	[19] [21] [22] [23]
80	Tetsuo Tamai	[2]
81	Yoshinori Tanabe	[14] [15] [20] [25]
82	S. Tanida	[4]
83	Masaru Tomita	[4] [5] [10] [11]
84	Akihiko Tozawa	[15]
85	J. C. Venter	[4]
86	J. Wagner	[10]
87	Kazuhiko Wakamori	[18]
88	J. Wang	[10]
89	Mitsuharu Yamamoto	[2] [13] [14] [15]
90	Yoshifumi Yuasa	[20]
91	Katsuyuki Yugi	[4] [5]

Colors in the list of coauthors