Ryoya Shiraki

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2017

Verification of Business Processes with Time Constraints.

[BibT_eX]

[DOI]

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

Temporal Evaluation of Business Processes Using Timed Colored Petri Nets.

[BibT_eX]

[DOI]

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