Jens Bruchertseifer

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 6

Top Topics

Parameterized Complexity

Top Venues

Math. Struct. Comput. Sci.

MuC (Workshopband)

Publications

Marcel Krüger, Simon Oehrl, Ali C. Demiralp, Sebastian Spreizer, Jens Bruchertseifer, Torsten W. Kuhlen, Tim Gerrits, Benjamin Weyers
Insite: A Pipeline Enabling In-Transit Visualization and Analysis for Neuronal Network Simulations. ISC Workshops (2022)
Henning Fernau, Jens Bruchertseifer
Synchronizing words and monoid factorization, yielding a new parameterized complexity class? Math. Struct. Comput. Sci. 32 (2) (2022)
Jens Bruchertseifer, Benjamin Weyers
SMT Solvers - A PromisingWay for Verifying User Interfaces? MuC (Workshopband) (2022)
Jens Bruchertseifer, Henning Fernau
Synchronizing series-parallel deterministic finite automata with loops and related problems. RAIRO Theor. Informatics Appl. 55 (2021)
Jens Bruchertseifer, Henning Fernau
Synchronizing Words and Monoid Factorization: A Parameterized Perspective. TAMC (2020)
Jens Bruchertseifer, Henning Fernau
Synchronizing series-parallel automata with loops. NCMA (2019)