• 133 引用
  • 6 h指数
20002017

Research output per year

Pureに変更を加えた場合、すぐここに表示されます。

研究成果

  • 133 引用
  • 6 h指数
  • 16 Article
  • 6 Conference contribution
  • 2 Paper
  • 2 Conference article
2017

Detecting code clones with gaps by function applications

Matsushita, T. & Sasano, I., 2017 1 2, PEPM 2017 - Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2017. Association for Computing Machinery, Inc, p. 12-22 11 p.

研究成果: Conference contribution

4 引用 (Scopus)
1 引用 (Scopus)

Embedding the C language into SML#

Sasano, I. & Ohori, A., 2012 7 3, : : Computer Software. 29, 2, p. 193-203 11 p.

研究成果: Article

Marker-directed optimization of UnCAL graph transformations

Hidaka, S., Hu, Z., Inaba, K., Kato, H., Matsuda, K., Nakano, K. & Sasano, I., 2012 8 23, Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Revised Selected Papers. p. 123-138 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 7225 LNCS).

研究成果: Conference contribution

11 引用 (Scopus)

Toward bidirectionalization of ATL with GRoundTram

Sasano, I., Hu, Z., Hidaka, S., Inaba, K., Kato, H. & Nakano, K., 2011 7 18, Theory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Proceedings. p. 138-151 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 6707 LNCS).

研究成果: Conference contribution

16 引用 (Scopus)
2010

Model Query Language MQL

Sasano, I., 2010 3 15, : : Default journal.

研究成果: Article

2007

Lightweight fusion by fixed point promotion

Ohori, A. & Sasano, I., 2007 9 3, Conference Record of POPL 2007: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Papers Presented at the Symposium. p. 143-154 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

研究成果: Conference contribution

25 引用 (Scopus)
2005

Maximum marking problems with accumulative weight functions

Sasano, I., Ogawa, M. & Hu, Z., 2005 12 1, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 562-578 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 3722 LNCS).

研究成果: Conference contribution

4 引用 (Scopus)

Iterative-free program analysis

Ogawa, M., Hu, Z. & Sasano, I., 2003 9, : : ACM SIGPLAN Notices. 38, 9, p. 111-123 13 p.

研究成果: Conference article

5 引用 (Scopus)

Iterative-Free Program Analysis

Ogawat, M., Hu, Z. & Sasano, I., 2003 12 1, p. 111-123. 13 p.

研究成果: Paper

3 引用 (Scopus)

Derivation of a Linear Algorithm for Mining Optimized Gain Association Rules

Sasano, I., Hu, Z., Takeichi, M. & Ogawa, M., 2002 1, : : Computer Software. 19, 4, p. 283-288 6 p.

研究成果: Article

3 引用 (Scopus)

Derivation of linear algorithm for mining optimized gain association rules

Sasano, I., Hu, Z., Takeichi, M. & Ogawa, M., 2002 7 1, : : Computer Software. 19, p. 39-44

研究成果: Article

2001

Calculating linear time algorithms for solving maximum weightsum problems

Sasano, I., Hu, Z., Takeichi, M. & Ogawa, M., 2001 12 1, : : Computer Software. 18, 5, p. 483-498 16 p.

研究成果: Article

Generation of efficient programs for solving maximum multi-marking problems

Sasano, I., Hu, Z. & Takeichi, M., 2001, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, 巻 2196. p. 72-91 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 2196).

研究成果: Conference contribution

8 引用 (Scopus)

Solving a class of knapsack problems on recursive data structures

Sasano, I., Hu, Z., Takeichi, M. & Ogawa, M., 2001 12 1, : : Computer Software. 18, 2, p. 301-305 5 p.

研究成果: Article

1 引用 (Scopus)
2000

A general recursive form for graph traversals and its transformation

Sasano, I., Hu, Z. & Takeichi, M., 2000 12 1, : : Computer Software. 17, 3, p. 2-19 18 p.

研究成果: Article

Make it practical: A generic linear-time algorithm for solving maximum-weightsum problems

Sasano, I., Hu, Z., Takeichi, M. & Ogawa, M., 2000 12 1, p. 137-149. 13 p.

研究成果: Paper

26 引用 (Scopus)
26 引用 (Scopus)