Travelled to:1 × Austria
1 × Belgium
1 × Canada
1 × Estonia
1 × Spain
1 × Sweden
1 × The Netherlands
1 × United Kingdom
1 × Vietnam
3 × Germany
3 × Japan
Collaborated with:D.T.B.Ngoc ∅ Z.Khasidashvili T.V.Khanh V.X.Tung Z.Hu I.Sasano X.Cai X.Li K.Mano M.Sakai M.Oyamaguchi J.Liu J.Jouannaud E.Horita S.Ono V.v.Oostrom M.Takeichi
Talks about:system (4) pushdown (3) roundoff (2) properti (2) polynomi (2) uniform (2) analysi (2) rewrit (2) normal (2) rasat (2)
Person: Mizuhito Ogawa
DBLP: Ogawa:Mizuhito
Contributed to:
2015
2015
2014
2014
2010
2010
200920052004
2003
200120001999
19971996
2016Wrote 16 papers:
- CADE-2015-SakaiOO #confluence
- Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent (MS, MO, MO), pp. 111–126.
- CSL-2015-LiuJO #confluence #term rewriting
- Confluence of Layered Rewrite Systems (JL, JPJ, MO), pp. 423–440.
- FLOPS-2014-CaiO #automaton
- Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata (XC, MO), pp. 336–352.
- SMT-2014-KhanhTO #difference #named #polynomial #smt
- raSAT: SMT for Polynomial Inequality (TVK, VXT, MO), p. 67.
- ASE-2010-NgocO #fault #using
- Checking roundoff errors using counterexample-guided narrowing (DTBN, MO), pp. 301–304.
- PEPM-2010-LiO #automaton
- Conditional weighted pushdown systems and applications (XL, MO), pp. 141–150.
- SEFM-2009-NgocO #analysis #fault #model checking
- Overflow and Roundoff Error Analysis via Model Checking (DTBN, MO), pp. 105–114.
- CADE-2005-OgawaHO #incremental #proving
- Proving Properties of Incremental Merkle Trees (MO, EH, SO), pp. 424–440.
- FLOPS-2004-Ogawa #algebra #axiom #graph
- Complete Axiomatization of an Algebraic Construction of Graphs (MO), pp. 163–179.
- ICFP-2003-OgawaHS #program analysis
- Iterative-free program analysis (MO, ZH, IS), pp. 111–123.
- RTA-2001-KhasidashviliOO #normalisation #orthogonal
- Uniform Normalisation beyond Orthogonality (ZK, MO, VvO), pp. 122–136.
- ICFP-2000-SasanoHTO #algorithm #linear #problem
- Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems (IS, ZH, MT, MO), pp. 137–149.
- FLOPS-1999-Ogawa #abstract interpretation #automation #verification
- Automatic Verification Based on Abstract Interpretation (MO), pp. 131–146.
- ALP-1997-KhasidashviliO #normalisation
- Perpetuality and Uniform Normalization (ZK, MO), pp. 240–255.
- ALP-1996-ManoO #higher-order #normalisation #term rewriting
- Unique Normal Form Property of Higher-Order Rewriting Systems (KM, MO), pp. 269–283.
- IJCAR-2016-TungKO #constraints #named #polynomial #smt
- raSAT: An SMT Solver for Polynomial Constraints (VXT, TVK, MO), pp. 228–237.