Satoshi Hattori

According to our database, Satoshi Hattori authored at least 7 papers between 1999 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Estimation of the average causal effect via multiple propensity score stratification.

Takanobu Nomura, Satoshi Hattori

Commun. Stat. Simul. Comput., 2018

2013

Efficient Regularization Parameter Selection Via Information Criteria.

Yuko Araki, Satoshi Hattori

Commun. Stat. Simul. Comput., 2013

2010

Computer Algebra System as Test Generation System.

Satoshi Hattori

IEICE Trans. Inf. Syst., 2010

2009

Checking Regulatory Compliance of Business Processes and Information Systems.

Motoshi Saeki, Haruhiko Kaiya, Satoshi Hattori

Proceedings of the Software and Data Technologies - 4th International Conference, 2009

Detecting Regulatory Vulnerability in Functional Requirements Specifications.

Motoshi Saeki, Haruhiko Kaiya, Satoshi Hattori

Proceedings of the ICSOFT 2009, 2009

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

Motoshi Saeki, Haruhiko Kaiya, Satoshi Hattori

Proceedings of the Forum at the CAiSE 2009 Conference, 2009

1999

Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness.

Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 1999 International Conference on Parallel Processing Workshops, 1999