Izumi Takeuti

According to our database, Izumi Takeuti authored at least 15 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Secret Sharing Scheme with Perfect Concealment.

Izumi Takeuti, Tomoko Adachi

IACR Cryptol. ePrint Arch., 2023

2012

Workflows with Passbacks and Incremental Verification of Their Correctness.

Osamu Takaki, Izumi Takeuti, Noriaki Izumi, Kôiti Hasida

IEICE Trans. Inf. Syst., 2012

2010

Syntax and Semantics of Workflows That Include Passbacks.

Osamu Takaki, Izumi Takeuti, Noriaki Izumi, Kôiti Hasida

Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

2008

On Embedding a Qualitative Representation in a Two-Dimensional Plane.

Kazuko Takahashi, Takao Sumitomo, Izumi Takeuti

Spatial Cogn. Comput., 2008

Workflow Diagrams Based on Evidence Life Cycles.

Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi

Proceedings of the Knowledge-Based Software Engineering, 2008

Incremental Verification of Large ScaleWorkflows Based on Extended Correctness.

Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi

Proceedings of the Third International Conference on Software Engineering Advances, 2008

Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency.

Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi

Proceedings of the ICEIS 2008, 2008

2007

Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams.

Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi

Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

2004

Transition Systems over Continuous Time-Space.

Izumi Takeuti

Proceedings of the 6th Workshop on Computability and Complexity in Analysis, 2004

2001

CAL: A Computer Assisted Learning System for Computation and Logic.

Masahiko Sato, Yukiyoshi Kameyama, Izumi Takeuti

Proceedings of the Computer Aided Systems Theory, 2001

2000

Pruning Terms for Principal Type Assignment.

Izumi Takeuti

Proceedings of the Computing: the Australasian Theory Symposium, 2000

Effective Fixed Point Theorem over a Non-computably Separable Metric Space.

Izumi Takeuti

Proceedings of the Computability and Complexity in Analysis, 4th International Workshop, 2000

1998

An Axiomatic System of Parametricity.

Izumi Takeuti

Fundam. Informaticae, 1998

A Type Theory for Cyclic Strcture.

Izumi Takeuti

Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998

1996

A reduction rule for Peirce formula.

Sachio Hirokawa, Yuichi Komori, Izumi Takeuti

Stud Logica, 1996