2
2
1
|
|
Refining Large Integrated Identity Graphs Using the Unique Name AssumptionThe Semantic Web - 20th International Conference (ESWC) 2023, May 2023, Hersonisos, Greece. pp.55-71, ⟨10.1007/978-3-031-33455-9_4⟩ |
|
|
What does it mean when your URIs are redirected? Examining identity and redirection in the LOD cloud8th Workshop on Managing the Evolution and Preservation of the Data Web (MEPDaW at ISWC), Oct 2022, Hangzhou, China |
|
|
Refining Transitive and Pseudo-Transitive Relations at Web ScaleEuropean Semantic Web Conference (ESWC), May 2021, Hersonissos (Crete), Greece. pp.249-264, ⟨10.1007/978-3-030-77385-4_15⟩ |
|
|
Higher Order Proof Engineering: Proof Collaboration, Transformation, Checking and RetrievalAITP 2016 - Conference on Artificial Intelligence and Theorem Proving, Apr 2016, Obergurgl, Austria |
|
|
Reverse Engineering of HOL ProofsINRIA Paris-Rocquencourt. 2015 |