Ryoya Shiraki

According to our database, Ryoya Shiraki authored at least 2 papers in 2017.

Collaborative distances:

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

2017

Verification of Business Processes with Time Constraints.

Ryoya Shiraki, Yoshiyuki Shinkawa

Proceedings of the 6th IIAI International Congress on Advanced Applied Informatics, 2017

Temporal Evaluation of Business Processes Using Timed Colored Petri Nets.

Yoshiyuki Shinkawa, Ryoya Shiraki

Proceedings of the Position Papers of the 2017 Federated Conference on Computer Science and Information Systems, 2017