Markus Anders

According to our database, Markus Anders authored at least 12 papers between 2018 and 2023.

Collaborative distances:

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

2023

Taming Horizontal Instability in Merge Trees: On the Computation of a Comprehensive Deformation-based Edit Distance.

Florian Wetzels, Markus Anders, Christoph Garth

CoRR, 2023

Engineering a Preprocessor for Symmetry Detection.

Markus Anders, Pascal Schweitzer, Julian Stieß

Proceedings of the 21st International Symposium on Experimental Algorithms, 2023

Algorithms Transcending the SAT-Symmetry Interface.

Markus Anders, Pascal Schweitzer, Mate Soos

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

2022

SAT Preprocessors and Symmetry.

Markus Anders

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

2021

Trainability for Universal GNNs Through Surgical Randomness.

Billy Joe Franks, Markus Anders, Marius Kloft, Pascal Schweitzer

CoRR, 2021

A Characterization of Individualization-Refinement Trees.

Markus Anders, Jendrik Brachter, Pascal Schweitzer

Proceedings of the 32nd International Symposium on Algorithms and Computation, 2021

Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case.

Markus Anders, Pascal Schweitzer, Florian Wetzels

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

Search Problems in Trees with Symmetries: Near Optimal Traversal Strategies for Individualization-Refinement Algorithms.

Markus Anders, Pascal Schweitzer

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

Parallel Computation of Combinatorial Symmetries.

Markus Anders, Pascal Schweitzer

Proceedings of the 29th Annual European Symposium on Algorithms, 2021

Engineering a Fast Probabilistic Isomorphism Test.

Markus Anders, Pascal Schweitzer

Proceedings of the Symposium on Algorithm Engineering and Experiments, 2021

2019

A Formal Semantics of Exposed Datapath Architectures with Buffered Processing Units.

Markus Anders, Klaus Schneider

Proceedings of the 19th International Conference on Application of Concurrency to System Design, 2019

2018

On Memory Optimal Code Generation for Exposed Datapath Architectures with Buffered Processing Units.

Markus Anders, Anoop Bhagyanath, Klaus Schneider

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018