Candidate Boolean Functions towards Super-Quadratic Formula Size.

IEICE Technical Report, vol. 112, no. 93, COMP2012-18, pp. 49-55, June 21, 2012.

Formula Complexity of Ternary Majorities.

In Proceedings of The 18th Annual International Computing and Combinatorics Conference (COCOON 2012), Sydney, Australia, August 20-22, 2012. [PDF]
Lecture Notes in Computer Science 7434, pp. 433-444, Springer-Verlag, 2012.

Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds.

International Journal of Foundations of Computer Science, World Scientific, Vol. 24, No. 8, pp. 1339-1354, World Scientific, December 2013. [DOI]

In Proceedings of The 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010), Brno, Czech Republic, August 23-27, 2010.
[PDF]
Lecture Notes in Computer Science 6281, pp. 665-676, Springer-Verlag, 2010.
[DOI]

A Stronger LP Bound for Formula Size Lower Bounds via Clique Constraints.

Theoretical Computer Science, Vol. 434, pp. 87-97, Elsevier, May 2012. [DOI] [KURENAI]

In Proceedings of The 26th International Symposium on Theoretical Aspects of Computer Science (STACS 2009),
Freiburg, Germany, February 26-28, 2009.
[PDF]
Leibniz International Proceedings in Informatics 3, pp. 685-696, Schloss Dagstuhl, 2009.
[DOI]

Relating L versus P to Reversal versus Access and Their Combinatorial Structures.

IEICE Transactions on Information and Systems E91-D (12), pp. 2776-2783, 2008.
[DOI]

Recursion Theoretic Operators for Function Complexity Classes.

IEICE Transactions on Information and Systems E91-D (4), pp. 990-995, 2008.
[DOI]

In Proceedings of The 16th Annual International Symposium on Algorithms and Computation (ISAAC 2005),
Sanya, Hainan, China, December 19-21, 2005.
Lecture Notes in Computer Science 3827, pp. 748-756, Springer-Verlag, 2005.
[DOI]