Takahiro Seino
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2005–2008
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |
| 2005 | APSEC | A Lightweight Integration of Theorem Proving and Model Checking for System Verification. | Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata |
| 2005 | SEKE | Provably Correct Translation from CafeOBJ into Java. | Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi |