Shinichi Honiden

Registered user since Tue 21 May 2019

Name: Shinichi Honiden

Country: Japan

Affiliation: Waseda University / National Institute of Informatics, Japan

Personal website:


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