Izumi Takeuti

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 1

Top Topics

Business Processes

Face Verification

Incremental Learning

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Izumi Takeuti, Tomoko Adachi
Secret Sharing Scheme with Perfect Concealment. IACR Cryptol. ePrint Arch. 2023 (2023)
Osamu Takaki, Izumi Takeuti, Noriaki Izumi, Kôiti Hasida
Workflows with Passbacks and Incremental Verification of Their Correctness. IEICE Trans. Inf. Syst. (4) (2012)
Osamu Takaki, Izumi Takeuti, Noriaki Izumi, Kôiti Hasida
Syntax and Semantics of Workflows That Include Passbacks. ICSEA (2010)
Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi
Incremental Verification of Large ScaleWorkflows Based on Extended Correctness. ICSEA (2008)
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
Workflow Diagrams Based on Evidence Life Cycles. JCKBSE (2008)
Kazuko Takahashi, Takao Sumitomo, Izumi Takeuti
On Embedding a Qualitative Representation in a Two-Dimensional Plane. Spatial Cogn. Comput. 8 (1-2) (2008)
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency. ICEIS (3-2) (2008)
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams. ICSEA (2007)
Izumi Takeuti
Transition Systems over Continuous Time-Space. Electron. Notes Theor. Comput. Sci. 120 (2005)
Masahiko Sato, Yukiyoshi Kameyama, Izumi Takeuti
CAL: A Computer Assisted Learning System for Computation and Logic. EUROCAST (2001)
Izumi Takeuti
Effective Fixed Point Theorem over a Non-computably Separable Metric Space. CCA (2000)
Izumi Takeuti
Pruning Terms for Principal Type Assignment. Electron. Notes Theor. Comput. Sci. 31 (2000)
Izumi Takeuti
An Axiomatic System of Parametricity. Fundam. Informaticae 33 (4) (1998)
Izumi Takeuti
A Type Theory for Cyclic Strcture. Fuji International Symposium on Functional and Logic Programming (1998)
Izumi Takeuti
An Axiomatic System of Parametricity. TLCA (1997)
Sachio Hirokawa, Yuichi Komori, Izumi Takeuti
A reduction rule for Peirce formula. Stud Logica 56 (3) (1996)