The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Koichi Takahashi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.107secs, Finished in 0.110secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002