BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ogawa:Mizuhito

Contributed to:

CADE 20152015
CSL 20152015
FLOPS 20142014
SMT 20142014
ASE 20102010
PEPM 20102010
SEFM 20092009
CADE 20052005
FLOPS 20042004
ICFP 20032003
RTA 20012001
ICFP 20002000
FLOPS 19991999
ALP/HOA 19971997
ALP 19961996
IJCAR 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.