A reduction rule for Peirce formula. - Sachio Hirokawa; Yuichi Komori; Izumi Takeuti (Stud Logica, 1996)

A Type Theory for Cyclic Strcture. - Izumi Takeuti (Fuji International Symposium on Functional and Logic Programming, 1998)

An Axiomatic System of Parametricity. - Izumi Takeuti (Fundam. Informaticae, 1998)

Effective Fixed Point Theorem over a Non-computably Separable Metric Space. - Izumi Takeuti (CCA, 2000)

Pruning Terms for Principal Type Assignment. - Izumi Takeuti (CATS, 2000)

CAL: A Computer Assisted Learning System for Computation and Logic. - Masahiko Sato 001; Yukiyoshi Kameyama; Izumi Takeuti (EUROCAST, 2001)

Transition Systems over Continuous Time-Space. - Izumi Takeuti (CCA, 2004)

Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams. - Osamu Takaki; Takahiro Seino; Izumi Takeuti; Noriaki Izumi; Koichi Takahashi (ICSEA, 2007)

Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency. - Osamu Takaki; Takahiro Seino; Izumi Takeuti; Noriaki Izumi; Koichi Takahashi (ICEIS (3-2), 2008)

Incremental Verification of Large ScaleWorkflows Based on Extended Correctness. - Osamu Takaki; Izumi Takeuti; Takahiro Seino; Noriaki Izumi; Koichi Takahashi (ICSEA, 2008)

Workflow Diagrams Based on Evidence Life Cycles. - Osamu Takaki; Takahiro Seino; Izumi Takeuti; Noriaki Izumi; Koichi Takahashi (JCKBSE, 2008)

On Embedding a Qualitative Representation in a Two-Dimensional Plane. - Kazuko Takahashi; Takao Sumitomo; Izumi Takeuti (Spatial Cogn. Comput., 2008)

Syntax and Semantics of Workflows That Include Passbacks. - Osamu Takaki; Izumi Takeuti; Noriaki Izumi; Kôiti Hasida (ICSEA, 2010)

Workflows with Passbacks and Incremental Verification of Their Correctness. - Osamu Takaki; Izumi Takeuti; Noriaki Izumi; Kôiti Hasida (IEICE Trans. Inf. Syst., 2012)

Secret Sharing Scheme with Perfect Concealment. - Izumi Takeuti; Tomoko Adachi (IACR Cryptol. ePrint Arch., 2023)