Not finding it? Sign in to also search OpenAlex live.
-
SymSeqBench: a unified framework for the generation and analysis of rule-based symbolic sequences and datasets2025 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access
Barna Zajzon, Younes Bouhadjar, Maxime Fabre, Felix Schmidt, Noah Ostendorf, Emre Neftci, +2 more
0citations -
First three years of the international verification of neural networks competition (VNN-COMP)2023 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access cited by 1 patent
Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor Thomas Johnson, Changliu Liu
66citations -
Performance portability for the CMS Reconstruction with Alpaka2023 Journal of Physics Conference Series conference-paper Computer Science Parallel Computing and Optimization Techniques Open access
Andrea Bocci, Angéla Czirkos, Antonio Di Pilato, Felice Pantaleo, Gabrielle Hugo, M. J. Kortelainen, +1 more
4citations -
A Typology of Teachers’ Self-reported Use of Student Data from Computer-Based Assessment Programmes in Secondary Education2024 International Journal on Studies in Education article Computer Science Online Learning and Analytics Open access
Anouschka van Leeuwen, Lysanne S. Post, Ditte Lockhorst, Wilfried Admiraal, Liesbeth Kester
2citations -
Building a Digital Health Twin for Personalized Intervention: The EPI Project2024 UvA-DARE (University of Amsterdam) conference-paper Computer Science Internet of Things and AI Open access
Jamila Alsayed Kassem, Saba Amiri, Tim Müller, Adam Belloum, Peter Grünwald, Paola Grosso, +12 more
0citations -
MO-IOHinspector: Anytime Benchmarking of Multi-Objective Algorithms using IOHprofiler2024 arXiv (Cornell University) preprint Computer Science Advanced Multi-Objective Optimization Algorithms Open access
Diederick Vermetten, Jeroen Rook, Oliver Ludger Preuß, Jacob de Nobel, Carola Doerr, Manuel López‐Ibáñez, +2 more
0citations -
Model-driven engineering for mobile robotic systems: a systematic mapping study2021 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access
Giuseppina Lucia Casalaro, Giulio Cattivera, Federico Ciccozzi, Ivano Malavolta, Andreas Wortmann, Patrizio Pelliccione
45citations