 | 2007 |
|---|
| 6 |       | Atsushi Ohori,
Isao Sasano:
Lightweight fusion by fixed point promotion.
POPL 2007: 143-154 |
| 2005 |
|---|
| 5 | | Isao Sasano,
Mizuhito Ogawa,
Zhenjiang Hu:
Maximum Marking Problems with Accumulative Weight Functions.
ICTAC 2005: 562-578 |
| 2003 |
|---|
| 4 | | Mizuhito Ogawa,
Zhenjiang Hu,
Isao Sasano:
Iterative-free program analysis.
ICFP 2003: 111-123 |
| 2002 |
|---|
| 3 |  | Mizuhito Ogawa,
Zhenjiang Hu,
Isao Sasano,
Masato Takeichi:
Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses.
APLAS 2002: 58-73 |
| 2001 |
|---|
| 2 | | Isao Sasano,
Zhenjiang Hu,
Masato Takeichi:
Generation of Efficient Programs for Solving Maximum Multi-marking Problems.
SAIG 2001: 72-91 |
| 2000 |
|---|
| 1 | | Isao Sasano,
Zhenjiang Hu,
Masato Takeichi,
Mizuhito Ogawa:
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems.
ICFP 2000: 137-149 |
