2009 |
15 | EE | Naoki Nishida,
Masahiko Sakai:
Completion after Program Inversion of Injective Functions.
Electr. Notes Theor. Comput. Sci. 237: 39-56 (2009) |
2008 |
14 | EE | Yoshiharu Kojima,
Masahiko Sakai:
Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems.
RTA 2008: 187-201 |
13 | EE | Keita Uchiyama,
Masahiko Sakai,
Toshiki Sakabe:
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems.
Electr. Notes Theor. Comput. Sci. 204: 21-34 (2008) |
12 | EE | Masahiko Sakai,
Yi Wang:
Undecidable Properties on Length-Two String Rewriting Systems.
Electr. Notes Theor. Comput. Sci. 204: 53-69 (2008) |
2007 |
11 | EE | Keiichirou Kusakari,
Masahiko Sakai:
Enhancing dependency pair method using strong computability in simply-typed term rewriting.
Appl. Algebra Eng. Commun. Comput. 18(5): 407-431 (2007) |
10 | EE | Naoki Nishida,
Tomohiro Mizutani,
Masahiko Sakai:
Transformation for Refining Unraveled Conditional Term Rewriting Systems.
Electr. Notes Theor. Comput. Sci. 174(10): 75-95 (2007) |
2006 |
9 | EE | Yi Wang,
Masahiko Sakai:
Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems.
RTA 2006: 343-356 |
2005 |
8 | EE | Naoki Nishida,
Masahiko Sakai,
Toshiki Sakabe:
Partial Inversion of Constructor Term Rewriting Systems.
RTA 2005: 264-278 |
7 | EE | Keiichirou Kusakari,
Masahiko Sakai,
Toshiki Sakabe:
Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting.
IEICE Transactions 88-D(12): 2715-2726 (2005) |
6 | EE | Masahiko Sakai,
Keiichirou Kusakari:
On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems.
IEICE Transactions 88-D(3): 583-593 (2005) |
2003 |
5 | EE | Naoki Nishida,
Masahiko Sakai,
Toshiki Sakabe:
Narrowing-based simulation of term rewriting systems with extra variables.
Electr. Notes Theor. Comput. Sci. 86(3): (2003) |
2002 |
4 | EE | Hideto Kasuya,
Masahiko Sakai,
Kiyoshi Agusa:
Descendants and Head Normalization of Higher-Order Rewrite Systems.
FLOPS 2002: 198-211 |
1998 |
3 | EE | Masahiko Sakai,
Yoshihito Toyama:
Semantics and Strong Sequentiality of Priority Term Rewriting Systems.
Theor. Comput. Sci. 208(1-2): 87-110 (1998) |
1997 |
2 | EE | Takeshi Hamaguchi,
Masahiko Sakai,
Shinichirou Yamamoto,
Kiyoshi Agusa:
Algebraic specification with provision for the automatic addition of error descriptions.
Systems and Computers in Japan 28(1): 1-9 (1997) |
1996 |
1 | | Masahiko Sakai,
Yoshihito Toyama:
Semantics and Strong Sequentiality of Priority Term Rewriting Systems.
RTA 1996: 377-391 |