Yongsun Choi
Orcid: 0000-0002-8605-4055
According to our database1,
Yongsun Choi
authored at least 22 papers
between 2003 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Soundness unknotted: An efficient soundness checking algorithm for arbitrary cyclic process models by loosening loops.
Inf. Syst., 2025
2022
Proceedings of the Business Process Management - 20th International Conference, 2022
2020
Bus. Process. Manag. J., 2020
Proceedings of the 12th International Joint Conference on Knowledge Discovery, 2020
2015
Stepwise structural verification of cyclic workflow models with acyclic decomposition and reduction of loops.
Data Knowl. Eng., 2015
2011
An integrated approach to the optimal selection of security tools using analytic hierarchy process and goal programming.
Int. J. Technol. Manag., 2011
2008
API and Component Based Customization of an Open Source Business Process Management System: uEngine.
Proceedings of the NCM 2008, The Fourth International Conference on Networked Computing and Advanced Information Management, Gyeongju, Korea, September 2-4, 2008, 2008
Proceedings of the 12th International Conference on CSCW in Design, 2008
2007
Inf. Syst. Frontiers, 2007
Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007
Proceedings of the Pervasive Computing for Quality of Life Enhancement, 2007
Proceedings of the Computer Supported Cooperative Work in Design IV, 2007
2006
Proceedings of the Perspectives of Systems Informatics, 2006
Proceedings of the 10th International Conference on CSCW in Design, 2006
2005
Proceedings of the Automated Technology for Verification and Analysis, 2005
2004
Int. J. Web Serv. Res., 2004
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004
Hierarchical Structuring of a Workflow Model in Petri-Net.
Proceedings of the Fourth International Conference on Electronic Business, 2004
Web Service Based Universal Management of Workflow Resources.
Proceedings of the Fourth International Conference on Electronic Business, 2004
A Two Phase Verification Algorithm for Cyclic Workflow Graphs.
Proceedings of the Fourth International Conference on Electronic Business, 2004
2003
Handling Cycles in Workflow Verification by Feedback Identification and Partition.
Proceedings of the International Conference on Information and Knowledge Engineering. IKE'03, June 23, 2003
Adaptive Workflow Management with Open Kernel Framework Based on Web Services.
Proceedings of the International Conference on Web Services, ICWS '03, June 23, 2003