Author Info
Name
Affiliation
Papers
FUYUKI ISHIKAWA
Digital Content and Media Sciences Research Division, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan
5
Collaborators
Citations 
PageRank 
11
20
2.42
Referers 
Referees 
References 
44
206
81
Search Limit
100206
Title
Citations
PageRank
Year
ArbitCheck: A Highly Automated Property-Based Testing Tool for Java00.342014
A graph-based approach enhancing correctness and speed of web services composition through explicit specification of functional semantics20.362014
On requirements representation and reasoning using answer set programming00.342014
Formal verification of business processes with temporal and resource constraints170.902011
Incorporating Agreements on Service Options into BPEL-based Services10.482005