Kevin Mann

Wissenschaftlicher Mitarbeiter Theoretische Informatik

Theoretische Informatik
Campus II / Geozentrum
Gebäude H, Raum H 407
D-54286 Trier

Tel.: +49 (0)651 201-2840 

E-Mail: mann@uni-trier.de

Sprechstunde: Di 13:00 -14:00 Uhr in H 407 (Fällt am 15.04 und 29.04 aus)(gerne können via E-Mail auch andere Termine vereinbart werden)
Beachten Sie: In der vorlesungsfreien Zeit kann es sein, dass ich nicht im Büro bin. Schreiben dann eine E-Mail und wir vereinbaren einen Termin.

Publikationen:

Zeitschriften:

  • Akanksha Agrawal, Henning Fernau, Philipp Kindermann, Kevin Mann, Uéverton S. Souza. Recognizing well-dominated graphs is coNP-complete. Information Processing Letters 183. DOI: 10.1016/j.ipl.2023.106419
  • Faisal N. Abu-Khzam, Henning Fernau, Kevin Mann. Minimal Roman Dominating Functions: Extensions and Enumeration. Algorithmica. DOI: 10.1007/s00453-024-01211-w
  • Henning Fernau, Florent Foucaud, Kevin Mann, Utkarsh Padariya, Rajath Rao. Parameterizing Path Partitions. Theoretical Computer Science. Doi: 10.1016/j.tcs.2024.115029
  • Kevin Mann, Henning Fernau. Perfect Roman Domination: Aspects of Enumeration and Parameterization. Algorithms DOI: 10.3390/a17120576
  • Yasuaki Kobayashi, Kazuhiro Kurita, Kevin Mann, Yasuko Matsui, Hirotaka Ono. Enumerating Minimal Vertex Covers and Dominating Sets with Capacity and/or Connectivity Constraints. Algorithms, Algorithms 2025, 18(2), DOI:10.3390/a18020112
  • Emmanuel Arrighi, Zhidan Feng, Henning Fernau,Kevin Mann,Xingqin Qi, Petra Wolf. Defensive Alliances in Signed Networks.  Journal of Artificial Intelligence Research Vol. 82 (2025), DOI:10.1613/jair.1.17165

Konferenzen:

  • Faisal N. Abu-Khzam, Henning Fernau, Kevin Mann. Minimal Roman Dominating Functions: Extensions and Enumeration. DOI: 10.1007/978-3-031-15914-5_1
  • Faisal N. Abu-Khzam, Henning Fernau, Benjamin Gras, Mathieu Liedloff, Kevin Mann. Enumerating Minimal Connected Dominating Sets. ESA 2022 Doi: 10.4230/LIPIcs.ESA.2022.1
  • Henning Fernau, Florent Foucaud, Kevin Mann, Utkarsh Padariya, Rajath Rao. Parameterizing Path Partitions. CIAC 2023 Doi: 10.1007/978-3-031-30448-4_14
  • Faisal Abu-Khzam, Henning Fernau, Kevin Mann. Roman Census: Enumerating and Counting Roman Dominating Functions on Graph Classes. MFCS 2023. DOI: 10.4230/LIPIcs.MFCS.2023.6
  • Zhidan Feng, Henning Fernau, Kevin Mann, Xingqin Qi. Offensive Alliances in Signed Graphs. TAMC 2024. DOI: 10.1007/978-981-97-2340-9_20
  • Kevin Mann, Henning Fernau. Perfect Roman Domination: Aspects of Enumeration and Parameterization. IWOCA 2024. DOI: 10.1007/978-3-031-63021-7_27
  • Henning Fernau, Kevin Mann. Roman Hitting Functions. IPEC 2024. DOI: 10.4230/LIPIcs.IPEC.2024.24
  • Henning Fernau, Kevin Mann. Extension Perfect Roman Domination. CALDAM 2025. DOI: 10.1007/978-3-031-83438-7_17
  • Zhidan Feng, Henning Fernau, Kevin Mann, Indhumathi Raman and Silas Cato Sacher. Generalized Lettericity of Graphs. CALDAM 2025. DOI: 10.1007/978-3-031-83438-7_12
  • Henning Fernau, Kevin Mann. Roman Hitting Set. SOFSEM 2025. DOI:10.1007/978-3-031-82697-9_11

Vorträge auf Workshops:

  • Henning Fernau, Kevin Mann. How to reconfigure your alliances. 5th Combinatorial Reconfiguration Workshop 2024
  • Zhidan Feng, Henning Fernau, Kevin Mann. Enumerating Minimal Defensive Alliances. WEPA 2024
  • Henning Fernau, Kevin Mann. How to reconfigure your alliances. Bremen Workshop on Combinatorial Reconfiguration and Beyond 2024