1
Publications
2.9K
Citations
1
H-Index
2004
Active since
Haoyong Lan is an author specializing in formal methods, automated reasoning, and semantic web.
Top concepts
SemanticsEngineeringSemantic WebFormal MethodsComputer ScienceData IntegrationAutomated Reasoning
Publications per year
2004–2004
1
1
Rows per page
1–1 of 1