Pushout-Complements and Basic Concepts of Grammars in Toposes. - Yasuo Kawahara (Theor. Comput. Sci., 1990)

Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting. - Yasuo Kawahara; Yoshihiro Mizoguchi (Dagstuhl Seminar on Graph Transformations in Computer Science, 1993)

Relational Set Theory. - Yasuo Kawahara (Category Theory and Computer Science, 1995)

Relational Graph Rewritings. - Yoshihiro Mizoguchi; Yasuo Kawahara (Theor. Comput. Sci., 1995)

Fuzzy Graph Rewritings. - Masao Mori; Yasuo Kawahara (RelMiCS, 1997)

Lattices in Dedekind categories. - Yasuo Kawahara (RelMiCS, 1998)

An algebraic formalization of fuzzy relations. - Yasuo Kawahara; Hitoshi Furusawa (Fuzzy Sets Syst., 1999)

Categorical Representation Theorems of Fuzzy Relations. - Yasuo Kawahara; Hitoshi Furusawa; Masao Mori (Inf. Sci., 1999)

Crispness in Dedekind Categories. - Yasuo Kawahara; Hitoshi Furusawa (RelMiCS, 2000)

Relational Aspects of Relational Database Dependencies. - Yasuo Kawahara; Hitomi Ohkuma (RelMiCS, 2000)

A small final coalgebra theorem. - Yasuo Kawahara; Masao Mori (Theor. Comput. Sci., 2000)

Groups in Allegories. - Yasuo Kawahara (RelMiCS, 2001)

A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories. - Hitomi Okuma; Yasuo Kawahara (RelMiCS, 2001)

On Reversible Cellular Automata with Finite Cell Array. - Shuichi Inokuchi; Kazumasa Honda; Hyen Yeal Lee; Tatsuro Sato; Yoshihiro Mizoguchi; Yasuo Kawahara (UC, 2005)

On the Cardinality of Relations. - Yasuo Kawahara (RelMiCS, 2006)

A Classification of Triplet Local Rules with Inverse Image Sequences. - Tatsuro Sato; Kazumasa Honda; Hyen Yeal Lee; Yasuo Kawahara (IWNC, 2007)

Formal Concepts in Dedekind Categories. - Toshikazu Ishida; Kazumasa Honda; Yasuo Kawahara (RelMiCS, 2008)

Boolean Algebras and Stone Maps in Schröder Categories. - Yasuo Kawahara (RelMiCS, 2008)

Cardinality in Allegories. - Yasuo Kawahara; Michael Winter 001 (RelMiCS, 2008)

Armstrong's Inference Rules in Dedekind Categories. - Toshikazu Ishida; Kazumasa Honda; Yasuo Kawahara (RelMiCS, 2009)

Cardinal Addition in Distributive Allegories. - Yasuo Kawahara; Michael Winter 001 (RelMiCS, 2009)

Cardinality functions in allegories. - Yasuo Kawahara; Michael Winter 001 (J. Log. Algebraic Methods Program., 2010)

Dedekind categories with cutoff operators. - Hitoshi Furusawa; Yasuo Kawahara; Michael Winter 001 (Fuzzy Sets Syst., 2011)

Continuous Relations and Richardson's Theorem. - Hitoshi Furusawa; Toshikazu Ishida; Yasuo Kawahara (RAMiCS, 2012)

Point Axioms in Dedekind Categories. - Hitoshi Furusawa; Yasuo Kawahara (RAMiCS, 2012)

Cellular Automata and Formulae on Monoids. - Toshikazu Ishida; Shuichi Inokuchi; Yasuo Kawahara (ACRI, 2014)

Relations into algebras of probabilistic distributions. - Norihiro Tsumagari; Hitoshi Furusawa; Yasuo Kawahara (J. Log. Algebraic Methods Program., 2014)

Relational Formalisations of Compositions and Liftings of Multirelations. - Hitoshi Furusawa; Yasuo Kawahara; Georg Struth; Norihiro Tsumagari (RAMiCS, 2015)

Point axioms and related conditions in Dedekind categories. - Hitoshi Furusawa; Yasuo Kawahara (J. Log. Algebraic Methods Program., 2015)

Cellular Automata Associated with Σ-Algebras. - Shuichi Inokuchi; Hitoshi Furusawa; Toshikazu Ishida; Yasuo Kawahara (IEICE Trans. Inf. Syst., 2016)

Propositional Logic and Cellular Automata on Monoids. - Toshikazu Ishida; Shuichi Inokuchi; Yasuo Kawahara (J. Cell. Autom., 2016)

Kleisli, Parikh and Peleg compositions and liftings for multirelations. - Hitoshi Furusawa; Yasuo Kawahara; Georg Struth; Norihiro Tsumagari (J. Log. Algebraic Methods Program., 2017)