( en | de | ru )

 

Disambiguation of "Lee, Scott Uk-Jin"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying Semistructured Data Normalization Using PVS.

, , , and . ICECCS, page 15-24. IEEE Computer Society, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Uk Han Lee

Seung Jin Lee

Jin-Kuk Lee

Jin Oh Lee

Young Jin Lee

 

Other publications of authors with the same name

MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and Optimization., , , , and . ECMFA, volume 6698 of Lecture Notes in Computer Science, page 379-380. Springer, (2011)A Review of NLIDB With Deep Learning: Findings, Challenges and Open Issues., , , , and . IEEE Access, (2022)Detecting Wake Lock Leaks in Android Apps Using Machine Learning., , , , and . IEEE Access, (2021)Correctness Criteria for Normalization of Semistructured Data., , , , and . Australian Software Engineering Conference, page 248-257. IEEE Computer Society, (2008)Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment., , , and . APSEC, page 260-267. IEEE, (2019)Theorem prover approach to semistructured data design., , , and . Formal Methods Syst. Des., 37 (1): 1-60 (2010)Stuck-at Fault Analytics of IoT Devices Using Knowledge-based Data Processing Strategy in Smart Grid., , , , , , and . Wireless Personal Communications, 106 (4): 1969-1983 (2019)Enhancing Fidelity of Description in Android Apps With Category-Based Common Permissions., , , and . IEEE Access, (2021)Toward Reliable Software Analytics: Systematic Integration of Explanations From Different Model-Agnostic Techniques., and . IEEE Softw., 40 (3): 34-42 (May 2023)A Z Approach in Validating ORA-SS Data Models., , , and . SVV@ICFEM, volume 157 of Electronic Notes in Theoretical Computer Science, page 95-109. Elsevier, (2005)