Not finding it? Sign in to also search OpenAlex live.
-
Artifact for: "The Probabilistic Model Checker Storm: Lightning Strikes Twice"2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Tim Quatmann, Matthias Volk, Sebastian Junges, Alexander Bork, Linus Heck, Luko van der Maas, +1 more
0citations -
Evaluating the Evaluator: Problems With SemEval-2020 Task 1 for Lexical Semantic Change Detection2026 Journal of Open Humanities Data article Computer Science Natural Language Processing Techniques Open access
Bach Phan Tat, Kris Heylen, Dirk Geeraerts, Stefano De Pascale, Dirk Speelmana
0citations -
Evaluating the Evaluator: Problems With SemEval-2020 Task 1 for Lexical Semantic Change Detection2026 Journal of Open Humanities Data article Computer Science Natural Language Processing Techniques Open access
Bach Phan Tat, Kevin Heylen, Dirk Geeraerts, Stefano De Pascale, Dirk Speelman
0citations