Hitoshi Furusawa

According to our database, Hitoshi Furusawa authored at least 33 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Determinism of multirelations.

Hitoshi Furusawa, Walter Guttmann, Georg Struth

J. Log. Algebraic Methods Program., 2024

2023

Cardinality and Representation of Stone Relation Algebras.

Hitoshi Furusawa, Walter Guttmann

CoRR, 2023

Modal Algebra of Multirelations.

Hitoshi Furusawa, Walter Guttmann, Georg Struth

CoRR, 2023

On the Inner Structure of Multirelations.

Hitoshi Furusawa, Walter Guttmann, Georg Struth

CoRR, 2023

2020

Relational characterisations of paths.

Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner

J. Log. Algebraic Methods Program., 2020

Preorders, Partial Semigroups, and Quantales.

Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2017

Uniform continuity of relations and nondeterministic cellular automata.

Hitoshi Furusawa

Theor. Comput. Sci., 2017

Kleisli, Parikh and Peleg compositions and liftings for multirelations.

Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari

J. Log. Algebraic Methods Program., 2017

2016

Taming Multirelations.

Hitoshi Furusawa, Georg Struth

ACM Trans. Comput. Log., 2016

Cellular Automata Associated with Σ-Algebras.

Shuichi Inokuchi, Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara

IEICE Trans. Inf. Syst., 2016

2015

Concurrent Dynamic Algebra.

Hitoshi Furusawa, Georg Struth

ACM Trans. Comput. Log., 2015

Multirelational representation theorems for complete idempotent left semirings.

Hitoshi Furusawa, Koki Nishizawa

J. Log. Algebraic Methods Program., 2015

Point axioms and related conditions in Dedekind categories.

Hitoshi Furusawa, Yasuo Kawahara

J. Log. Algebraic Methods Program., 2015

Binary Multirelations.

Hitoshi Furusawa, Georg Struth

Arch. Formal Proofs, 2015

Relational Formalisations of Compositions and Liftings of Multirelations.

Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014

Relations into algebras of probabilistic distributions.

Norihiro Tsumagari, Hitoshi Furusawa, Yasuo Kawahara

J. Log. Algebraic Methods Program., 2014

A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories.

Koki Nishizawa, Hitoshi Furusawa

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2012

Relational Representation Theorem for Powerset Quantales.

Koki Nishizawa, Hitoshi Furusawa

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

Point Axioms in Dedekind Categories.

Hitoshi Furusawa, Yasuo Kawahara

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

Continuous Relations and Richardson's Theorem.

Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011

Dedekind categories with cutoff operators.

Hitoshi Furusawa, Yasuo Kawahara, Michael Winter

Fuzzy Sets Syst., 2011

Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings.

Hitoshi Furusawa, Koki Nishizawa

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2009

The Cube of Kleene Algebras and the Triangular Prism of Multirelations.

Koki Nishizawa, Norihiro Tsumagari, Hitoshi Furusawa

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

*-Continuous Idempotent Left Semirings and Their Ideal Completion.

Hitoshi Furusawa, Fumiya Sanda

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

A Non-probabilistic Relational Model of Probabilistic Kleene Algebras.

Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2006

Efficiency analysis of model-based review in actual software design.

Hitoshi Furusawa, Eun-Hye Choi, Hiroshi Watanabe

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Monodic Tree Kleene Algebra.

Toshinori Takai, Hitoshi Furusawa

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

A Framework for Kleene Algebra with an Embedded Structure.

Hitoshi Furusawa

Proceedings of the Relational Methods in Computer Science, 2005

2004

A Free Construction of Kleene Algebras with Tests.

Hitoshi Furusawa

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

2003

The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions.

Hitoshi Furusawa

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

2000

Crispness in Dedekind Categories.

Yasuo Kawahara, Hitoshi Furusawa

Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1999

Categorical Representation Theorems of Fuzzy Relations.

Yasuo Kawahara, Hitoshi Furusawa, Masao Mori

Inf. Sci., 1999

An algebraic formalization of fuzzy relations.

Yasuo Kawahara, Hitoshi Furusawa

Fuzzy Sets Syst., 1999