Masahiko Sakai
Orcid: 0000-0002-6234-0161
According to our database1,
Masahiko Sakai
authored at least 47 papers
between 1992 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
3
1
1
1
3
1
2
4
1
2
1
1
1
1
1
1
1
2
2
2
1
1
1
2
1
2
2
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
J. Robotics Mechatronics, December, 2023
J. Adv. Comput. Intell. Intell. Informatics, July, 2023
2021
CoRR, 2021
2020
Proceedings of the 21th International Society for Music Information Retrieval Conference, 2020
2019
Appl. Algebra Eng. Commun. Comput., 2019
Proceedings of the Mathematics and Computation in Music - 7th International Conference, 2019
2018
Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018
2017
Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers.
Proceedings of the Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2017
Proceedings of the Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2017
2016
Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems.
Proceedings of the Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2016
Proceedings of the Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2016
2015
Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers.
IEICE Trans. Inf. Syst., 2015
Proceedings of the Automated Deduction - CADE-25, 2015
Proceedings of the Automated Deduction - CADE-25, 2015
2014
Proceedings of the First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2014
2013
On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained Terms.
Proceedings of the Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers, 2013
2012
Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
Log. Methods Comput. Sci., 2012
Proceedings of the Logic-Based Program Synthesis and Transformation, 2012
2011
Decidability of Reachability for Right-shallow Context-sensitive Term Rewriting Systems.
Inf. Media Technol., 2011
Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity.
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011
2010
Inf. Process. Lett., 2010
Decidability of Termination and Innermost Termination for Term Rewriting Systems with Right-Shallow Dependency Pairs.
IEICE Trans. Inf. Syst., 2010
Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010
2009
Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems.
Inf. Media Technol., 2009
Inf. Media Technol., 2009
Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques.
IEICE Trans. Inf. Syst., 2009
Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems.
IEICE Trans. Inf. Syst., 2009
2008
Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming, 2008
Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems.
Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008
2007
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems.
Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007
Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007
Enhancing dependency pair method using strong computability in simply-typed term rewriting.
Appl. Algebra Eng. Commun. Comput., 2007
2006
Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006
Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems.
Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006
2005
IEICE Trans. Inf. Syst., 2005
Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting.
IEICE Trans. Inf. Syst., 2005
Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005
2003
Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003
2002
Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002
1998
Theor. Comput. Sci., 1998
1997
Algebraic specification with provision for the automatic addition of error descriptions.
Syst. Comput. Jpn., 1997
1996
Syst. Comput. Jpn., 1996
1992
Syst. Comput. Jpn., 1992