Hitoshi Furusawa

42 papers A* 1B 1C 7Journal 25Unranked 8

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