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
https://portal.mardi4nfdi.de/entity/Q2844071	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
Automated Deduction – CADE-20	2006-11-01	Paper
Theoretical Aspects of Computing – ICTAC 2005	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mizuhito Ogawa