2008 |
12 | | 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 |
11 | EE | Osamu Takaki,
Izumi Takeuti,
Takahiro Seino,
Noriaki Izumi,
Koichi Takahashi:
Incremental Verification of Large ScaleWorkflows Based on Extended Correctness.
ICSEA 2008: 478-487 |
10 | EE | Osamu Takaki,
Takahiro Seino,
Izumi Takeuti,
Noriaki Izumi,
Koichi Takahashi:
Workflow Diagrams Based on Evidence Life Cycles.
JCKBSE 2008: 145-154 |
2007 |
9 | EE | Osamu Takaki,
Takahiro Seino,
Izumi Takeuti,
Noriaki Izumi,
Koichi Takahashi:
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams.
ICSEA 2007: 9 |
2005 |
8 | EE | Izumi Takeuti:
Transition Systems over Continuous Time-Space.
Electr. Notes Theor. Comput. Sci. 120: 173-186 (2005) |
2001 |
7 | EE | Masahiko Sato,
Yukiyoshi Kameyama,
Izumi Takeuti:
CAL: A Computer Assisted Learning System for Computation and Logic.
EUROCAST 2001: 509-524 |
2000 |
6 | EE | Izumi Takeuti:
Effective Fixed Point Theorem over a Non-computably Separable Metric Space.
CCA 2000: 310-322 |
5 | EE | Izumi Takeuti:
Pruning Terms for Principal Type Assignment.
Electr. Notes Theor. Comput. Sci. 31: (2000) |
1998 |
4 | | Izumi Takeuti:
A Type Theory for Cyclic Strcture.
Fuji International Symposium on Functional and Logic Programming 1998: 207-226 |
3 | | Izumi Takeuti:
An Axiomatic System of Parametricity.
Fundam. Inform. 33(4): 397-432 (1998) |
1997 |
2 | | Izumi Takeuti:
An Axiomatic System of Parametricity.
TLCA 1997: 354-372 |
1996 |
1 | | Sachio Hirokawa,
Yuichi Komori,
Izumi Takeuti:
A reduction rule for Peirce formula.
Studia Logica 56(3): 419-426 (1996) |