2008 |
9 | EE | Hitoshi Furusawa,
Norihiro Tsumagari,
Koki Nishizawa:
A Non-probabilistic Relational Model of Probabilistic Kleene Algebras.
RelMiCS 2008: 110-122 |
2006 |
8 | EE | Hitoshi Furusawa,
Eun-Hye Choi,
Hiroshi Watanabe:
Efficiency analysis of model-based review in actual software design.
ICSE 2006: 604-607 |
7 | EE | Toshinori Takai,
Hitoshi Furusawa:
Monodic Tree Kleene Algebra.
RelMiCS 2006: 402-416 |
2005 |
6 | EE | Hitoshi Furusawa:
A Framework for Kleene Algebra with an Embedded Structure.
RelMiCS 2005: 96-107 |
2004 |
5 | EE | Hitoshi Furusawa:
A Free Construction of Kleene Algebras with Tests.
MPC 2004: 129-141 |
2003 |
4 | EE | Hitoshi Furusawa:
The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions.
RelMiCS 2003: 124-136 |
2000 |
3 | | Yasuo Kawahara,
Hitoshi Furusawa:
Crispness in Dedekind Categories.
RelMiCS 2000: 175-184 |
1999 |
2 | | Yasuo Kawahara,
Hitoshi Furusawa,
Masao Mori:
Categorical Representation Theorems of Fuzzy Relations.
Inf. Sci. 119(3-4): 235-251 (1999) |
1997 |
1 | | Yasuo Kawahara,
Hitoshi Furusawa,
Masao Mori:
Categorical Representation Theorems of Fuzzy Relations.
RelMiCS 1997: 1-10 |