I agree that this site is using cookies. You can find further informations here.
X
Ogawa, Mizuhito
47  results:
Search for persons X
?
1

Original Entry Point Detection Based on Graph Similarity:

, In: Foundations and Practice of Security; Lecture Notes in Computer Science,
Pham, Thanh-Hung ; Ogawa, Mizuhito - p. 355-371 , 2024
Link: https://doi.org/10.1007/..
 
?
2

On the Determinization of Event-Clock Input-Driven Pushdown..:

, In: Computer Science – Theory and Applications; Lecture Notes in Computer Science,
Ogawa, Mizuhito ; Okhotin, Alexander - p. 256-268 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Automatic Stub Generation for Dynamic Symbolic Execution of..:

, In: The 11th International Symposium on Information and Communication Technology,
Nguyen, Anh T. V. ; Ogawa, Mizuhito - p. 352-359 , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

Formal Semantics Extraction from MIPS Instruction Manual:

, In: Communications in Computer and Information Science; Formal Techniques for Safety-Critical Systems,
Trac, Quang Thinh ; Ogawa, Mizuhito - p. 133-140 , 2020
Link: https://doi.org/10.1007/..
 
?
5

On Classes of Regular Languages Related to Monotone WQOs:

, In: Descriptional Complexity of Formal Systems; Lecture Notes in Computer Science,
Ogawa, Mizuhito ; Selivanov, Victor - p. 235-247 , 2019
Link: https://doi.org/10.1007/..
 
?
6

Formal Semantics Extraction from Natural Language Specifica..:

, In: Lecture Notes in Computer Science; Formal Methods – The Next 30 Years,
Vu, Anh V. ; Ogawa, Mizuhito - p. 465-483 , 2019
Link: https://doi.org/10.1007/..
 
?
7

Applying Clustering Techniques for Refining Large Data Set:..:

, In: 2019 International Conference on Advanced Information Technologies (ICAIT),
Thwe, Yoon Myet ; Ogawa, Mizuhito ; Dung, Pham Ngoc - p. 238-243 , 2019
Link: https://doi.org/10.1109/..
 
?
8

Packer identification based on metadata signature:

, In: Proceedings of the 7th Software Security, Protection, and Reverse Engineering / Software Security and Protection Workshop,
Hai, Nguyen Minh ; Ogawa, Mizuhito ; Tho, Quan Thanh - p. 1-11 , 2017
Link: https://dl.acm.org/doi/1..
 
?
9

raSAT: an SMT solver for polynomial constraints:

Tung, Vu Xuan ; Van Khanh, To ; Ogawa, Mizuhito
Formal Methods in System Design.  51 (2017)  3 - p. 462-499 , 2017
Link: https://doi.org/10.1007/..
 
?
10

Automated Technology for Verification and Analysis 

11th International Symposium, ATVA 2013, Hanoi, Vietnam, Oc...  Lecture Notes in Computer Science ; 8172;SpringerLink, Bücher
Hung, Dang ; Ogawa, Mizuhito , 2013
Link: https://doi.org/10.1007/..
 
?
11

Preface:

, In: The 2013 RIVF International Conference on Computing & Communication Technologies - Research, Innovation, and Vision for Future (RIVF),
Ho Tu Bao ; Piuri, Vincenzo ; Nguyen Thanh Thuy. - p. viii-viii , 2013
Link: https://doi.org/10.1109/..
 
?
12

SMT for Polynomial Constraints on Real Numbers:

Van Khanh, To ; Ogawa, Mizuhito
Electronic Notes in Theoretical Computer Science.  289 (2012)  - p. 27-40 , 2012
Link: https://doi.org/10.1016/..
 
?
13

Associative Search on Shogi Game Records:

Viriyayudhakorn, Kobkrit ; Ogawa, Mizuhito
IPSJ Online Transactions.  4 (2011)  - p. 147-159 , 2011
Link: https://doi.org/10.2197/..
 
?
14

Weakly-non-overlapping non-collapsing shallow term rewritin..:

Sakai, Masahiko ; Ogawa, Mizuhito
Information Processing Letters.  110 (2010)  18-19 - p. 810-814 , 2010
Link: https://doi.org/10.1016/..
 
?
15

Conditional weighted pushdown systems and applications:

, In: Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation,
Li, Xin ; Ogawa, Mizuhito - p. 141-150 , 2010
Link: https://dl.acm.org/doi/1..
 
1-15