| 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 |
