Mizuhito Ogawa
Orcid: 0000-0002-8050-7228
According to our database1,
Mizuhito Ogawa
authored at least 62 papers
between 1988 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Foundations and Practice of Security - 16th International Symposium, 2023
2022
Proceedings of the 11th International Symposium on Information and Communication Technology, 2022
Proceedings of the Computer Science - Theory and Applications, 2022
2019
Proceedings of the Formal Techniques for Safety-Critical Systems, 2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
Proceedings of the Descriptional Complexity of Formal Systems, 2019
2018
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018
Proceedings of the 10th International Conference on Knowledge and Systems Engineering, 2018
2017
Proceedings of the Formal Methods and Software Engineering, 2017
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017
2016
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016
2015
Low level code analysis and applications to computer security (NII Shonan Meeting 2015-4).
NII Shonan Meet. Rep., 2015
Proceedings of the Foundations and Practice of Security - 8th International Symposium, 2015
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015
Proceedings of the Automated Deduction - CADE-25, 2015
2014
Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, 2014
Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014
2013
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013
2012
Proceedings of the Third Workshop on Tools for Automatic Program Analysis, 2012
2011
2010
Inf. Process. Lett., 2010
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010
A Comparison of Four Association Engines in Divergent Thinking Support Systems on Wikipedia.
Proceedings of the Knowledge, Information, and Creativity Support Systems, 2010
Proceedings of the ASE 2010, 2010
2009
Proceedings of the Fourth Workshop on Bytecode Semantics, 2009
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Proceedings of the Hardware and Software: Verification and Testing, 2009
2008
Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata.
Inf. Media Technol., 2008
Proceedings of the Automated Technology for Verification and Analysis, 2008
Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008
2007
Inf. Media Technol., 2007
Proceedings of the Automated Technology for Verification and Analysis, 2007
2006
Proceedings of the Advances in Computer Science, 2006
2005
Proceedings of the Theoretical Aspects of Computing, 2005
Proceedings of the Automated Deduction, 2005
2004
Proceedings of the Parallel and Distributed Computing: Applications and Technologies, 2004
Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004
2003
A linear time algorithm for monadic querying of indefinite data over linearly ordered domains.
Inf. Comput., 2003
Proceedings of the 3rd International Workshop on Reduction Strategies in Rewriting and Programming, 2003
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003
2002
Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002
2001
Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem.
Theor. Comput. Sci., 2001
Inf. Comput., 2001
Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001
Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001
Abstract Interpretation over Infinite Abstract Domains (Tentative Report).
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001
2000
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems.
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000
A Note on Algebraic Structure of Tree Decomposition of Graphs.
Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000
1999
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999
1997
Proceedings of the Algebraic and Logic Programming, 6th International Joint Conference, 1997
1996
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996
1992
Chew's Theorem Revisited -Uniquely Normalizing Property of Nonlinear Term Rewriting Systems-.
Proceedings of the Algorithms and Computation, Third International Symposium, 1992
1990
Syst. Comput. Jpn., 1990
1988
Transformation of Strictness-Related Analyses Nased on Abstract Interpretation.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988