Petra Wolf

63 papers A* 2B 12C 4Misc 1Journal 34Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Decomposing permutation automata.
J. Comput. Syst. Sci.
Ismaël Jecker, Nicolas Mazzocchi, Petra Wolf
2026 J jnl
Multi-parameter analysis of finding minors and induced subgraphs in edge-periodic temporal graphs.
Discret. Appl. Math.
Emmanuel Arrighi, Niels Grüttemeier, Nils Morawietz, Frank Sommer, Petra Wolf
2026 J jnl
Width notions for ordering-related problems.
J. Comput. Syst. Sci.
Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf
2025 J jnl
Defensive Alliances in Signed Networks.
J. Artif. Intell. Res.
Emmanuel Arrighi, Zhidan Feng, Henning Fernau, Kevin Mann, Xingqin Qi, Petra Wolf
2025 J jnl
Parameterized algorithms for multi-label periodic temporal graph realization.
Theor. Comput. Sci.
Thomas Erlebach, Nils Morawietz, Petra Wolf
2024 J jnl
A cop and robber game on edge-periodic temporal graphs.
J. Comput. Syst. Sci.
Thomas Erlebach, Nils Morawietz, Jakob T. Spooner, Petra Wolf
2024 B conf
Distance to Transitivity: New Parameters for Taming Reachability in Temporal Graphs.
MFCS
Arnaud Casteigts, Nils Morawietz, Petra Wolf
2024 J jnl
Distance to Transitivity: New Parameters for Taming Reachability in Temporal Graphs.
CoRR
Arnaud Casteigts, Nils Morawietz, Petra Wolf
2024 J jnl
Learning from positive and negative examples: New proof for binary alphabets.
Inf. Process. Lett.
Jonas Lingg, Mateus de Oliveira Oliveira, Petra Wolf
2024 B conf
Monoids of Upper Triangular Matrices over the Boolean Semiring.
MFCS
Andrew Ryzhikov, Petra Wolf
2024 C conf
On Switching Finite State Automata.
MCU
Joss Chapman, Markus Holzer, Petra Wolf
2024 — conf
Parameterized Algorithms for Multi-Label Periodic Temporal Graph Realization.
SAND
Thomas Erlebach, Nils Morawietz, Petra Wolf
2024 J jnl
Scalable Neighborhood Local Search for Single-Machine Scheduling with Family Setup Times.
CoRR
Kaja Balzereit, Niels Grüttemeier, Nils Morawietz, Dennis Reinhardt, Stefan Windmann, Petra Wolf
2024 J jnl
The Complexity of Traversing Automata with Current State Uncertainty Under LTL
J. Autom. Lang. Comb.
Andrew Ryzhikov, Petra Wolf
2023 B conf
Cluster Editing with Overlapping Communities.
IPEC
Emmanuel Arrighi, Matthias Bentert, Pål Grønås Drange, Blair D. Sullivan, Petra Wolf
2023 J jnl
Defensive Alliances in Signed Networks.
CoRR
Emmanuel Arrighi, Zhidan Feng, Henning Fernau, Kevin Mann, Xingqin Qi, Petra Wolf
2023 J jnl
Heuristic for Diverse Kemeny Rank Aggregation based on Quantum Annealing.
CoRR
Sven Fiergolla, Kevin Goergen, Patrick Neises, Petra Wolf
2023 B conf
Kernelizing Temporal Exploration Problems.
IPEC
Emmanuel Arrighi, Fedor V. Fomin, Petr A. Golovach, Petra Wolf
2023 J jnl
Kernelizing Temporal Exploration Problems.
CoRR
Emmanuel Arrighi, Fedor V. Fomin, Petr A. Golovach, Petra Wolf
2023 B conf
Multi-Parameter Analysis of Finding Minors and Subgraphs in Edge-Periodic Temporal Graphs.
SOFSEM
Emmanuel Arrighi, Niels Grüttemeier, Nils Morawietz, Frank Sommer, Petra Wolf
2023 J jnl
Order Reconfiguration under Width Constraints.
J. Graph Algorithms Appl.
Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf
2023 B conf
PACE Solver Description: Zygosity.
IPEC
Emmanuel Arrighi, Pål Grønås Drange, Kenneth Langedal, Farhad Vadiee, Martin Vatshelle, Petra Wolf
2023 A* conf
Synchronization and Diversity of Solutions.
AAAI
Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf
2023 J jnl
Synchronizing deterministic push-down automata can be really hard.
Inf. Comput.
Henning Fernau, Petra Wolf, Tomoyuki Yamakami
2023 J jnl
Traversing automata with current state uncertainty under LTL
CoRR
Andrew Ryzhikov, Petra Wolf
2022 — conf
All Paths Lead to Rome.
JCDCGGG
Kevin Goergen, Henning Fernau, Esther Oest, Petra Wolf
2022 J jnl
All Paths Lead to Rome.
CoRR
Kevin Goergen, Henning Fernau, Esther Oest, Petra Wolf
2022 J jnl
From decidability to undecidability by considering regular sets of instances.
Theor. Comput. Sci.
Petra Wolf
2022 — ch.
Generalisierte Synchronisation endlicher Automaten.
Ausgezeichnete Informatikdissertationen
Petra Wolf
2022 — —
Generalized Synchronization and Intersection Non-Emptiness of Finite-State Automata.
Petra Wolf
2022 C conf
Learning from Positive and Negative Examples: Dichotomies and Parameterized Algorithms.
IWOCA
Jonas Lingg, Mateus de Oliveira Oliveira, Petra Wolf
2022 J jnl
Learning from Positive and Negative Examples: New Proof for Binary Alphabets.
CoRR
Jonas Lingg, Mateus de Oliveira Oliveira, Petra Wolf
2022 J jnl
Multi-Parameter Analysis of Finding Minors and Subgraphs in Edge Periodic Temporal Graphs.
CoRR
Emmanuel Arrighi, Niels Grüttemeier, Nils Morawietz, Frank Sommer, Petra Wolf
2022 J jnl
On the decidability of finding a positive ILP-instance in a regular set of ILP-instances.
Acta Informatica
Petra Wolf
2022 J jnl
Preface to Klaus-Jörn Lange Festschrift.
Acta Informatica
Henning Fernau, Markus Holzer, Petra Wolf
2022 J jnl
Properties of graphs specified by a regular language.
Acta Informatica
Volker Diekert, Henning Fernau, Petra Wolf
2021 B conf
A Timecop's Chase Around the Table.
MFCS
Nils Morawietz, Petra Wolf
2021 J jnl
A Timecop's Chase Around the Table.
CoRR
Nils Morawietz, Petra Wolf
2021 B conf
Decomposing Permutation Automata.
CONCUR
Ismaël Jecker, Nicolas Mazzocchi, Petra Wolf
2021 J jnl
Decomposing Permutation Automata.
CoRR
Ismaël Jecker, Nicolas Mazzocchi, Petra Wolf
2021 A* conf
Diversity in Kemeny Rank Aggregation: A Parameterized Approach.
IJCAI
Emmanuel Arrighi, Henning Fernau, Daniel Lokshtanov, Mateus de Oliveira Oliveira, Petra Wolf
2021 J jnl
Diversity in Kemeny Rank Aggregation: A Parameterized Approach.
CoRR
Emmanuel Arrighi, Henning Fernau, Daniel Lokshtanov, Mateus de Oliveira Oliveira, Petra Wolf
2021 B conf
Improving Run Length Encoding by Preprocessing.
DCC
Sven Fiergolla, Petra Wolf
2021 J jnl
Improving Run Length Encoding by Preprocessing.
CoRR
Sven Fiergolla, Petra Wolf
2021 — conf
On the Complexity of Intersection Non-emptiness for Star-Free Language Classes.
FSTTCS
Emmanuel Arrighi, Henning Fernau, Stefan Hoffmann, Markus Holzer, Ismaël Jecker, Mateus de Oliveira Oliveira, Petra Wolf
2021 J jnl
On the Complexity of Intersection Non-emptiness for Star-Free Language Classes.
CoRR
Emmanuel Arrighi, Henning Fernau, Stefan Hoffmann, Markus Holzer, Ismaël Jecker, Mateus de Oliveira Oliveira, Petra Wolf
2021 B conf
Order Reconfiguration Under Width Constraints.
MFCS
Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf
2021 C conf
Properties of Graphs Specified by a Regular Language.
DLT
Volker Diekert, Henning Fernau, Petra Wolf
2021 J jnl
Properties of Graphs Specified by a Regular Language.
CoRR
Volker Diekert, Henning Fernau, Petra Wolf
2020 — conf
From Decidability to Undecidability by Considering Regular Sets of Instances.
ICTCS
Petra Wolf
2020 J jnl
Regular Intersection Emptiness of Graph Problems: Finding a Needle in a Haystack of Graphs with the Help of Automata.
CoRR
Petra Wolf, Henning Fernau
2020 — conf
Synchronization Under Dynamic Constraints.
FSTTCS
Petra Wolf
2020 — conf
Synchronization of Deterministic Visibly Push-Down Automata.
FSTTCS
Henning Fernau, Petra Wolf
2020 J jnl
Synchronization of Deterministic Visibly Push-Down Automata.
CoRR
Henning Fernau, Petra Wolf
2020 B conf
Synchronizing Deterministic Push-Down Automata Can Be Really Hard.
MFCS
Henning Fernau, Petra Wolf, Tomoyuki Yamakami
2020 J jnl
Synchronizing Deterministic Push-Down Automata Can Be Really Hard.
CoRR
Henning Fernau, Petra Wolf, Tomoyuki Yamakami
2020 — conf
Width Notions for Ordering-Related Problems.
FSTTCS
Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf
2019 B conf
Computational Complexity of Synchronization under Regular Constraints.
MFCS
Henning Fernau, Vladimir V. Gusev, Stefan Hoffmann, Markus Holzer, Mikhail V. Volkov, Petra Wolf
2019 J jnl
From Decidability to Undecidability by Considering Regular Sets of Instances.
CoRR
Petra Wolf
2019 — conf
On the Decidability of Finding a Positive ILP-Instance in a Regular Set of ILP-Instances.
DCFS
Petra Wolf
2019 J jnl
Synchronization under Dynamic Constraints.
CoRR
Petra Wolf
2018 C conf
Deciding Regular Intersection Emptiness of Complete Problems for PSPACE and the Polynomial Hierarchy.
LATA
Demen Güler, Andreas Krebs, Klaus-Jörn Lange, Petra Wolf
2018 Misc conf
Restricted Power - Computational Complexity Results for Strategic Defense Games.
FUN
Ronald de Haan, Petra Wolf