Isao Sasano
Isao Sasano
Verified email at sic.shibaura-it.ac.jp - Homepage
TitleCited byYear
Lightweight fusion by fixed point promotion
A Ohori, I Sasano
ACM SIGPLAN Notices 42 (1), 143-154, 2007
602007
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
532000
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
302011
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
182001
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
162011
Maximum marking problems with accumulative weight functions
I Sasano, M Ogawa, Z Hu
International Colloquium on Theoretical Aspects of Computing, 562-578, 2005
132005
Iterative-free program analysis
M Ogawa, Z Hu, I Sasano
ACM SIGPLAN Notices 38 (9), 111-123, 2003
92003
Detecting code clones with gaps by function applications
T Matsushita, I Sasano
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and …, 2017
52017
Derivation of a Linear Algorithm for Mining Optimized Gain Association Rules.
篠埜功, 胡振江, 武市正人, 小川瑞史
コンピュータ ソフトウェア 19 (4), 283-288, 2002
42002
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
32012
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
32012
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
22012
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
22011
Toward modular implementation of practical identifier completion on incomplete program text
I Sasano
Proceedings of the 8th International Conference on Bioinspired Information …, 2014
12014
Calculating linear time algorithms for solving maximum weightsum problems
I Sasano, Z Hu, M Takeichi, M Ogawa
Computer Software, 2001
12001
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
12001
A general recursive form for graph traversals and its transformation
I Sasano, Z Hu, M Takeichi
Computer Software 17 (3), 2-19, 2000
12000
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
2019
PVRotate: An Improved Vibration-Based User Authentication Method
Y Hirakawa, F Hirose, I Sasano
International Journal of Future Computer and Communication 8 (2), 2019
2019
Improvements in a Puzzle Authentication Method
Y Hirakawa, A Shimoda, I Sasano, K Ohzeki
Journal of Computer and Communications 6, 12-20, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20