Mizuhito Ogawa

	2010
34		Do Thi Bich Ngoc, Mizuhito Ogawa: Checking roundoff errors using counterexample-guided narrowing. ASE 2010: 301-304
33		Kobkrit Viriyayudhakorn, Susumu Kunifuji, Mizuhito Ogawa: A Comparison of Four Association Engines in Divergent Thinking Support Systems on Wikipedia. KICSS 2010: 226-237
32		Xin Li, Mizuhito Ogawa: Conditional weighted pushdown systems and applications. PEPM 2010: 141-150
31		Masahiko Sakai, Mizuhito Ogawa: Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent. Inf. Process. Lett. 110(18-19): 810-814 (2010)
	2009
30		Xin Li, Mizuhito Ogawa: Stacking-Based Context-Sensitive Points-to Analysis for Java. Haifa Verification Conference 2009: 133-149
29		Do Thi Bich Ngoc, Mizuhito Ogawa: Overflow and Roundoff Error Analysis via Model Checking. SEFM 2009: 105-114
28		Nguyen Van Tang, Mizuhito Ogawa: Event-Clock Visibly Pushdown Automata. SOFSEM 2009: 558-569
27		Xin Li, Mizuhito Ogawa: An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java. Electr. Notes Theor. Comput. Sci. 253(5): 31-46 (2009)
	2008
26		Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid: Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. APLAS 2008: 36-52
25		Guoqiang Li, Mizuhito Ogawa: Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. ATVA 2008: 374-385
	2007
24		Guoqiang Li, Mizuhito Ogawa: On-the-Fly Model Checking of Fair Non-repudiation Protocols. ATVA 2007: 511-522
	2006
23		Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa: Modeling Urgency in Component-Based Real-Time Systems. ASIAN 2006: 248-255
	2005
22		Mizuhito Ogawa, Eiichi Horita, Satoshi Ono: Proving Properties of Incremental Merkle Trees. CADE 2005: 424-440
21		Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu: Maximum Marking Problems with Accumulative Weight Functions. ICTAC 2005: 562-578
	2004
20		Mizuhito Ogawa: Complete Axiomatization of an Algebraic Construction of Graphs. FLOPS 2004: 163-179
19		Li Xin, Mizuhito Ogawa: A Lightweight Mutual Authentication Based on Proxy Certificate Trust List. PDCAT 2004: 628-632
18		Mizuhito Ogawa: Well-quasi-orders and regular omega-languages. Theor. Comput. Sci. 324(1): 55-60 (2004)
	2003
17		Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano: Iterative-free program analysis. ICFP 2003: 111-123
16		Mizuhito Ogawa: Call-by-need reduction for membership conditional term rewriting Systems. Electr. Notes Theor. Comput. Sci. 86(4): 673-688 (2003)
15		Mizuhito Ogawa: A linear time algorithm for monadic querying of indefinite data over linearly ordered domains. Inf. Comput. 186(2): 236-259 (2003)
14		Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano: Iterative-free program analysis. SIGPLAN Notices 38(9): 111-123 (2003)
	2002
13		Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi: Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. APLAS 2002: 58-73
	2001
12		Mizuhito Ogawa: Abstract Interpretation over Infinite Abstract Domains (Tentative Report). APLAS 2001: 183-191
11		Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom: Uniform Normalisation beyond Orthogonality. RTA 2001: 122-136
10		Mizuhito Ogawa: Generation of a Linear Time Query Processing Algorithm Based on Well-Quasi-Orders. TACS 2001: 283-297
9		Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom: Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems. Inf. Comput. 164(1): 118-151 (2001)
8		Ken Mano, Mizuhito Ogawa: Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem. Theor. Comput. Sci. 258(1-2): 169-208 (2001)
	2000
7		Mizuhito Ogawa: A Note on Algebraic Structure of Tree Decomposition of Graphs. APLAS 2000: 223-229
6		Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa: Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. ICFP 2000: 137-149
	1999
5		Mizuhito Ogawa: Automatic Verification Based on Abstract Interpretation. Fuji International Symposium on Functional and Logic Programming 1999: 131-146
	1997
4		Zurab Khasidashvili, Mizuhito Ogawa: Perpetuality and Uniform Normalization. ALP/HOA 1997: 240-255
	1996
3		Ken Mano, Mizuhito Ogawa: Unique Normal Form Property of Higher-Order Rewriting Systems. ALP 1996: 269-283
	1992
2		Mizuhito Ogawa: Chew's Theorem Revisited -Uniquely Normalizing Property of Nonlinear Term Rewriting Systems-. ISAAC 1992: 309-318
	1988
1		Mizuhito Ogawa, Satoshi Ono: Transformation of Strictness-Related Analyses Nased on Abstract Interpretation. FGCS 1988: 430-438

Coauthor Index

1	Indradeep Ghosh	[26]
2	Eiichi Horita	[22]
3	Zhenjiang Hu	[6] [13] [14] [17] [21]
4	Dang Van Hung	[23]
5	Zurab Khasidashvili	[4] [9] [11]
6	Sarfraz Khurshid	[26]
7	Susumu Kunifuji	[33]
8	Guoqiang Li	[24] [25]
9	Xin Li	[26] [27] [30] [32]
10	Ken Mano	[3] [8]
11	Do Thi Bich Ngoc	[29] [34]
12	Satoshi Ono	[1] [22]
13	Vincent van Oostrom	[9] [11]
14	Sreeranga P. Rajan	[26]
15	Masahiko Sakai	[31]
16	Isao Sasano	[6] [13] [14] [17] [21]
17	Daryl Shannon	[26]
18	Masato Takeichi	[6] [13]
19	Nguyen Van Tang	[23] [28]
20	Kobkrit Viriyayudhakorn	[33]
21	Li Xin	[19]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page