dblp.uni-trier.dewww.uni-trier.de

Koichi Takahashi Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
27EEToshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, Tohru Kikuno: Probabilistic Model Checking of the One-Dimensional Ising Model. IEICE Transactions 92-D(5): 1003-1011 (2009)
26EEYoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi: Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus. IEICE Transactions 92-D(5): 995-1002 (2009)
2008
25EEYoshinori Tanabe, Koichi Takahashi, Masami Hagiya: A decision procedure for alternation-free modal µ-calculi. Advances in Modal Logic 2008: 341-362
24EEKoichi 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
22EEOsamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi: Incremental Verification of Large ScaleWorkflows Based on Extended Correctness. ICSEA 2008: 478-487
21EEOsamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi: Workflow Diagrams Based on Evidence Life Cycles. JCKBSE 2008: 145-154
20EEYoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi: Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic. VSTTE 2008: 115-129
2007
19EEOsamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi: Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams. ICSEA 2007: 9
18EEKamugisha 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
17EEYukio 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
16EEYoshinori Adachi, Koichi Takahashi, Masahiro Ozaki, Yuji Iwahori: Development of Judging Method of Understanding Level in Web Learning. KES (1) 2005: 781-786
15EEYoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya: A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. TABLEAUX 2005: 277-291
14EEMitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya: Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. VSTTE 2005: 518-527
2004
13EEMasami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato: Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. FLOPS 2004: 7-21
12EEKoichi 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, Autumn 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, Poul M. 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
9EEMasami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito: Verification of Authentication Protocols Based on the Binding Relation. ISSS 2002: 299-316
8EEKoichi 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
6EEMasami Hagiya, Koichi Takahashi: Discovery and Deduction. Discovery Science 2000: 17-37
5EEMasaru 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)
3EEKoichi Takahashi, Masami Hagiya: Proving as Editing HOL Tactics. Formal Asp. Comput. 11(3): 343-357 (1999)
1998
2EEMitsuharu 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)