My interest

List of papers written in English ( dblp, zbMATH, MathSciNet )

Some Published Papers

  1. Furusawa, H.: Uniform continuity of relations and nondeterministic cellular automata, Theoretical Computer Science, vol. 673, pp.19--29 (2017).
  2. Inokuchi, S., Furusawa, H., Ishida, T., and Kawahara, Y.: Cellular Automata Associated with Σ-Algebras, IEICE Transacions on Informations and Systems, vol. E99-D(3), pp.588--597 (2016).
  3. Furusawa, H. and Struth, G.: Concurrent Dynamic Algebra, ACM Transactions on Computational Logic, vol. 16(4), pp.30:1--30:38 (2015).
  4. Furusawa, H. and Nishizawa, K.: Multirelational representation theorems for complete idempotent left semirings, Journal of Logical and Algebraic Methods in Programming, vol. 84(3), pp.426--439, Elsevier (2015).
  5. Furusawa, H., Sanda, F. and Tsumagari, N.: Remarks on Ideal Completion of *-Continuous Idempotent Left Semirings, Bulletin of Informatics and Cybernetics Vol. 43 pp. 1--21 (2011).
  6. Furusawa, H., Kawahara, Y. and Winter, M.: Dedekind categories with cutoff operators, Fuzzy Sets and Systems Vol. 173 pp. 1--24 (2011).
  7. Furusawa, H., Nishizawa, K. and Tsumagari, N.: Multirelational Models of Lazy, Monodic Tree, and Probabilistic Kleene Algebras, Bulletin of Informatics and Cybernetics vol.41 pp.11--24 (2009).
  8. Takai, T. and Furusawa, H.: Monodic Tree Kleene Algebra, In Renate A. Schmidt ed., Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September 2006, Proceedings, LNCS 4136, pp.402 - 416, Springer (2006).
    [[In the paper, some mistakes have been found. The list of the errors is here.]]
  9. Furusawa, H., Choi, E., and Watanabe, H.: Efficiency Analysis of Model-Based Review in Actual Software Design, In Proc. of the International Conference on Software Engineering (ICSE2006), Far East Experience Track, pp.604 - 607, May 2006.
  10. Furusawa, H.: A free construction of Kleene algebras with tests, In Dexter Kozen ed., Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 2004, Proceedings, LNCS 3125, pp.129 - 141, Springer (2004).
  11. Furusawa, H. and Kinoshita, Y.: Essentially Algebraic Structure for Kleene Algebra with Tests and Its Application to Semantics of While Programs, IPSJ Transactions on Programming vol.44 no.SIG 4(PRO 17) pp.47--53 (2003).
  12. Kawahara, Y., Furusawa, H. and Mori, M.: Categorical Representation Theorems of Fuzzy Relations, Information Sciences vol.119 no.3--4 pp.235--251 (1999).
  13. Kawahara, Y. and Furusawa, H.: An Algebraic Formalization of Fuzzy Relations, Fuzzy Sets and Systems vol.101 no.1 pp.125--135 (1999).
  14. Furusawa, H.: A Representation Theorem for Relation Algebras: Concepts of Scalar Relations and Point Relations, Bulletin of Informatics and Cybernetics vol.30 pp.109--119 (1998).
Some Technical Reports
  1. Tsumagari, N., Nishizawa, K., and Furusawa H.: Multirelational Model of Lazy Kleene Algebra, In Rudolf Berghammer, Bernhard Möller, and Georg Struth eds., Relations and Kleene Algebra in Computer Science, PhD Programme at RelMiCS10/AKA5, Frauenwörth, Germany, April 7 - April 11 2008, Proceedings, Technical Report 2008-04, 73 -- 77, Institut für Informatik, Universität Augsburg, Germany (2008).
  2. Furusawa, H. and Kahl, W.: Table Algebras: Algebraic Structures for Tabular Notation, Including Nested Header, Programming Science Technical Report, Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST), PS-2004-009, December 2004.
  3. Takai, T., Furusawa, H. and Kahl, W.: Reasoning about Term Rewriting in Kleene Categories with Converse , Programming Science Technical Report, Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST), PS-2004-008, December 2004.
  4. Furusawa, H. and Kahl, W.: A Study on Symmetric Quotients (PS) (PDF), Technical Report, Department of Computer Science, University of the Federal Armed Forces Munich, Bericht Nr.1998-06, December 1998.
  5. Kawahara, Y. and Furusawa, H.: Crispness and Representation Theorem in Dedekind Categories, DOI Technical Report, Department of Informatics, Kyushu University, DOI-TR 143, December 1997.
Unpublished
  1. Furusawa, H., Kameyama, Y. and Kinoshita, Y.: Axiomatics for the Hoare-He-Sanders' setting in Refinement. (submitted)
Thesis


Other Activities


List (containing Japanese)

Index