Not finding it? Sign in to also search OpenAlex live.
-
Making Robots Play by the Rules: The ROS 2 CLIPS-Executive2026 International Conference on Agents and Artificial Intelligence (ICAART) conference-paper Computer Science AI-based Problem Solving and Planning
Tarik Viehmann, Daniel Swoboda, Samridhi Kalra, Himanshu Grover, Gerhard Lakemeyer
0citations -
Design thinking and creativity of colocated versus globally distributed software developers2021 RWTH Publications (RWTH Aachen) conference-paper Computer Science Software Engineering Techniques and Practices Open access
Rodi Jolak, Andreas Wortmann, Grischa Liebel, Eric Umuhoza, Michel R. V. Chaudron
6citations -
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 -
Retrieval for Extremely Long Queries and Documents with RPRS: A Highly Efficient and Effective Transformer-based Re-Ranker2023 ACM Transactions on Information Systems article Computer Science Information Retrieval and Search Behavior Open access
Arian Askari, Suzan Verberne, Amin Abolghasemi, Wessel Kraaij, Gabriella Pasi
29citations