Izumi Takeuti

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