Satoshi Hattori

Modular Confluence of Conditional Term Rewriting Systems with Extra Variables in Right-Hand Sides

Teruo Higashino, Kenichi Taniguchi, Kozo Okano, 1996 .

A study on the frequency dependency of quality factor identified by vertical array records.

Tsutomu Sawada, Kiyoshi Hirao, Satoshi Hattori, 1997 .

Computer Algebra System as Test Generation System

Satoshi Hattori, S. Hattori, 2010, IEICE Trans. Inf. Syst..

Control method and apparatus without interference

Yasuo Morooka, Yasunori Katayama, Satoshi Hattori, 1988 .

Control means with Optimal decision unit

Yasuo Morooka, Yutaka Saito, Yasunori Katayama, 1990 .

Efficient Regularization Parameter Selection Via Information Criteria

Yuko Araki, Satoshi Hattori, 2013, Commun. Stat. Simul. Comput..

Checking Regulatory Compliance of Business Processes and Information Systems

Haruhiko Kaiya, Motoshi Saeki, Satoshi Hattori, 2009, ICSOFT.

Software engineering approaches for design patterns

Takashi Kobayashi, Katsuhiko Gondow, Hironori Washizaki, 2012 .

Applying a Model Checker to Check Regulatory Compliance of Use Case Models

Haruhiko Kaiya, Motoshi Saeki, Satoshi Hattori, 2009, CAiSE Forum.

Using clinical trial registries to inform Copas selection model for publication bias in meta‐analysis

Tim Friede, Ao Huang, Satoshi Hattori, 2020, Research synthesis methods.

An Implementation of Orthogonal TRS on Multi-Processor Machine with Shared Memory

Teruo Higashino, Kenichi Taniguchi, Kozo Okano, 1998 .

Model checking for semiparemetric linear transformation model (Statistical Experiments and Clinical Trials)

Satoshi Hattori, 2002 .

Control unit with optimally-decision forward

Yasuo Morooka, Yutaka Saito, Yasunori Katayama, 1990 .

Specification of real-time systems using a timed automata model with shared variables and verification of partial-deadlock freeness

Teruo Higashino, Akira Yamamoto, Kenichi Taniguchi, 1999, Proceedings of the 1999 ICPP Workshops on Collaboration and Mobile Computing (CMC'99). Group Communications (IWGC). Internet '99 (IWI'99). Industrial Applications on Network Computing (INDAP). Multime.

Fuzzy control algorithm and neural networks for flatness control of a cold rolling process

Yasunori Katayama, Satoshi Hattori, Satoshi Hattori, 1992 .

Estimation of the average causal effect via multiple propensity score stratification

Satoshi Hattori, Takanobu Nomura, T. Nomura, 2018, Commun. Stat. Simul. Comput..

Detecting Regulatory Vulnerability in Functional Requirements Specifications

Haruhiko Kaiya, Motoshi Saeki, Satoshi Hattori, 2009, ICSOFT.