• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 190 matches

• 2024
• 
  Jonas Lingg, Mateus de Oliveira Oliveira, Petra Wolf:
  Learning from positive and negative examples: New proof for binary alphabets. Inf. Process. Lett. 183: 106427 (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: 103534 (2024)
• 
  Arnaud Casteigts, Nils Morawietz, Petra Wolf:
  Distance to Transitivity: New Parameters for Taming Reachability in Temporal Graphs. MFCS 2024: 36:1-36:17
• 
  Andrew Ryzhikov, Petra Wolf:
  Monoids of Upper Triangular Matrices over the Boolean Semiring. MFCS 2024: 81:1-81:18
• 
  Martin Wolfgang Lauer-Schmaltz, John Paulin Hansen, Kathrin Kirchner:
  "Beat me if I can!" - A Case Study on Human Digital Twin-based Opponents in Rehabilitation Gaming. PETRA 2024
• 
  Thomas Erlebach, Nils Morawietz, Petra Wolf:
  Parameterized Algorithms for Multi-Label Periodic Temporal Graph Realization. SAND 2024: 12:1-12:16
• 
  Linus Seelinger, Anne Reinarz, Mikkel Bue Lykkegaard, Amal Mohammed A. Alghamdi, David Aristoff, Wolfgang Bangerth, Jean Bénézech, Matteo Diez, Kurt Frey, John D. Jakeman, Jakob Sauer Jørgensen, Ki-Tae Kim, Massimiliano Martinelli, Matthew D. Parno, Riccardo Pellegrini, Noemi Petra, Nicolai André Brogaard Riis, Katherine Rosenfeld, Andrea Serani, Lorenzo Tamellini, Umberto Villa, Tim J. Dodwell, Robert Scheichl:
  Democratizing Uncertainty Quantification. CoRR abs/2402.13768 (2024)
• 
  Arnaud Casteigts, Nils Morawietz, Petra Wolf:
  Distance to Transitivity: New Parameters for Taming Reachability in Temporal Graphs. CoRR abs/2406.19514 (2024)
• 2023
• 
  Henning Fernau, Petra Wolf, Tomoyuki Yamakami:
  Synchronizing deterministic push-down automata can be really hard. Inf. Comput. 295(Part B): 105089 (2023)
• 
  Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf:
  Order Reconfiguration under Width Constraints. J. Graph Algorithms Appl. 27(6): 409-431 (2023)
• 
  Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf:
  Synchronization and Diversity of Solutions. AAAI 2023: 11516-11524
• 
  Emmanuel Arrighi, Matthias Bentert, Pål Grønås Drange, Blair D. Sullivan, Petra Wolf:
  Cluster Editing with Overlapping Communities. IPEC 2023: 2:1-2:12
• 
  Emmanuel Arrighi, Pål Grønås Drange, Kenneth Langedal, Farhad Vadiee, Martin Vatshelle, Petra Wolf:
  PACE Solver Description: Zygosity. IPEC 2023: 39:1-39:3
• 
  Emmanuel Arrighi, Fedor V. Fomin, Petr A. Golovach, Petra Wolf:
  Kernelizing Temporal Exploration Problems. IPEC 2023: 1:1-1:18
• 
  Martin Wolfgang Lauer-Schmaltz, Israa Kerim, John Paulin Hansen, Gábor Máté Gulyás, Henning Boje Andersen:
  Human Digital Twin-based interactive dashboards for informal caregivers of stroke patients. PETRA 2023: 215-221
• 
  Philipp Wolf, Timo Götzelmann:
  A Systematic Review of Interaction Approaches based on Visually Evoked Potentials. PETRA 2023: 396-401
• 
  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: 283-297
• 
  Sven Fiergolla, Kevin Goergen, Patrick Neises, Petra Wolf:
  Heuristic for Diverse Kemeny Rank Aggregation based on Quantum Annealing. CoRR abs/2301.05146 (2023)
• 
  Emmanuel Arrighi, Fedor V. Fomin, Petr A. Golovach, Petra Wolf:
  Kernelizing Temporal Exploration Problems. CoRR abs/2302.10110 (2023)
• 
  Emmanuel Arrighi, Zhidan Feng, Henning Fernau, Kevin Mann, Xingqin Qi, Petra Wolf:
  Defensive Alliances in Signed Networks. CoRR abs/2309.06801 (2023)
• 
  Andrew Ryzhikov, Petra Wolf:
  Traversing automata with current state uncertainty under LTL_f constraints. CoRR abs/2311.17849 (2023)
• 2022
• 
  Petra Wolf:
  Generalized Synchronization and Intersection Non-Emptiness of Finite-State Automata. University of Trier, Germany, 2022
• 
  Volker Diekert, Henning Fernau, Petra Wolf:
  Properties of graphs specified by a regular language. Acta Informatica 59(4): 357-385 (2022)
• 
  Henning Fernau, Markus Holzer, Petra Wolf:
  Preface to Klaus-Jörn Lange Festschrift. Acta Informatica 59(4): 285-287 (2022)
• 
  Petra Wolf:
  On the decidability of finding a positive ILP-instance in a regular set of ILP-instances. Acta Informatica 59(4): 505-519 (2022)
• 
  Amal Saadallah, Felix Finkeldey, Jens Buß, Katharina Morik, Petra Wiederkehr, Wolfgang Rhode:
  Simulation and sensor data fusion for machine learning application. Adv. Eng. Informatics 52: 101600 (2022)
• 
  Petra Schneidhofer, Christer Tonning, Rebecca J. S. Cannell, Erich Nau, Alois Hinterleitner, Geert J. Verhoeven, Lars Gustavsen, Knut Paasche, Wolfgang Neubauer, Terje Gansum:
  The Influence of Environmental Factors on the Quality of GPR Data: The Borre Monitoring Project. Remote. Sens. 14(14): 3289 (2022)
• 
  Petra Wolf:
  From decidability to undecidability by considering regular sets of instances. Theor. Comput. Sci. 899: 25-38 (2022)
• 
  Jonas Lingg, Mateus de Oliveira Oliveira, Petra Wolf:
  Learning from Positive and Negative Examples: Dichotomies and Parameterized Algorithms. IWOCA 2022: 398-411
• 
  Petra Wolf:
  Generalisierte Synchronisation endlicher Automaten. Ausgezeichnete Informatikdissertationen 2022: 301-310

skipping 160 more matches