Jens Bruchertseifer

According to our database, Jens Bruchertseifer authored at least 6 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2022

Synchronizing words and monoid factorization, yielding a new parameterized complexity class?

Henning Fernau, Jens Bruchertseifer

Math. Struct. Comput. Sci., 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

Proceedings of the High Performance Computing. ISC High Performance 2022 International Workshops - Hamburg, Germany, May 29, 2022

SMT Solvers - A PromisingWay for Verifying User Interfaces?

Jens Bruchertseifer, Benjamin Weyers

Proceedings of the Mensch und Computer 2022 - Workshopband, Darmstadt, Germany, September 4, 2022

2021

Synchronizing series-parallel deterministic finite automata with loops and related problems.

Jens Bruchertseifer, Henning Fernau

RAIRO Theor. Informatics Appl., 2021

2020

Synchronizing Words and Monoid Factorization: A Parameterized Perspective.

Jens Bruchertseifer, Henning Fernau

Proceedings of the Theory and Applications of Models of Computation, 2020

2019

Synchronizing series-parallel automata with loops.

Jens Bruchertseifer, Henning Fernau

Proceedings of the Eleventh Workshop on Non-Classical Models of Automata and Applications, 2019