Shinichi Honiden

Registered user since Tue 21 May 2019

Name: Shinichi Honiden

Country: Japan

Affiliation: Waseda University / National Institute of Informatics, Japan

Personal website: http://research.nii.ac.jp/~honiden/

Contributions

SEAMS 2020
SEAMS 2019Author of Modelling and Analysing ResilientCyber-Physical Systems within the SEAMS 2019-track
DBPL 2015Author of Abstract Rewriting Approach to Solve Datalog Programs within the DBPL-track