|
Search the dblp DataBase
Isao Sasano:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi
Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. [Citation Graph (0, 0)][DBLP] APLAS, 2002, pp:58-73 [Conf]
- Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano
Iterative-free program analysis. [Citation Graph (0, 0)][DBLP] ICFP, 2003, pp:111-123 [Conf]
- Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. [Citation Graph (0, 0)][DBLP] ICFP, 2000, pp:137-149 [Conf]
- Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu
Maximum Marking Problems with Accumulative Weight Functions. [Citation Graph (0, 0)][DBLP] ICTAC, 2005, pp:562-578 [Conf]
- Atsushi Ohori, Isao Sasano
Lightweight fusion by fixed point promotion. [Citation Graph (0, 0)][DBLP] POPL, 2007, pp:143-154 [Conf]
- Isao Sasano, Zhenjiang Hu, Masato Takeichi
Generation of Efficient Programs for Solving Maximum Multi-marking Problems. [Citation Graph (0, 0)][DBLP] SAIG, 2001, pp:72-91 [Conf]
Search in 0.001secs, Finished in 0.001secs
|