Publications in 2025

Henning Fernau, Florent Foucaud, Kevin Mann, Utkarsh Padariya, Rajath Rao K. N. Parameterizing path partitions. Theoretical Computer Science 1028
Yasuaki Kobayashi, Kazuhiro Kurita, Kevin Mann, Yasuko Matsui, Hirotaka Ono: Enumerating Minimal Vertex Covers and Dominating Sets with Capacity and/or Connectivity Constraints. Algorithms 18(2)
Emmanuel Arrighi, Zhidan Feng, Henning Fernau, Kevin Mann, Xingqin Qi, Petra Wolf. Defensive Alliances in Signed Networks. Journal of Artificial Intelligence Research 82

Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman. On Computational Completeness of Semi-Conditional Matrix Grammars. SOFSEM 2025
Kevin Mann, Henning Fernau. Roman Hitting Set. SOFSEM 2025
Zhidan Feng, Henning Fernau, Kevin Mann, Indhumathi Raman, Silas Cato Sacher. Generalized Lettericity of Graphs. CALDAM 2025
Kevin Mann, Henning Fernau. Extension Perfect Roman Domination. CALDAM 2025
Elena Valette, Tobias Zeimetz, Henning Fernau, Ralf Schenkel. SMART: Self-supervised Model aligning APIs and RDF using Transformers. BTW 2025
Silas Cato Sacher: Arithmetic Circuits with Division. CIAC 2025

Further resources