| Publication | Date of Publication | Type |
|---|
| All paths lead to Rome | 2026-01-28 | Paper |
Decomposing permutation automata
Journal of Computer and System Sciences | 2025-12-11 | Paper |
Multi-parameter analysis of finding minors and induced subgraphs in edge-periodic temporal graphs
Discrete Applied Mathematics | 2025-11-04 | Paper |
The complexity of traversing automata with current state uncertainty under \(\mathrm{LTL}_{f}\) constraints
Journal of Automata, Languages and Combinatorics | 2025-11-01 | Paper |
| PACE solver description: Zygosity | 2025-09-24 | Paper |
| Cluster editing with overlapping communities | 2025-09-24 | Paper |
| Kernelizing temporal exploration problems | 2025-09-24 | Paper |
Parameterized algorithms for multi-label periodic temporal graph realization
Theoretical Computer Science | 2025-08-01 | Paper |
Cluster editing with vertex splitting
Discrete Applied Mathematics | 2025-05-19 | Paper |
Defensive alliances in signed networks
The Journal of Artificial Intelligence Research (JAIR) | 2025-05-13 | Paper |
| On switching finite state automata | 2025-04-15 | Paper |
A cop and robber game on edge-periodic temporal graphs
Journal of Computer and System Sciences | 2024-07-01 | Paper |
On the complexity of intersection non-emptiness for star-free language classes
(available as arXiv preprint) | 2024-02-05 | Paper |
Synchronizing deterministic push-down automata can be really hard
Information and Computation | 2024-02-02 | Paper |
Learning from positive and negative examples: new proof for binary alphabets
Information Processing Letters | 2023-10-12 | Paper |
Order Reconfiguration under Width Constraints
Journal of Graph Algorithms and Applications | 2023-09-20 | Paper |
scientific article; zbMATH DE number 7730620 (Why is no real title available?)
(available as arXiv preprint) | 2023-08-21 | Paper |
Multi-parameter analysis of finding minors and subgraphs in edge-periodic temporal graphs
Lecture Notes in Computer Science | 2023-08-14 | Paper |
scientific article; zbMATH DE number 7724250 (Why is no real title available?)
(available as arXiv preprint) | 2023-08-08 | Paper |
| Order Reconfiguration Under Width Constraints. | 2023-08-08 | Paper |
Properties of graphs specified by a regular language
Acta Informatica | 2022-08-30 | Paper |
On the decidability of finding a positive ILP-instance in a regular set of ILP-instances
Acta Informatica | 2022-08-30 | Paper |
| Learning from positive and negative examples: dichotomies and parameterized algorithms | 2022-08-30 | Paper |
| Semicomputable points in Euclidean spaces | 2022-07-21 | Paper |
scientific article; zbMATH DE number 7559404 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
Properties of graphs specified by a regular language
Developments in Language Theory | 2022-03-25 | Paper |
From decidability to undecidability by considering regular sets of instances
Theoretical Computer Science | 2021-12-22 | Paper |
| Restricted Power - Computational Complexity Results for Strategic Defense Games | 2020-08-11 | Paper |
On the decidability of finding a positive ILP-instance in a regular set of ILP-instances
Descriptional Complexity of Formal Systems | 2020-05-12 | Paper |
| Deciding regular intersection emptiness of complete problems for PSPACE and the polynomial hierarchy | 2018-06-26 | Paper |
The use of Roc for defining the validity of the prognostic index in censored data
Statistics & Probability Letters | 2011-06-15 | Paper |
