( en | de | ru )

 

Disambiguation of "Takahashi, Koichi"

Author of the publication

copydeleteadd this publication to your clipboard
Formalization of Graph Search Algorithms and Its Applications.

, , , , and . TPHOLs, volume 1479 of Lecture Notes in Computer Science, page 479-496. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Koichi Matsumoto

Teruaki Takahashi

Koichi Koshi

Koichi Morikawa

Akeshi Takahashi

 

Other publications of authors with the same name

Workflow Diagrams Based on Evidence Life Cycles., , , , and . JCKBSE, volume 180 of Frontiers in Artificial Intelligence and Applications, page 145-154. IOS Press, (2008)A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus., , , , and . TABLEAUX, volume 3702 of Lecture Notes in Computer Science, page 277-291. Springer, (2005)Facial expression estimation using simplified head model based on particle filtering., , and . AMC, page 173-178. IEEE, (2010)Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification., , , and . VSTTE, volume 4171 of Lecture Notes in Computer Science, page 518-527. Springer, (2005)A Generic Software Platform for Brain-inspired Cognitive Computing., , , , , , and . BICA, volume 71 of Procedia Computer Science, page 31-37. Elsevier, (2015)The principles of whole-cell modeling, , and . Current Opinion in Microbiology, (October 2015)Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic., , , and . FLOPS, volume 2998 of Lecture Notes in Computer Science, page 7-21. Springer, (2004)Discovery and Deduction., and . Discovery Science, volume 1967 of Lecture Notes in Computer Science, page 17-37. Springer, (2000)Searching for Mutual Exclusion Algorithms Using BDDs., and . Progress in Discovery Science, volume 2281 of Lecture Notes in Computer Science, page 1-18. Springer, (2002)Emergence of Product Value from On-line Communications., , and . KES, volume 3214 of Lecture Notes in Computer Science, page 839-846. Springer, (2004)