Not finding it? Sign in to also search OpenAlex live.
-
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 IT University Of Copenhagen (IT University of Copenhagen) dataset Computer Science Formal Methods in Verification Open access
Sergio Quijano, József Kovács, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
Annotator-Centric Active Learning for Subjective NLP Tasks2024 Conference on Empirical Methods in Natural Language Processing (EMNLP) conference-paper Computer Science Machine Learning and Algorithms Open access
Michiel van der Meer, Neele Falk, Pradeep Kumar Murukannaiah, Enrico Liscio
5citations -
Clustering-based Domain-Incremental Learning2023 IEEE/CVF International Conference on Computer Vision Workshops (ICCVW) conference-paper Computer Science Domain Adaptation and Few-Shot Learning Open access
Christiaan Lamers, René Vidal, Nabil Belbachir, Bas van Stein, Thomas Bäck, Paris V. Giampouras
20citations -
The involvement process for financial-economic cyber-enabled crime: Exploring the roles of preexisting ties and offender convergence settings2026 Crime Law and Social Change article Computer Science Cybercrime and Law Enforcement Studies Open access
Joeri Loggen, Asier Moneva, ARJAN A. J. BLOKLAND, Rutger Leukfeldt
1citations
10 results