Izumi Takeuti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1998–2010
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ICSEA | Syntax and Semantics of Workflows That Include Passbacks. | Osamu Takaki, Izumi Takeuti, Noriaki Izumi, Kiti Hasida |
| 2008 | ICSEA | Incremental Verification of Large ScaleWorkflows Based on Extended Correctness. | Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi |
| 2007 | ICSEA | Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams. | Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi |
| 2000 | CCA | Effective Fixed Point Theorem over a Non-computably Separable Metric Space. | Izumi Takeuti |
| 1998 | FLOPS | A Type Theory for Cyclic Strcture. | Izumi Takeuti |