Travelled to:1 × Japan
1 × Spain
Collaborated with:M.Hagiya M.Yamamoto T.Sato O.Takaki T.Seino I.Takeuti N.Izumi
Talks about:asynchron (1) workflow (1) synchron (1) passback (1) cellular (1) automata (1) abstract (1) qualiti (1) diagram (1) consist (1)
Person: Koichi Takahashi
DBLP: Takahashi:Koichi
Contributed to:
2008
2004Wrote 2 papers:
- ICEIS-ISAS2-2008-TakakiSTIT #consistency #diagrams #quality #workflow
- Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency (OT, TS, IT, NI, KT), pp. 351–359.
- FLOPS-2004-HagiyaTYS #abstraction #analysis #automaton #logic #using
- Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic (MH, KT, MY, TS), pp. 7–21.