Mizuhito Ogawa

Available identifiers

zbMath Open ogawa.mizuhitoMaRDI QIDQ407555

List of research outcomes

Publication	Date of Publication	Type
On the determinization of event-clock input-driven pushdown automata	2022-11-11	Paper
On classes of regular languages related to monotone WQOs	2020-05-12	Paper
raSAT: an SMT solver for polynomial constraints	2018-01-08	Paper
Subtropical satisfiability	2018-01-04	Paper
Confluence of layered rewrite systems	2017-08-31	Paper
Unique normal form property of Higher-Order Rewriting Systems	2017-01-19	Paper
raSAT: An SMT Solver for Polynomial Constraints	2016-09-05	Paper
Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent	2015-12-02	Paper
Nested Timed Automata with Frozen Clocks	2015-09-14	Paper
Make it practical	2015-09-11	Paper
Iterative-free program analysis	2015-07-02	Paper
Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata	2014-07-24	Paper
Call-by-need reduction for membership conditional term rewriting systems	2013-08-27	Paper
Nested Timed Automata	2013-08-16	Paper
Well-Structured Pushdown Systems	2013-08-12	Paper
Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent	2012-03-27	Paper
Event-Clock Visibly Pushdown Automata	2009-02-03	Paper
Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol	2008-11-20	Paper
On-the-Fly Model Checking of Fair Non-repudiation Protocols	2008-07-03	Paper
Functional and Logic Programming	2007-09-25	Paper
Theoretical Aspects of Computing – ICTAC 2005	2006-11-01	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q5714445	2006-01-02	Paper
A linear time algorithm for monadic querying of indefinite data over linearly ordered domains	2004-11-23	Paper
Well-quasi-orders and regular \(\omega\)-languages	2004-10-01	Paper
Perpetuality and uniform normalization in orthogonal rewrite systems	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q2766776	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q2778875	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4705602	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4705603	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4246736	1999-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q4364379	1998-04-01	Paper

Research outcomes over time

This page was built for person: Mizuhito Ogawa