論文・ 報告・ 解説・ 教科書・ その他	査 読有無	著者	タイトル	雑誌名・ 発行所名	巻	号	開 始 頁	終 了 頁	発行年	発 行月
論文	無	Hitoshi Furusawa, Walter Guttmann	Cardinality and Representation of Stone Relation Algebras	Computing Research Repository (CoRR), arXiv.org	2309. 11676		1	13	2023	9
論文	無	Hitoshi Furusawa, Walter Guttmann, Georg Struth	Modal Algebra of Multirelations	Computing Research Repository (CoRR), arXiv.org	2305. 11346		1	16	2023	5
論文	無	Hitoshi Furusawa, Walter Guttmann, Georg Struth	Determinism of Multirelations	Computing Research Repository (CoRR), arXiv.org	2305. 11344		1	21	2023	5
論文	無	Hitoshi Furusawa, Walter Guttmann, Georg Struth	On the Inner Structure of Multirelations	Computing Research Repository (CoRR), arXiv.org	2305. 11342		1	18	2023	5
論文	無	古澤仁， 吉田聡	A note on upper continuity properties of relations	鹿児島大学理学部紀要		54	1	7	2021	12
論文	有	Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner	Relational Characterisations of Paths	Journal of Logical and Algebraic Methods in Programming, Elsevier	117				2020	12
論文	無	安田康史, 西澤弘毅,古澤仁	前順序とべき集合クオンテールの間の関係性について	ソフトウェア 科学会第37回大会論文集, ソフトウェア科学会					2020	9
論文	有	Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa	Preorders, Partial Semigroups, and Quantales	Lecture Notes in Computer Science, Springer	12062		237	252	2020	4
論文	無	古澤仁， 吉田聡	A note on continuity properties of relations	鹿児島大学理学部紀要		52	1	6	2019	12
論文	無	吉田聡， 古澤仁	On a certain discontinuous mapping as a continuous relation	数理解析研究所講究録，京都大学数理解析研究所	2083		150	155	2018	8
論文	無	Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner	Relational Characterisations of Paths	Computing Research Repository (CoRR), arXiv.org	1801. 04026		1	23	2018	1
論文	有	Hitoshi Furusawa, Yasuo Kawahara, Norihiro Tsumagari	Axiom of Choice and Zorn's Lemma in Cantor Categories	Bulletin of Informatics and Cybernetics	49		11	34	2017	12
論文	有	Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari	Kleisli, Parikh and Peleg compositions and liftings for multirelations	Journal of Logical and Algebraic Methods in Programming, Elsevier	90		84	101	2017	8
論文	無	Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari	Kleisli, Parikh and Peleg compositions and liftings for multirelations	Computing Research Repository (CoRR), arXiv.org	1705. 0565		1	20	2017	5
論文	有	Hitoshi Furusawa	Uniform continuity of relations and nondeterministic cellular automata	Theoretical Computer Science, Elsevier	673		19	29	2017	4
論文	有	Hitoshi Furusawa, Georg Struth	Taming Multirelations	ACM Transactions on Computational Logic	17	4	28:1	28:34	2016	11
論文	有	Shuichi Inokuchi, Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara	Cellular Automata Associated with Σ-Algebras	IEICE Transacions on Information and Systems	E99-D	3	588	597	2016	3
論文	有	Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari	Relational Formalisations of Compositions and Liftings of Multirelations	Lecture Notes in Computer Science, Springer	9348		84	100	2015	9
論文	有	Hitoshi Furusawa, Georg Struth	Concurrent Dynamic Algebra	ACM Transactions on Computational Logic	16	4	30:1	30:38	2015	8
論文	有	Hitoshi Furusawa, Georg Struth	Binary Multirelations	Archive of Formal Proofs 2015			1	65	2015	6
論文	有	Hitoshi Furusawa, Koki Nishizawa	Multirelational representation theorems for complete idempotent left semirings	Journal of Logical and Algebraic Methods in Programming, Elsevier	84	3	426	439	2015	5
論文	有	Hitoshi Furusawa, Yasuo Kawahara	Point axioms and related conditions in Dedekind categories	Journal of Logical and Algebraic Methods in Programming, Elsevier	84	3	359	376	2015	5
論文	無	Hitoshi Furusawa, Georg Struth	Taming Multirelations	Computing Research Repository (CoRR), arXiv.org	1501. 05147		1	34	2015	1
論文	無	Hitoshi Furusawa, Georg Struth	Concurrent Dynamic Algebra	Computing Research Repository (CoRR), arXiv.org	1407. 5819		1	44	2014	7
論文	有	Koki Nishizawa, Hitoshi Furusawa	A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories	Lecture Notes in Computer Science, Springer	8428		261	273	2014	4
論文	有	Norihiro Tsumagari, Hitoshi Furusawa, Yasuo Kawahara	Relations into algebras of probabilistic distributions	Journal of Logical and Algebraic Methods in Programming, Elsevier	83	2	263	283	2014	3
論文	無	西澤弘毅, 古澤仁	クオンテイルと完備べき 等左半環の表現定理	神奈川大学工学研究所所報		36	106	113	2013	11
論文	有	Hitoshi Furusawa, Yasuo Kawahara	Point Axioms in Dedekind Categories	Lecture Notes in Computer Science, Springer	7560		219	234	2012	9
論文	有	Koki Nishizawa, Hitoshi Furusawa	Relational Representation Theorem for Powerset Quantales	Lecture Notes in Computer Science, Springer	7560		207	218	2012	9
論文	有	Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara	Continuous Relations and Richardson's Theorem	Lecture Notes in Computer Science, Springer	7560		310	325	2012	9
論文	有	Koki Nishizawa, Hitoshi Furusawa	Ideal Completion of Join Semilattice over T-algebra	Bulletin of Tottori University of Environmental Studies	9・10		91	103	2012	3
論文	有	Hitoshi Furusawa, Fumiya Sanda, Norihiro Tsumagari	Remarks on Ideal Completion of *-Continuous Idempotent Left Semirings	Bulletin of Informatics and Cybernetics	43		1	21	2011	12
論文	有	Hitoshi Furusawa, Yasuo Kawahara, Michael Winter	Dedekind categories with cutoff operators	Fuzzy Sets and Systems, Elsevier	173	1	1	24	2011	6
論文	有	Hitoshi Furusawa, Koki Nishizawa	Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings	Lecture Notes in Computer Science, Springer	6663		148	163	2011	5
論文	有	Hitoshi Furusawa, Koki Nishizawa, Norihiro Tsumagari	Multirelational Models of Lazy, Monodic Tree, and Probabilistic Kleene Algebras	Bulletin of Informatics and Cybernetics	41		11	24	2009	12
論文	無	津曲紀宏, 西澤弘毅, 古澤仁	二項多重関係の反射的推移的閉包の構成	鹿児島大学理学部紀要	42		1	9	2009	12
論文	有	Koki Nishizawa, Norihiro Tsumagari, Hitoshi Furusawa	The Cube of Kleene Algebras and the Triangular Prism of Multirelations	Lecture Notes in Computer Science, Springer	5827		276	290	2009	11
論文	有	Hitoshi Furusawa, Fumiya Sanda	*-Continuous Idempotent Left Semirings and Their Ideal Completion	Lecture Notes in Computer Science, Springer	5827		119	133	2009	11
論文	有	Yasuo Kawahara, Hitoshi Furusawa, Masao Mori	Henessy-Milner  Properties in Sroeder Categories	Journal on Relational Methods in Computer Science	2		1	17	2009	1
論文	無	津曲紀宏, 西澤弘毅, 古澤仁	二項多重関係の 反射的推移的閉包	ソフトウェア 科学会第25回大会論文集, ソフトウェア科学会					2008	9
論文	有	Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa	A Non-Probabilistic Relational Model of Probabilistic Kleene Algebras	Lecture Notes in Computer Science, Springer	4988		110	122	2008	4
論文	無	Norihiro Tsumagari, Koki Nishizawa, Hitoshi Furusawa	Multirelational Model of Lazy Kleene Algebra	Relations and Kleene Algebra in Computer Science, PhD Programme at RelMiCS10/AKA5, Frauenwörth, Germany, April 7 - April 11 2008, Proceedings, Technical Report, Institut für Informatik, Universität Augsburg	2008 -04		73	77	2008	4
論文	無	津曲紀宏, 西澤弘毅, 古澤仁	二項多重関係の反射的推移的閉包について	火の国情報シンポジウム２００８論文集					2008	3
論文	無	古澤仁, 高井利憲	単口木オートマトンの決定化について	応用数学合同研究集会報告集			70	75	2007	12
論文	無	古澤仁, 高井利憲	クリーニ代数拡張の試み -文字列から木へ-	応用数学合同研究集会報告集			33	38	2006	12
解説	無	高井利憲, 古澤仁	クリーニ代数によるプログラム解析入門 （チュートリアル）	第三回システム検証の科学技術シンポジウム予稿集，産業技術総合研究所 算譜科学研究速報	PS- 2006	12	29	36	2006	10
論文	有	Toshinori Takai, Hitoshi Furusawa	Monodic Tree Kleene Algebra	Lecture Notes in Computer Science, Springer	4136		402	416	2006	8
解説	有	古澤仁, 高井利憲	クリーニ代数入門 (Introduction to Kleene Algebras)	コンピュータソフトウェア，岩波書店	23	3	14	34	2006	7
論文	有	Hitoshi Furusawa	A Framework for KleeneAlgebra with an Embedded Structure	Lecture Notes in Computer Science, Springer	3928		96	106	2006	5
論文	有	Furusawa Hitoshi, Eun-Hye Choi, Hiroshi Watanabe	Efficiency Analysis of Model-Based Review in Actual Software Design	Proc. of the International Conference on Software Engineering (ICSE2006)			604	607	2006	5
論文	無	Toshinori Takai, Hitoshi Furusawa	Monodic Tree Kleene Algebra (Preliminary Version)	産業技術総合研究所算譜科学研究速報，産総研システム検証研究センター	PS- 2006	5	1	20	2006	5
論文	無	Hitoshi Furusawa, Eun-Hye Choi, Hiroshi Watanabe	Efficiency Analysis of Model-based Review in Actual Software Design	産業技術総合研究所算譜科学研究速報，産総研システム検証研究センター	PS- 2005	18	1	10	2005	12
論文	無	古澤仁, 渡邊宏, 河本貴則, 崔銀惠	形式的技法の便益性評価のためのデータ収集実験 - Webシステムの上流設計工程において -	産業技術総合研究所算譜科学研究速報，産総研システム検証研究センター	PS- 2005	17	196	207	2005	10
論文	有	Toshinori Takai, Wolfram Kahl, Hitoshi Furusawa	Reasoning about Term Rewriting in Kleene Categories with Converse	Proc.of 8th International Seminar RelMiCS, COST 274 Workshops (TARSKI), 3rd Workshop Kleene Algebra・Brock Univ.			259	266	2005	2
論文	有	Hitoshi Furusawa	A framework for Kleene algebra with an embedded structure	Proc.of 8th International Seminar RelMiCS, COST 274 Workshops (TARSKI), 3rd Workshop Kleene Algebra・Brock Univ.			77	84	2005	2
論文	無	Toshinori Takai, Hitoshi Furusawa, Wolfram Kahl	Reasoning about Term Rewriting in Kleene Categories with Converse	産業技術総合研究算譜科学研究速報，産総研システム検証研究センター	PS- 2004	8	1	9	2004	12
論文	無	Hitoshi Furusawa, Wolfram Kahl	Table Algebras: Algebraic Structures for Tabular Notation, Including Nested Headers	産業技術総合研究算譜科学研究速報，産業技術総合研究所システム検証研究センター	PS- 2004	9	1	15	2004	12
論文	無	Hitoshi Furusawa	A framework for Kleene algebra with an embedded structure (Preliminary Version)	産業技術総合研究算譜科学研究速報, 産業技術総合研究所システム検証研究センター	PS- 2004	10	1	8	2004	12
論文	有	Hitoshi Furusawa	A free construction of Kleene algebras with tests	Lecture Notes in Computer Science, Springer	3125		129	141	2004	7
論文	有	Hitoshi Furusawa	The category of Kleene algebras, action algebras and action lattices are related by adjunctions	Lecture Notes in Computer Science, Springer	3051		124	136	2004	6
論文	無	Hitoshi Furusawa	A free construction of Kleene algebras with tests	産業技術総合研究所算譜科学グループ速報, 産業技術総合研究所システム検証研究ラボ	PS- 2004	4	1	15	2004	3
論文	無	Hitoshi Furusawa	The category of Kleene algebras, action algebras and action lattices are related by adjunctions	産業技術総合研究所算譜科学グループ速報，産総研システム検証研究ラボ	PS- 2003	6	1	14	2003	6
論文	有	Hitoshi Furusawa	The category of Kleene algebras, action algebras and action lattices are related by adjunctions	Proc. of 7th Seminar RelMiCS, 2nd Workshop Kleene Algebra・U. Kiel			43	48	2003	5
論文	有	Hitoshi Furusawa, Yoshiki Kinoshita	Essentially algebraic structure for Kleene algebra with tests and its application to semantics of while programs	情報処理学会誌：プログラミング, 情報処理学会	44	SIG 4 (PRO 17)	47	53	2003	3
論文	有	木下佳樹, 古澤仁	テスト付きクリーニ代数の準代数構造 (Essentially algebraic structure for Kleene algebra with tests)	コンピュータソフトウェア, 岩波書店	20	2	47	53	2003	3
論文	無	Hitoshi Furusawa, Yoshiki Kinoshita	Essentially algebraic structure for Kleene algebra with tests and its application to semantics of while programs	産業技術総合研究所算譜科学グループ研究速報, 産総研情報科学連携研究体	PS- 2002	8	1	8	2002	9
論文	無	木下佳樹, 古澤仁	テスト付きクリーニ代数の準代数構造 (Essentially algebraic structure for Kleene algebra with tests )	ソフトウェア科学会第19回大会論文集, ソフトウェア科学会					2002	9
論文	無	古澤仁, 木下佳樹	連を用いたwhileプログラムの意味論	FIT予稿集, 情報処理学会，電子情報通信学会			93	94	2002	9
論文	有	堀部久寿男, 古澤仁, 河原康雄	Schroeder圏における整基関係と関係システム	九州大学大学院システム情報科学紀要，九州大学	7	2	99	104	2002	9
論文	無	木下佳樹, 古澤仁	テスト付きクリーニ代数の準代数構造	産業技術総合研究所算譜科学グループ研究速報，産総研情報科学連携研究体	PS- 2002	7	1	5	2002	8
論文	有	Yasuo Kawahara, Hitoshi Furusawa	Crispness in Dedekind Categories	Bulletin of Informatics and Cybernetics	33	1&2	1	18	2001	12
論文	無	古澤仁	リアクティブ・システムの検証法　 第3章　μ計算	産業技術総合研究所算譜科学研究グループ速報，産総研情報科学連携研究体	SP- 2001	4	19	28	2001	10
論文	有	Yasuo Kawahata, Hitoshi Furusawa	Crispness in Dedekind Categories	Proc. of RelMiCS5			175	184	2000	1
論文	有	Yasuo Kawahara, Hitoshi Furusawa, Masao Mori	Categorical Representation Theorems of Fuzzy Relations	Information Sciences	119	3&4	235	251	1999	12
論文	有	Yasuo Kawahara, Hitoshi Furusawa	An Algebraic Formalization of Fuzzy Relations	Fuzzy Sets and Systems	101	1	125	135	1999	1
論文	無	Hitoshi Furusawa, Wolfram Kahl	A Study on Symmetric Quotients	Technical Report, Department of Computer Science, University of the Federal Armed Forces Munich	1998 -06		1	28	1998	12
論文	有	Hitoshi Furusawa	A Representation Theorem for Relation Algebras: Concepts of Scalar Relations and Point Relations	Bulletin of Informatics and Cybernetics	30	1	109	119	1998	3
論文	無	Yasuo Kawahara, Hitoshi Furusawa	Crispness and Representation Theorem in Dedekind Categories	DOI Technical Report，九州大学大学院システム情報科学研究科情報理学専攻	143		1	17	1997	12
論文	無	Yasuo Kawahara, Hitoshi Furusawa	Crispness and Representation Theorem in Dedekind Categories	数理解析研究所講究録，京都大学数理解析研究所	1021		63	69	1997	12
論文	無	古澤仁, 河原康雄	Dedekind圏におけるスカラー関係とクリスプ性	応用数学合同研究集会報告集			57	62	1997	12
論文	無	Hitoshi Furusawa	A Representation Theorem for Relation Algebras: Concepts of Scalar Relations and Point Relations	DOI Technical Report, 九州大学大学院システム情報科学研究科情報理学専攻	139		1	11	1997	9
論文	有	Hitoshi Furusawa	An Algebraic Characterization of Cartesian Products of Fuzzy Relations	Bulletin of Informatics and Cybernetics	29	1	105	115	1997	3
論文	有	Yasuo Kawahara, Hitoshi Furusawa, Masao Mori	Categorical Representation Theorems of Fuzzy Relations	Proc. of RelMiCS3			1	10	1997	1
論文	無	古澤仁	ファジィ関係の直積の代数的特徴付けについて	応用数学合同研究集会報告集			119	124	1996	12
論文	有	Yasuo Kawahara, Hitoshi Furusawa, Masao Mori	Categorical Representation Theorems of Fuzzy Relations	Proc. of International Workshop on Rough Sets, Fuzzy Sets and Machine Discovery			190	197	1996	11
論文	無	Yasuo Kawahara, Hitoshi Furusawa, Masao Mori	Categorical Representation Theorems of Fuzzy Relations	DOI Technical Report, 九州大学大学院システム情報科学研究科情報理学専攻	124		1	14	1996	3
論文	無	河原康雄, 古澤仁	ファジー関係とその表現定理について	応用数学合同研究集会報告集			18ー１	18ー４	1995	12
論文	無	河原康雄, 古澤仁	ファジィ関係の代数的定式化	電気関係学会九州支部連合大会，電気学会，電子情報通信学会，テレビジョン学会，証明学会，情報処理学会　各九州支部			719	719	1995	9
論文	無	古澤仁, 河原康雄	ファジィ関係代数とその表現定理について	数理解析研究所講究録，京都大学数理解析研究所	906		39	46	1995	4
論文	無	Yasuo Kawahara, Hitoshi Furusawa	An algebraic formalization of fuzzy relations	RIFIS Technical Report，九州大学理学部基礎情報学研究施設	98		1	12	1995	2
論文	無	古澤仁, 河原康雄	関係代数とその表現定理について	応用数学合同研究集会報告集			16ー1	16ー6	1994	12