Publications in 2025
Journals
- 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)
Conferences
- 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