| |
| 2007 | ||
|---|---|---|
| 4 | EE | Takeshi Matsumoto, Daisuke Ando, Tasuku Nishihara, Masahiro Fujita: Development and Verification of a Collaborative Printing Environment. C5 2007: 99-108 |
| 2006 | ||
| 3 | EE | Takeshi Matsumoto, Hiroshi Saito, Masahiro Fujita: Equivalence Checking of C Programs by Locally Performing Symbolic Simulation on Dependence Graphs. ISQED 2006: 370-375 |
| 2 | EE | Toru Hyakutake, Takeshi Matsumoto, Shinichiro Yanase: Lattice Boltzmann simulation of blood cell behavior at microvascular bifurcations. Mathematics and Computers in Simulation 72(2-6): 134-140 (2006) |
| 2005 | ||
| 1 | EE | Takeshi Matsumoto, Hiroshi Saito, Masahiro Fujita: An Equivalence Checking Method for C Descriptions Based on Symbolic Simulation with Textual Differences. IEICE Transactions 88-A(12): 3315-3323 (2005) |
| 1 | Daisuke Ando | [4] |
| 2 | Masahiro Fujita | [1] [3] [4] |
| 3 | Toru Hyakutake | [2] |
| 4 | Tasuku Nishihara | [4] |
| 5 | Hiroshi Saito | [1] [3] |
| 6 | Shinichiro Yanase | [2] |