Worst- and Average-Case Robustness of Stable Matchings: (Counting) Complexity and Experiments. - Kimon Boehmer; Niclas Boehmer (ECAI, 2024)

PACE Solver Description: Arcee. - Kimon Boehmer; Lukas Lee George; Fanny Hauser; Jesse Palarus (IPEC, 2024)

RNA Triplet Repeats: Improved Algorithms for Structure Prediction and Interactions. - Kimon Boehmer; Sarah J. Berkemer; Sebastian Will; Yann Ponty (WABI, 2024)

Arcee: An OCM-Solver. - Kimon Boehmer; Lukas Lee George; Fanny Hauser; Jesse Palarus (CoRR, 2024)

Arcee. - Kimon Boehmer; Lukas Lee George; Fanny Hauser; Jesse Palarus (DROPS Artifacts, 2024)