| 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) |
