Synchronizing series-parallel automata with loops. - Jens Bruchertseifer; Henning Fernau (NCMA, 2019)

Synchronizing Words and Monoid Factorization: A Parameterized Perspective. - Jens Bruchertseifer; Henning Fernau (TAMC, 2020)

Synchronizing series-parallel deterministic finite automata with loops and related problems. - Jens Bruchertseifer; Henning Fernau (RAIRO Theor. Informatics Appl., 2021)

SMT Solvers - A PromisingWay for Verifying User Interfaces? - Jens Bruchertseifer; Benjamin Weyers (MuC (Workshopband), 2022)

Insite: A Pipeline Enabling In-Transit Visualization and Analysis for Neuronal Network Simulations. - Marcel Krüger; Simon Oehrl; Ali C. Demiralp; Sebastian Spreizer; Jens Bruchertseifer; Torsten W. Kuhlen; Tim Gerrits; Benjamin Weyers (ISC Workshops, 2022)

Synchronizing words and monoid factorization, yielding a new parameterized complexity class? - Henning Fernau; Jens Bruchertseifer (Math. Struct. Comput. Sci., 2022)

Investigating Zero-shot Topic Labelling of Scientific Papers Using LLMs. - Jens Bruchertseifer; Patrick Neises; Maria Hinzmann; Ralf Schenkel; Christof Schöch (BTW Workshops, 2025)