• 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 108 matches

• 2024
• 
  Jan Kyncl, Marcus Schaefer, Eric Sedgwick, Daniel Stefankovic:
  Spiraling and Folding: The Topological View. Discret. Comput. Geom. 72(1): 246-268 (2024)
• 
  Marcus Schaefer, Daniel Stefankovic:
  Beyond the Existential Theory of the Reals. Theory Comput. Syst. 68(2): 195-226 (2024)
• 
  Dennis Köpp, Hendrik Bertram, Bruno Kezeya, Petra Zerhusen-Blecher, Tanja Schäfer, Mehmet Gültas, Marcus Mergenthaler:
  "LeguDash" - ein Prototyp eines Dashboards für mehr Transparenz am Leguminosenmarkt. GIL 2024: 317-322
• 
  Marcus Schaefer, Jean Cardinal, Tillmann Miltzow:
  The Existential Theory of the Reals as a Complexity Class: A Compendium. CoRR abs/2407.18006 (2024)
• 2023
• 
  Radoslav Fulek, Michael J. Pelsmajer, Marcus Schaefer:
  Hanani-Tutte for Radial Planarity II. Electron. J. Comb. 30(1) (2023)
• 
  Marcus Schaefer:
  The Complexity of Angular Resolution. J. Graph Algorithms Appl. 27(7): 565-580 (2023)
• 
  Marcus Schaefer:
  RAC-Drawability is ∃ℝ-complete and Related Results. J. Graph Algorithms Appl. 27(9): 803-841 (2023)
• 
  Lukas Schäfer, Oliver Slumbers, Stephen McAleer, Yali Du, Stefano V. Albrecht, David Mguni:
  Ensemble Value Functions for Efficient Exploration in Multi-Agent Reinforcement Learning. CoRR abs/2302.03439 (2023)
• 2022
• 
  Marcus Schäfer, Daniel Stefankovic:
  The Degenerate Crossing Number and Higher-Genus Embeddings. J. Graph Algorithms Appl. 26(1): 35-58 (2022)
• 
  Marcus Schaefer:
  Hanani-Tutte and Hierarchical Partial Planarity. SIAM J. Discret. Math. 36(4): 2959-2974 (2022)
• 
  Jan Kyncl, Marcus Schaefer, Eric Sedgwick, Daniel Stefankovic:
  Spiraling and Folding: The Topological View. CoRR abs/2206.07849 (2022)
• 
  Marcus Schaefer, Daniel Stefankovic:
  Beyond the Existential Theory of the Reals. CoRR abs/2210.00571 (2022)
• 2021
• 
  Marcus Schaefer:
  A New Algorithm for Embedding Plane Graphs at Fixed Vertex Locations. Electron. J. Comb. 28(4) (2021)
• 
  Marcus Schaefer:
  Taking a Detour; or, Gioan's Theorem, and Pseudolinear Drawings of Complete Graphs. Discret. Comput. Geom. 66(1): 12-31 (2021)
• 
  Marcus Schaefer:
  Complexity of Geometric k-Planarity for Fixed k. J. Graph Algorithms Appl. 25(1): 29-41 (2021)
• 
  Marcus Schaefer:
  On the Complexity of Some Geometric Problems With Fixed Parameters. J. Graph Algorithms Appl. 25(1): 195-218 (2021)
• 
  Radoslav Fulek, Michael J. Pelsmajer, Marcus Schaefer:
  Strong Hanani-Tutte for the Torus. SoCG 2021: 38:1-38:15
• 
  Marcus Schaefer:
  RAC-Drawability is ∃ ℝ-Complete. GD 2021: 72-86
• 
  Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Tobias Runge, Thomas Thüm, Ina Schaefer:
  Skill-Based Verification of Cyber-Physical Systems. Software Engineering 2021: 67-68
• 
  Marcus Schaefer:
  RAC-drawability is ∃R-complete. CoRR abs/2107.11663 (2021)
• 2020
• 
  Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer:
  Skill-Based Verification of Cyber-Physical Systems. FASE 2020: 203-223
• 
  Radoslav Fulek, Michael J. Pelsmajer, Marcus Schaefer:
  Strong Hanani-Tutte for the Torus. CoRR abs/2009.01683 (2020)
• 2019
• 
  Carla Binucci, Ulrik Brandes, Tim Dwyer, Martin Gronemann, Reinhard von Hanxleden, Marc J. van Kreveld, Petra Mutzel, Marcus Schaefer, Falk Schreiber, Bettina Speckmann:
  10 Reasons to Get Interested in Graph Drawing. Computing and Software Science 2019: 85-104
• 
  Arnaud de Mesmay, Marcus Schaefer, Eric Sedgwick:
  Link Crossing Number is NP-hard. CoRR abs/1908.04073 (2019)
• 
  Marcus Schaefer:
  A Proof of Levi's Extension Lemma. CoRR abs/1910.05388 (2019)
• 2018
• 
  Stefan Hinterreiter, Matthias Budde, Klaus Schäfer, Johannes Riesterer, Till Riedel, Marcel Köpke, Josef Cyrys, Stefan Emeis, Thomas Gratza, Marcus Hank, Andreas Philipp, Erik Petersen, Johanna Redelstein, Jürgen Schnelle-Kreis, Duick Young:
  SmartAQnet - neuer smarter Weg zur räumlichen Erfassung von FeinstaubSmartAQnet - New Smart Way for Spatial Detection of Fine Dust. AGIT Journal Angew. Geoinformatik 4: 394-403 (2018)
• 
  Marcus Schaefer, Daniel Stefankovic:
  The Complexity of Tensor Rank. Theory Comput. Syst. 62(5): 1161-1174 (2018)
• 
  Tristan Schäfer, Frederik Möller, Anja Burmann, Yevgen Pikus, Norbert Weißenberg, Marcus Hintze, Jakob Rehof:
  A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways. ISoLA (4) 2018: 472-486
• 2017
• 
  Radoslav Fulek, Michael J. Pelsmajer, Marcus Schaefer:
  Hanani-Tutte for Radial Planarity. J. Graph Algorithms Appl. 21(1): 135-154 (2017)
• 
  Marcus Schaefer, Daniel Stefankovic:
  Fixed Points, Nash Equilibria, and the Existential Theory of the Reals. Theory Comput. Syst. 60(2): 172-193 (2017)

skipping 78 more matches