Wonhong Nam
Orcid: 0000-0003-1450-347X
According to our database1,
Wonhong Nam
authored at least 29 papers
between 2004 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
IEEE Access, 2022
2021
Automatic incremental recomposition algorithm for QoS-aware internet of things service composition.
Int. J. Web Grid Serv., 2021
2020
Int. J. Softw. Eng. Knowl. Eng., 2020
2018
Comput. Syst. Sci. Eng., 2018
2017
Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2017
2016
Int. J. Web Grid Serv., 2016
Int. J. Web Grid Serv., 2016
2014
Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring System for Aircraft.
Comput. Sci. Eng., 2014
2013
Behavioural description based web service composition using abstraction and refinement.
Int. J. Web Grid Serv., 2013
Int. J. Web Grid Serv., 2013
Int. J. Web Grid Serv., 2013
2012
Proceedings of the Computer Applications for Database, Education, and Ubiquitous Computing, 2012
2011
On the computational complexity of behavioral description-based web service composition.
Theor. Comput. Sci., 2011
Proceedings of the 20th International Conference on World Wide Web, 2011
2010
Active Learning of Plans for Safety and Reachability Goals With Partial Observability.
IEEE Trans. Syst. Man Cybern. Part B, 2010
Proceedings of the International Conference on Information and Communication Technology Convergence, 2010
2009
Proceedings of the 18th International Conference on World Wide Web, 2009
Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing, 2009
Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition.
Proceedings of the IJCAI 2009, 2009
2008
Formal Methods Syst. Des., 2008
Proceedings of the 10th IEEE International Conference on E-Commerce Technology (CEC 2008) / 5th IEEE International Conference on Enterprise Computing, 2008
Computational Complexity of Web Service Composition Based on Behavioral Descriptions.
Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008
Proceedings of the Digital Libraries: Universal and Ubiquitous Access to Information, 2008
2006
Proceedings of the Automated Technology for Verification and Analysis, 2006
2005
Int. J. Softw. Tools Technol. Transf., 2005
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System.
Int. J. Softw. Tools Technol. Transf., 2004