Veröffentlichungen im Jahr 2025
Zeitschriften
- 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. Algorithms18(2)
- Emmanuel Arrighi, Zhidan Feng, Henning Fernau, Kevin Mann, Xingqin Qi, Petra Wolf. Defensive Alliances in Signed Networks. Journal of Artificial Intelligence Research 82
Konferenzen
- 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