Shuai Wang

Publications

Communication dans un congrès (4)

Refining Large Integrated Identity Graphs Using the Unique Name Assumption Shuai Wang,Joe Raad,Peter Bloem,Frank van Harmelen The Semantic Web - 20th International Conference (ESWC) 2023, May 2023, Hersonisos, Greece. pp.55-71, ⟨10.1007/978-3-031-33455-9_4⟩ Communication dans un congrès hal-04247390v1
What does it mean when your URIs are redirected? Examining identity and redirection in the LOD cloud Idries Nasim,Shuai Wang,Joe Raad,Peter Bloem,Frank van Harmelen 8th Workshop on Managing the Evolution and Preservation of the Data Web (MEPDaW at ISWC), Oct 2022, Hangzhou, China Communication dans un congrès hal-03953088v1
Refining Transitive and Pseudo-Transitive Relations at Web Scale Shuai Wang,Joe Raad,Peter Bloem,Frank van Harmelen European Semantic Web Conference (ESWC), May 2021, Hersonissos (Crete), Greece. pp.249-264, ⟨10.1007/978-3-030-77385-4_15⟩ Communication dans un congrès hal-03953064v1
Higher Order Proof Engineering: Proof Collaboration, Transformation, Checking and Retrieval Shuai Wang AITP 2016 - Conference on Artificial Intelligence and Theorem Proving, Apr 2016, Obergurgl, Austria Communication dans un congrès hal-01250197v1

Rapport (1)

Reverse Engineering of HOL Proofs Shuai Wang INRIA Paris-Rocquencourt. 2015 Rapport hal-04442046v1