Emil G. Henriksen

According to our database, Emil G. Henriksen authored at least 2 papers in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Potency-Based Heuristic Search with Randomness for Explicit Model Checking.

Emil G. Henriksen, Alan M. Khorsid, Esben Nielsen, Theodor Risager, Jirí Srba, Adam M. Stück, Andreas S. Sørensen

Proceedings of the Model Checking Software - 29th International Symposium, 2023

SemTex: A Hybrid Approach for Semantic Table Interpretation.

Emil G. Henriksen, Alan M. Khorsid, Esben Nielsen, Adam M. Stück, Andreas S. Sørensen, Olivier Pelgrin

Proceedings of the Semantic Web Challenge on Tabular Data to Knowledge Graph Matching, 2023