Hitoshi Furusawa

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 13

Top Topics

Binary Representation

Relational Learning

Relation Algebra

Monotonicity Constraints

Top Venues

J. Log. Algebraic Methods Program.

ACM Trans. Comput. Log.

Publications

Hitoshi Furusawa, Walter Guttmann, Georg Struth
Determinism of multirelations. J. Log. Algebraic Methods Program. 139 (2024)
Hitoshi Furusawa, Walter Guttmann, Georg Struth
On the Inner Structure of Multirelations. CoRR (2023)
Hitoshi Furusawa, Walter Guttmann, Georg Struth
Modal Algebra of Multirelations. CoRR (2023)
Hitoshi Furusawa, Walter Guttmann
Cardinality and Representation of Stone Relation Algebras. CoRR (2023)
Hitoshi Furusawa, Walter Guttmann, Georg Struth
Determinism of Multirelations. CoRR (2023)
Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa
Preorders, Partial Semigroups, and Quantales. RAMiCS (2020)
Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner
Relational characterisations of paths. J. Log. Algebraic Methods Program. 117 (2020)
Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner
Relational Characterisations of Paths. CoRR (2018)
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
Kleisli, Parikh and Peleg compositions and liftings for multirelations. J. Log. Algebraic Methods Program. 90 (2017)
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations. CoRR (2017)
Hitoshi Furusawa
Uniform continuity of relations and nondeterministic cellular automata. Theor. Comput. Sci. 673 (2017)
Hitoshi Furusawa, Georg Struth
Taming Multirelations. ACM Trans. Comput. Log. 17 (4) (2016)
Shuichi Inokuchi, Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara
Cellular Automata Associated with Σ-Algebras. IEICE Trans. Inf. Syst. (3) (2016)
Hitoshi Furusawa, Koki Nishizawa
Multirelational representation theorems for complete idempotent left semirings. J. Log. Algebraic Methods Program. 84 (3) (2015)
Hitoshi Furusawa, Yasuo Kawahara
Point axioms and related conditions in Dedekind categories. J. Log. Algebraic Methods Program. 84 (3) (2015)
Hitoshi Furusawa, Georg Struth
Binary Multirelations. Arch. Formal Proofs 2015 (2015)
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
Relational Formalisations of Compositions and Liftings of Multirelations. RAMiCS (2015)
Hitoshi Furusawa, Georg Struth
Concurrent Dynamic Algebra. ACM Trans. Comput. Log. 16 (4) (2015)
Hitoshi Furusawa, Georg Struth
Taming Multirelations. CoRR (2015)
Koki Nishizawa, Hitoshi Furusawa
A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories. RAMiCS (2014)
Norihiro Tsumagari, Hitoshi Furusawa, Yasuo Kawahara
Relations into algebras of probabilistic distributions. J. Log. Algebraic Methods Program. 83 (2) (2014)
Hitoshi Furusawa, Georg Struth
Concurrent Dynamic Algebra. CoRR (2014)
Koki Nishizawa, Hitoshi Furusawa
Relational Representation Theorem for Powerset Quantales. RAMiCS (2012)
Hitoshi Furusawa, Yasuo Kawahara
Point Axioms in Dedekind Categories. RAMiCS (2012)
Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara
Continuous Relations and Richardson's Theorem. RAMiCS (2012)
Hitoshi Furusawa, Yasuo Kawahara, Michael Winter
Dedekind categories with cutoff operators. Fuzzy Sets Syst. 173 (1) (2011)
Hitoshi Furusawa, Koki Nishizawa
Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings. RAMiCS (2011)
Koki Nishizawa, Norihiro Tsumagari, Hitoshi Furusawa
The Cube of Kleene Algebras and the Triangular Prism of Multirelations. RelMiCS (2009)
Hitoshi Furusawa, Fumiya Sanda
*-Continuous Idempotent Left Semirings and Their Ideal Completion. RelMiCS (2009)
Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa
A Non-probabilistic Relational Model of Probabilistic Kleene Algebras. RelMiCS (2008)
Hitoshi Furusawa, Eun-Hye Choi, Hiroshi Watanabe
Efficiency analysis of model-based review in actual software design. ICSE (2006)
Toshinori Takai, Hitoshi Furusawa
Monodic Tree Kleene Algebra. RelMiCS (2006)
Hitoshi Furusawa
A Framework for Kleene Algebra with an Embedded Structure. RelMiCS (2005)
Hitoshi Furusawa
A Free Construction of Kleene Algebras with Tests. MPC (2004)
Hitoshi Furusawa
The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions. RelMiCS (2003)
Yasuo Kawahara, Hitoshi Furusawa
Crispness in Dedekind Categories. RelMiCS (2000)
Yasuo Kawahara, Hitoshi Furusawa
An algebraic formalization of fuzzy relations. Fuzzy Sets Syst. 101 (1) (1999)
Yasuo Kawahara, Hitoshi Furusawa, Masao Mori
Categorical Representation Theorems of Fuzzy Relations. Inf. Sci. 119 (3-4) (1999)
Yasuo Kawahara, Hitoshi Furusawa, Masao Mori
Categorical Representation Theorems of Fuzzy Relations. RelMiCS (1997)