Petra Wolf

According to our database, Petra Wolf authored at least 31 papers between 2018 and 2024.

Collaborative distances:

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

2024

Learning from positive and negative examples: New proof for binary alphabets.

Jonas Lingg, Mateus de Oliveira Oliveira, Petra Wolf

Inf. Process. Lett., January, 2024

2023

Synchronizing deterministic push-down automata can be really hard.

Henning Fernau, Petra Wolf, Tomoyuki Yamakami

Inf. Comput., December, 2023

Order Reconfiguration under Width Constraints.

Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf

J. Graph Algorithms Appl., 2023

Traversing automata with current state uncertainty under LTL_f constraints.

Andrew Ryzhikov, Petra Wolf

CoRR, 2023

Defensive Alliances in Signed Networks.

Emmanuel Arrighi, Zhidan Feng, Henning Fernau, Kevin Mann, Xingqin Qi, Petra Wolf

CoRR, 2023

Heuristic for Diverse Kemeny Rank Aggregation based on Quantum Annealing.

Sven Fiergolla, Kevin Goergen, Patrick Neises, Petra Wolf

CoRR, 2023

Multi-Parameter Analysis of Finding Minors and Subgraphs in Edge-Periodic Temporal Graphs.

Emmanuel Arrighi, Niels Grüttemeier, Nils Morawietz, Frank Sommer, Petra Wolf

Proceedings of the SOFSEM 2023: Theory and Practice of Computer Science, 2023

Kernelizing Temporal Exploration Problems.

Emmanuel Arrighi, Fedor V. Fomin, Petr A. Golovach, Petra Wolf

Proceedings of the 18th International Symposium on Parameterized and Exact Computation, 2023

PACE Solver Description: Zygosity.

Emmanuel Arrighi, Pål Grønås Drange, Kenneth Langedal, Farhad Vadiee, Martin Vatshelle, Petra Wolf

Proceedings of the 18th International Symposium on Parameterized and Exact Computation, 2023

Cluster Editing with Overlapping Communities.

Emmanuel Arrighi, Matthias Bentert, Pål Grønås Drange, Blair D. Sullivan, Petra Wolf

Proceedings of the 18th International Symposium on Parameterized and Exact Computation, 2023

Synchronization and Diversity of Solutions.

Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Generalisierte Synchronisation endlicher Automaten.

Petra Wolf

Ausgezeichnete Informatikdissertationen, 2022

Generalized Synchronization and Intersection Non-Emptiness of Finite-State Automata.

Petra Wolf

PhD thesis, 2022

From decidability to undecidability by considering regular sets of instances.

Petra Wolf

Theor. Comput. Sci., 2022

All Paths Lead to Rome.

Kevin Goergen, Henning Fernau, Esther Oest, Petra Wolf

CoRR, 2022

On the decidability of finding a positive ILP-instance in a regular set of ILP-instances.

Petra Wolf

Acta Informatica, 2022

Preface to Klaus-Jörn Lange Festschrift.

Henning Fernau, Markus Holzer, Petra Wolf

Acta Informatica, 2022

Properties of graphs specified by a regular language.

Volker Diekert, Henning Fernau, Petra Wolf

Acta Informatica, 2022

Learning from Positive and Negative Examples: Dichotomies and Parameterized Algorithms.

Jonas Lingg, Mateus de Oliveira Oliveira, Petra Wolf

Proceedings of the Combinatorial Algorithms - 33rd International Workshop, 2022

2021

A Timecop's Chase Around the Table.

Nils Morawietz, Petra Wolf

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

Diversity in Kemeny Rank Aggregation: A Parameterized Approach.

Emmanuel Arrighi, Henning Fernau, Daniel Lokshtanov, Mateus de Oliveira Oliveira, Petra Wolf

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

On the Complexity of Intersection Non-emptiness for Star-Free Language Classes.

Emmanuel Arrighi, Henning Fernau, Stefan Hoffmann, Markus Holzer, Ismaël Jecker, Mateus de Oliveira Oliveira, Petra Wolf

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

Improving Run Length Encoding by Preprocessing.

Sven Fiergolla, Petra Wolf

Proceedings of the 31st Data Compression Conference, 2021

Decomposing Permutation Automata.

Ismaël Jecker, Nicolas Mazzocchi, Petra Wolf

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Regular Intersection Emptiness of Graph Problems: Finding a Needle in a Haystack of Graphs with the Help of Automata.

Petra Wolf, Henning Fernau

CoRR, 2020

Synchronization of Deterministic Visibly Push-Down Automata.

Henning Fernau, Petra Wolf

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

Width Notions for Ordering-Related Problems.

Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

Synchronization Under Dynamic Constraints.

Petra Wolf

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

2019

Computational Complexity of Synchronization under Regular Constraints.

Henning Fernau, Vladimir V. Gusev, Stefan Hoffmann, Markus Holzer, Mikhail V. Volkov, Petra Wolf

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

2018

Deciding Regular Intersection Emptiness of Complete Problems for PSPACE and the Polynomial Hierarchy.

Demen Güler, Andreas Krebs, Klaus-Jörn Lange, Petra Wolf

Proceedings of the Language and Automata Theory and Applications, 2018

Restricted Power - Computational Complexity Results for Strategic Defense Games.

Ronald de Haan, Petra Wolf

Proceedings of the 9th International Conference on Fun with Algorithms, 2018