Search the dblp DataBase

Publications of Author

1. Koichi Takahashi, Masami Hagiya
   Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. [Citation Graph (0, 0)][DBLP]
   APLAS, 2000, pp:1-8 [Conf]
   
2. Masami Hagiya, Koichi Tagahashi
   Discovery and Deduction. [Citation Graph (0, 0)][DBLP]
   Discovery Science, 2000, pp:17-37 [Conf]
   
3. Koichi Takahashi, Masami Hagiya
   Searching for Mutual Exclusion Algorithms Using BDDs. [Citation Graph (0, 0)][DBLP]
   Progress in Discovery Science, 2002, pp:1-18 [Conf]
   
4. Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato
   Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2004, pp:7-21 [Conf]
   
5. Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi
   A LOTOS Simulator in OBJ. [Citation Graph (0, 0)][DBLP]
   FORTE, 1990, pp:535-538 [Conf]
   
6. Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito
   Verification of Authentication Protocols Based on the Binding Relation. [Citation Graph (0, 0)][DBLP]
   ISSS, 2002, pp:299-316 [Conf]
   
7. Yoshinori Adachi, Koichi Takahashi, Masahiro Ozaki, Yuji Iwahori
   Development of Judging Method of Understanding Level in Web Learning. [Citation Graph (0, 0)][DBLP]
   KES (1), 2005, pp:781-786 [Conf]
   
8. Koichi Takahashi, Yukio Ohsawa, Naohiro Matsumura
   Emergence of Product Value from On-line Communications. [Citation Graph (0, 0)][DBLP]
   KES, 2004, pp:839-846 [Conf]
   
9. 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. [Citation Graph (0, 0)][DBLP]
   RECOMB, 2000, pp:290-298 [Conf]
   
10. Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya
    A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2005, pp:277-291 [Conf]
    
11. Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai
    Formalization of Graph Search Algorithms and Its Applications. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1998, pp:479-496 [Conf]
    
12. 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, S. 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. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2003, v:19, n:4, pp:524-531 [Journal]
    
13. 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. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2003, v:19, n:13, pp:1727-1729 [Journal]
    
14. 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. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 1999, v:15, n:1, pp:72-84 [Journal]
    
15. Koichi Takahashi, Masami Hagiya
    Proving as Editing HOL Tactics. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:3, pp:343-357 [Journal]
    
16. 
    A decision procedure for alternation-free modal µ-calculi. [Citation Graph (, )][DBLP]
    
    
17. 
    An Exact Brownian Dynamics Method for Cell Simulation. [Citation Graph (, )][DBLP]
    
    
18. 
    Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency. [Citation Graph (, )][DBLP]
    
    
19. 
    Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams. [Citation Graph (, )][DBLP]
    
    
20. 
    Incremental Verification of Large ScaleWorkflows Based on Extended Correctness. [Citation Graph (, )][DBLP]
    
    
21. 
    Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic. [Citation Graph (, )][DBLP]
    
    
22. 
    Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. [Citation Graph (, )][DBLP]
    
    
23. 
    Workflow Diagrams Based on Evidence Life Cycles. [Citation Graph (, )][DBLP]