2019. DOI PDF R. Tredup and C. Rosenke. On the Hardness of Synthesizing Boolean Nets. In Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 (ATAED@Petri [...] Proceedings of the 25th Italian Conference on Theoretical Computer Science (ICTCS'24) , 173-185, 2024. Link PDF C. Ortlieb. Toward Grünbaum’s Conjecture for 4-Connected Graphs. In Proceedings of the 49th Int [...] Liskiewicz . The generic combinatorial algorithm for image matching with classes of projective transformations. Information and Computation , 275:104550, 2020. DOI C. Rosenke and R. Tredup. The complexity
https://algo.uni-rostock.de/en/research/