A Tree Generating System. - Aravind K. Joshi; Leon S. Levy; Masako Takahashi (ICALP, 1972)

Primitive Tranformations of Regular Sets and Recognizable Sets. - Masako Takahashi (ICALP, 1972)

Tree Adjunct Grammars. - Aravind K. Joshi; Leon S. Levy; Masako Takahashi (J. Comput. Syst. Sci., 1975)

Generalizations of Regular Sets and Their Applicatin to a Study of Context-Free Languages - Masako Takahashi (Inf. Control., 1975)

Rational relations of Binary Trees. - Masako Takahashi (ICALP, 1977)

Nest Sets and Relativized Closure Properties. - Masako Takahashi (Theor. Comput. Sci., 1983)

A Note on omega-Regular Languages. - Masako Takahashi; Hideki Yamasaki (Theor. Comput. Sci., 1983)

Logical formulas and four subclasses of omega-regular languages. - Kojiro Kobayashi; Masako Takahashi; Hideki Yamasaki (Automata on Infinite Words, 1984)

Characterization of omega-Regular Languages by First-Order Formulas. - Kojiro Kobayashi; Masako Takahashi; Hideki Yamasaki (Theor. Comput. Sci., 1984)

Generalized Parenthesis Languages and Minimization of their Parenthesis Parts. - Hideki Yamasaki; Masako Takahashi (Theor. Comput. Sci., 1984)

The Greatest Fixed-Points and Rational Omega-Tree Languages. - Masako Takahashi (Theor. Comput. Sci., 1986)

Characterization of omega-Regular Languages by Monadic Second-Order Formulas. - Hideki Yamasaki; Masako Takahashi; Kojiro Kobayashi (Theor. Comput. Sci., 1986)

Brzozowski Hierarchy of omega-Languages. - Masako Takahashi (Theor. Comput. Sci., 1987)

Lambda-Calculi with Conditional Rules. - Masako Takahashi (TLCA, 1993)

A Simple Proof of the Genericity Lemma. - Masako Takahashi (Logic, Language and Computation, 1994)

Decidable Properties of Intersection Type Systems. - Toshihiko Kurata; Masako Takahashi (TLCA, 1995)

Parallel Reductions in lambda-Calculus - Masako Takahashi (Inf. Comput., 1995)

Normal Proofs and Their Grammar. - Masako Takahashi; Yohji Akama; Sachio Hirokawa (Inf. Comput., 1996)

Lambda-representable Functions over Free Structures Revisited. - Masako Takahashi (Fuji International Symposium on Functional and Logic Programming, 1998)

On Computable Tree Functions. - Masahiro Kimoto; Masako Takahashi (ASIAN, 2000)

Lambda-Representable Functions Over Term Algebras. - Masako Takahashi (Int. J. Found. Comput. Sci., 2001)

Theories of Types and Proofs 1997 - Preface. - Mariangiola Dezani-Ciancaglini; Mitsuhiro Okada; Masako Takahashi (Theor. Comput. Sci., 2002)