Research theme for competitive and other funds (17):
2022 - 2026 Formal Foundations for Verification of Physical and Probabilistic Systems
2020 - 2024 Mathematical foundations for the reconfiguration paradigm
2017 - 2020 Theory of relational calculus for formal verification of mathematics and software programs.
2013 - 2016 Formalization on Modern Coding Theory
2013 - 2014 Toward a formal proofs and automated verifications of discrete mathematics
2011 - 2013 Design and Analysis of Efficient Class-oriented Graph Mining Systems
2006 - 2008 Develoepement a next generation of system for Prediction and Warning of Debris Flow and Landslide and its Application using Precipitation Radar
2005 - 2007 Polynomial Time Algorithms for Learning Graph Structured Pattern Languages and its Applications
2002 - 2006 自律的分散型計算としての分子計算
2002 - 2002 グラフ変換を用いた計算の単位の定式化と計算量理論の再構築
1998 - 2000 Investigation of Intelligent Network Topology by Mimicking the Fault-tolerant Network Structure of Metabolic Pathways
M.D.Akbar Y.Mizoguchi, Adiwijaya. Class dependency of fuzzy relational database using relational calculus and conditional probability. Journal of Physics: Conference Series. 2018. 971. 1
M. D. Akbar, Y. Mizoguchi. A Formalization of a Fuzzy Relational Database Model using Relational Calculus. Bulletin of Infromatics and Cybernecs. 2016. 48. 83-104
Relational Calculus Library in Coq. 2016. 22. 2. 39-42
Elementary Geometry in Coq. 2016. 22. 2. 43-47
Bob Anderssen, Philip Broadbridge, Yasuhide Fukumoto, Naoyuki Kamiyama, Yoshihiro Mizoguchi, Konrad Polthier, OSAMU SAEKI. The Role and Importance of Mathematics in Innovation, Proceedings of the Forum "Math-for-Industry" 2015. 2016
Relational T-algebra and the category of topological spaces
(Workshop on logic algebra and category theory: LAC2018 2018)
Formal equivalence classes model of fuzzy relational databases using relational calculus
(1st International Conference on Applied Computer and Communication Technologies, ComCom 2017 2017)