Not finding it? Sign in to also search OpenAlex live.
-
[COMP25] The Automated Negotiating Agents Competition (ANAC) 2025 Challenges and Results2026 International Joint Conference on Artificial Intelligence conference-paper Computer Science Multi-Agent Systems and Negotiation Open access
Reyhan Aydoğan, Tim Baarslag, Tamara C.P. Florijn, Katsuhide Fujita, Catholijn M. Jonker, Yasser Mohammad
1citations -
Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures2026 ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access
Sebastian Reimers, Dennis Sprokholt, Martin Fink, Theofilos Augoustis, Simon Kammermeier, Rodrigo C. O. Rocha, +4 more
1citations -
[COMP24] The Automated Negotiating Agents Competition (ANAC) 2024 Challenges and Results2025 Adaptive Agents and Multi-Agents Systems conference-paper Computer Science Multi-Agent Systems and Negotiation Open access
Reyhan Aydoğan, Tim Baarslag, Tamara C.P. Florijn, Katsuhide Fujita, Catholijn M. Jonker, Yasser F. O. Mohammad
1citations -
HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model2025 IEEE Computer Society Annual Symposium on VLSI conference-paper Computer Science Embedded Systems Design Techniques
Sascha Neske, Bryan Olmos, Shuhang Zhang, M. Kroening, Stefan Lankes, Wolfgang Gerhard Kunz, +1 more
0citations -
Towards Timing Isolation for Mixed-Criticality Communication in Software-Defined Vehicles2025 IEEE International Automated Vehicle Validation Conference (IAVVC) conference-paper Computer Science Real-Time Systems Scheduling Open access
Lóránt Meszlényi, Dominik Püllen, Stefan Kowalewski, Stefan Katzenbeisser, Alexandru Kampmann
2citations -
Simultaneous Arterial and Venous Oximetry with a Novel Flexi-Frequency Cuff Actuator2024 IEEE International Symposium on Medical Measurements and Applications (MeMeA) conference-paper Engineering Non-Invasive Vital Sign Monitoring
Idoia Badiola, Vladimír Blažek, Steffen K. Leonhardt, Markus Lueken
0citations -
In-Memory Indexed Caching for Distributed Data Processing2022 Proceedings - IEEE International Parallel and Distributed Processing Symposium conference-paper Computer Science Advanced Database Systems and Queries Open access cited by 1 patent
Alexandru Uta, Bogdan Ghiț, Ankur Dave, Jan S. Rellermeyer, Peter A. Boncz
2citations