Lightweight fusion by fixed point promotion A Ohori, I Sasano ACM SIGPLAN Notices 42 (1), 143-154, 2007 | 58 | 2007 |

Make it practical: A generic linear-time algorithm for solving maximum-weightsum problems I Sasano, Z Hu, M Takeichi, M Ogawa ACM SIGPLAN Notices 35 (9), 137-149, 2000 | 52 | 2000 |

Toward bidirectionalization of ATL with GRoundTram I Sasano, Z Hu, S Hidaka, K Inaba, H Kato, K Nakano International Conference on Theory and Practice of Model Transformations …, 2011 | 30 | 2011 |

Generation of efficient programs for solving maximum multi-marking problems I Sasano, Z Hu, M Takeichi International Workshop on Semantics, Applications, and Implementation of …, 2001 | 18 | 2001 |

Marker-directed optimization of uncal graph transformations S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano, I Sasano International Symposium on Logic-Based Program Synthesis and Transformation …, 2011 | 17 | 2011 |

Maximum marking problems with accumulative weight functions I Sasano, M Ogawa, Z Hu International Colloquium on Theoretical Aspects of Computing, 562-578, 2005 | 13 | 2005 |

Iterative-free program analysis M Ogawa, Z Hu, I Sasano ACM SIGPLAN Notices 38 (9), 111-123, 2003 | 9 | 2003 |

Detecting code clones with gaps by function applications T Matsushita, I Sasano Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and …, 2017 | 8 | 2017 |

Agent Control in Multiagent Systems: Reinforcement Learning of Weight Parameters in Particle Swarm Optimization H Igarashi, M Handa, S Ishihara, I Sasano The Research Reports of Shibaura Institute of Technology, Natural Sciences …, 2012 | 4 | 2012 |

Derivation of a Linear Algorithm for Mining Optimized Gain Association Rules. 篠埜功， 胡振江， 武市正人， 小川瑞史 コンピュータ ソフトウェア 19 (4), 283-288, 2002 | 4 | 2002 |

An approach to completing variable names for implicitly typed functional languages I Sasano, T Goto Higher-Order and Symbolic Computation 25 (1), 127-163, 2012 | 3 | 2012 |

An approach to completing variable names for implicitly typed functional languages T Goto, I Sasano Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and …, 2012 | 3 | 2012 |

Toward modular implementation of practical identifier completion on incomplete program text I Sasano Proceedings of the 8th International Conference on Bioinspired Information …, 2014 | 2 | 2014 |

Marker-directed Optimization of UnCAL Graph Transformations (revised version) S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano, I Sasano Technical Report GRACE-TR-2011-06, GRACE Center, National Institute of …, 2011 | 2 | 2011 |

Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation K Kikuchi, T Aoto, I Sasano Proceedings of the 21st International Symposium on Principles and Practice …, 2019 | 1 | 2019 |

PVRotate: An Improved Vibration-Based User Authentication Method Y Hirakawa, F Hirose, I Sasano International Journal of Future Computer and Communication 8 (2), 50-54, 2019 | 1 | 2019 |

Calculating linear time algorithms for solving maximum weightsum problems I Sasano, Z Hu, M Takeichi, M Ogawa Computer Software, 2001 | 1 | 2001 |

Solving a class of knapsack problems on recursive data structures I Sasano, Z Hu, M Takeichi, M Ogawa Computer Software 18 (2), 59-63, 2001 | 1 | 2001 |

A general recursive form for graph traversals and its transformation I Sasano, Z Hu, M Takeichi Computer Software 17 (3), 2-19, 2000 | 1 | 2000 |

An approach to generate text-based IDEs for syntax completion based on syntax specification I Sasano Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and …, 2020 | | 2020 |