Masahiko Sakai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2002–2018
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | PPDP | Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems. | Genki Sakanashi, Masahiko Sakai |
| 2015 | CADE | Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies. | Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai |
| 2015 | CADE | Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent. | Masahiko Sakai, Michio Oyamaguchi, Mizuhito Ogawa |
| 2012 | LOPSTR | Improving Determinization of Grammar Programs for Program Inversion. | Minami Niwa, Naoki Nishida, Masahiko Sakai |
| 2010 | FLOPS | Proving Injectivity of Functions via Program Inversion in Term Rewriting. | Naoki Nishida, Masahiko Sakai |
| 2002 | FLOPS | Descendants and Head Normalization of Higher-Order Rewrite Systems. | Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa |