Multiwinner Candidacy Games. - Svetlana Obraztsova; Maria Polukarov; Edith Elkind; Marek Grzesiuk (AAMAS, 2020)

QuCheck: A Property-based Testing Framework for Quantum Programs in Qiskit. - Gabriel Pontolillo; Mohammad Reza Mousavi 001; Marek Grzesiuk (CoRR, 2025)