Petra Wolf

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 51

Top Topics

Positive And Negative Examples

Finite State Automaton

Top Venues

Publications

Arnaud Casteigts, Nils Morawietz, Petra Wolf
Distance to Transitivity: New Parameters for Taming Reachability in Temporal Graphs. MFCS (2024)
Thomas Erlebach, Nils Morawietz, Jakob T. Spooner, Petra Wolf
A cop and robber game on edge-periodic temporal graphs. J. Comput. Syst. Sci. 144 (2024)
Andrew Ryzhikov, Petra Wolf
Monoids of Upper Triangular Matrices over the Boolean Semiring. MFCS (2024)
Thomas Erlebach, Nils Morawietz, Petra Wolf
Parameterized Algorithms for Multi-Label Periodic Temporal Graph Realization. SAND (2024)
Arnaud Casteigts, Nils Morawietz, Petra Wolf
Distance to Transitivity: New Parameters for Taming Reachability in Temporal Graphs. CoRR (2024)
Jonas Lingg, Mateus de Oliveira Oliveira, Petra Wolf
Learning from positive and negative examples: New proof for binary alphabets. Inf. Process. Lett. 183 (2024)
Sven Fiergolla, Kevin Goergen, Patrick Neises, Petra Wolf
Heuristic for Diverse Kemeny Rank Aggregation based on Quantum Annealing. CoRR (2023)
Emmanuel Arrighi, Niels Grüttemeier, Nils Morawietz, Frank Sommer, Petra Wolf
Multi-Parameter Analysis of Finding Minors and Subgraphs in Edge-Periodic Temporal Graphs. SOFSEM (2023)
Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf
Synchronization and Diversity of Solutions. AAAI (2023)
Henning Fernau, Petra Wolf, Tomoyuki Yamakami
Synchronizing deterministic push-down automata can be really hard. Inf. Comput. 295 (Part B) (2023)
Emmanuel Arrighi, Fedor V. Fomin, Petr A. Golovach, Petra Wolf
Kernelizing Temporal Exploration Problems. CoRR (2023)
Emmanuel Arrighi, Fedor V. Fomin, Petr A. Golovach, Petra Wolf
Kernelizing Temporal Exploration Problems. IPEC (2023)
Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf
Order Reconfiguration under Width Constraints. J. Graph Algorithms Appl. 27 (6) (2023)
Emmanuel Arrighi, Matthias Bentert, Pål Grønås Drange, Blair D. Sullivan, Petra Wolf
Cluster Editing with Overlapping Communities. IPEC (2023)
Emmanuel Arrighi, Pål Grønås Drange, Kenneth Langedal, Farhad Vadiee, Martin Vatshelle, Petra Wolf
PACE Solver Description: Zygosity. IPEC (2023)
Emmanuel Arrighi, Zhidan Feng, Henning Fernau, Kevin Mann, Xingqin Qi, Petra Wolf
Defensive Alliances in Signed Networks. CoRR (2023)
Petra Wolf
From decidability to undecidability by considering regular sets of instances. Theor. Comput. Sci. 899 (2022)
Henning Fernau, Markus Holzer, Petra Wolf
Preface to Klaus-Jörn Lange Festschrift. Acta Informatica 59 (4) (2022)
Petra Wolf
On the decidability of finding a positive ILP-instance in a regular set of ILP-instances. Acta Informatica 59 (4) (2022)
Emmanuel Arrighi, Niels Grüttemeier, Nils Morawietz, Frank Sommer, Petra Wolf
Multi-Parameter Analysis of Finding Minors and Subgraphs in Edge Periodic Temporal Graphs. CoRR (2022)
Jonas Lingg, Mateus de Oliveira Oliveira, Petra Wolf
Learning from Positive and Negative Examples: New Proof for Binary Alphabets. CoRR (2022)
Kevin Goergen, Henning Fernau, Esther Oest, Petra Wolf
All Paths Lead to Rome. CoRR (2022)
Volker Diekert, Henning Fernau, Petra Wolf
Properties of graphs specified by a regular language. Acta Informatica 59 (4) (2022)
Jonas Lingg, Mateus de Oliveira Oliveira, Petra Wolf
Learning from Positive and Negative Examples: Dichotomies and Parameterized Algorithms. IWOCA (2022)
Sven Fiergolla, Petra Wolf
Improving Run Length Encoding by Preprocessing. DCC (2021)
Volker Diekert, Henning Fernau, Petra Wolf
Properties of Graphs Specified by a Regular Language. DLT (2021)
Nils Morawietz, Petra Wolf
A Timecop's Chase Around the Table. CoRR (2021)
Volker Diekert, Henning Fernau, Petra Wolf
Properties of Graphs Specified by a Regular Language. CoRR (2021)
Emmanuel Arrighi, Henning Fernau, Stefan Hoffmann, Markus Holzer, Ismaël Jecker, Mateus de Oliveira Oliveira, Petra Wolf
On the Complexity of Intersection Non-emptiness for Star-Free Language Classes. FSTTCS (2021)
Emmanuel Arrighi, Henning Fernau, Daniel Lokshtanov, Mateus de Oliveira Oliveira, Petra Wolf
Diversity in Kemeny Rank Aggregation: A Parameterized Approach. IJCAI (2021)
Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf
Order Reconfiguration Under Width Constraints. MFCS (2021)
Emmanuel Arrighi, Henning Fernau, Stefan Hoffmann, Markus Holzer, Ismaël Jecker, Mateus de Oliveira Oliveira, Petra Wolf
On the Complexity of Intersection Non-emptiness for Star-Free Language Classes. CoRR (2021)
Sven Fiergolla, Petra Wolf
Improving Run Length Encoding by Preprocessing. CoRR (2021)
Ismaël Jecker, Nicolas Mazzocchi, Petra Wolf
Decomposing Permutation Automata. CoRR (2021)
Ismaël Jecker, Nicolas Mazzocchi, Petra Wolf
Decomposing Permutation Automata. CONCUR (2021)
Nils Morawietz, Petra Wolf
A Timecop's Chase Around the Table. MFCS (2021)
Emmanuel Arrighi, Henning Fernau, Daniel Lokshtanov, Mateus de Oliveira Oliveira, Petra Wolf
Diversity in Kemeny Rank Aggregation: A Parameterized Approach. CoRR (2021)
Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf
Width Notions for Ordering-Related Problems. FSTTCS (2020)
Petra Wolf
From Decidability to Undecidability by Considering Regular Sets of Instances. ICTCS (2020)
Henning Fernau, Petra Wolf
Synchronization of Deterministic Visibly Push-Down Automata. FSTTCS (2020)
Henning Fernau, Petra Wolf
Synchronization of Deterministic Visibly Push-Down Automata. CoRR (2020)
Petra Wolf
Synchronization Under Dynamic Constraints. FSTTCS (2020)
Henning Fernau, Petra Wolf, Tomoyuki Yamakami
Synchronizing Deterministic Push-Down Automata Can Be Really Hard. MFCS (2020)
Henning Fernau, Petra Wolf, Tomoyuki Yamakami
Synchronizing Deterministic Push-Down Automata Can Be Really Hard. CoRR (2020)
Petra Wolf, Henning Fernau
Regular Intersection Emptiness of Graph Problems: Finding a Needle in a Haystack of Graphs with the Help of Automata. CoRR (2020)
Petra Wolf
From Decidability to Undecidability by Considering Regular Sets of Instances. CoRR (2019)
Petra Wolf
Synchronization under Dynamic Constraints. CoRR (2019)
Henning Fernau, Vladimir V. Gusev, Stefan Hoffmann, Markus Holzer, Mikhail V. Volkov, Petra Wolf
Computational Complexity of Synchronization under Regular Constraints. MFCS (2019)
Petra Wolf
On the Decidability of Finding a Positive ILP-Instance in a Regular Set of ILP-Instances. DCFS (2019)
Demen Güler, Andreas Krebs, Klaus-Jörn Lange, Petra Wolf
Deciding Regular Intersection Emptiness of Complete Problems for PSPACE and the Polynomial Hierarchy. LATA (2018)
Ronald de Haan, Petra Wolf
Restricted Power - Computational Complexity Results for Strategic Defense Games. FUN (2018)