Christian Schulz

research

∙ 08/29/2023

Finding Optimal 2-Packing Sets on Arbitrary Graphs at Scale

A 2-packing set for an undirected graph G=(V,E) is a subset 𝒮⊂ V such th...

0 Jannick Borowitz, et al. ∙

research

∙ 02/14/2023

Arc-Flags Meet Trip-Based Public Transit Routing

We present Arc-Flag TB, a journey planning algorithm for public transit ...

0 Ernestine Großmann, et al. ∙

research

∙ 02/13/2023

FREIGHT: Fast Streaming Hypergraph Partitioning

Partitioning the vertices of a (hyper)graph into k roughly balanced bloc...

0 Kamal Eyubov, et al. ∙

research

∙ 02/01/2023

Improved Exact and Heuristic Algorithms for Maximum Weight Clique

We propose improved exact and heuristic algorithms for solving the maxim...

0 Roman Erhardt, et al. ∙

research

∙ 01/17/2023

Engineering Fully Dynamic Δ-Orientation Algorithms

A (fully) dynamic graph algorithm is a data structure that supports edge...

0 Jannick Borowitz, et al. ∙

research

∙ 12/15/2022

Attention-based Multiple Instance Learning for Survival Prediction on Lung Cancer Tissue Microarrays

Attention-based multiple instance learning (AMIL) algorithms have proven...

0 Jonas Ammeling, et al. ∙

research

∙ 08/29/2022

Finding Near-Optimal Weight Independent Sets at Scale

Computing maximum weight independent sets in graphs is an important NP-h...

0 Ernestine Großmann, et al. ∙

research

∙ 08/29/2022

A Distributed Multilevel Memetic Algorithm for Signed Graph Clustering

In real-world applications, interactions between two entities can be usu...

0 Felix Hausberger, et al. ∙

research

∙ 05/26/2022

More Recent Advances in (Hyper)Graph Partitioning

In recent years, significant advances have been made in the design and e...

0 Umit V. Catalyurek, et al. ∙

research

∙ 05/11/2022

Local Motif Clustering via (Hyper)Graph Partitioning

A widely-used operation on graphs is local clustering, i.e., extracting ...

0 Adil Chhabra, et al. ∙

research

∙ 05/05/2022

Fractal dimensions of k-automatic sets

This paper seeks to build on the extensive connections that have arisen ...

0 Alexi Block Gorman, et al. ∙

research

∙ 02/01/2022

Recursive Multi-Section on the Fly: Shared-Memory Streaming Algorithms for Hierarchical Graph Partitioning and Process Mapping

Partitioning a graph into balanced blocks such that few edges run betwee...

0 Marcelo Fonseca Faraj, et al. ∙

research

∙ 01/19/2022

Weakly Supervised Semantic Segmentation of Remote Sensing Images for Tree Species Classification Based on Explanation Methods

The collection of a high number of pixel-based labeled training samples ...

0 Steve Ahlswede, et al. ∙

research

∙ 10/22/2021

A strong version of Cobham's theorem

Let k,ℓ≥ 2 be two multiplicatively independent integers. Cobham's famous...

0 Philipp Hieronymi, et al. ∙

research

∙ 07/06/2021

An MPI-based Algorithm for Mapping Complex Networks onto Hierarchical Architectures

Processing massive application graphs on distributed memory systems requ...

0 Maria Predari, et al. ∙

research

∙ 06/16/2021

High-Quality Hypergraph Partitioning

This paper considers the balanced hypergraph partitioning problem, which...

0 Sebastian Schlag, et al. ∙

research

∙ 05/05/2021

Deep Multilevel Graph Partitioning

Partitioning a graph into blocks of "roughly equal" weight while cutting...

0 Lars Gottesbüren, et al. ∙

research

∙ 04/27/2021

Fully-dynamic Weighted Matching Approximation in Practice

Finding large or heavy matchings in graphs is a ubiquitous combinatorial...

0 Eugenio Angriman, et al. ∙

research

∙ 02/22/2021

Recent Advances in Fully Dynamic Graph Algorithms

In recent years, significant advances have been made in the design and a...

0 Kathrin Hanauer, et al. ∙

research

∙ 02/18/2021

Buffered Streaming Graph Partitioning

Partitioning graphs into blocks of roughly equal size is a widely used t...

0 Marcelo Fonseca Faraj, et al. ∙

research

∙ 02/16/2021

Decidability for Sturmian words

We show that the first-order theory of Sturmian words over Presburger ar...

0 Philipp Hieronymi, et al. ∙

research

∙ 02/02/2021

Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata

Pecan is an automated theorem prover for reasoning about properties of S...

0 Reed Oei, et al. ∙

research

∙ 01/13/2021

Practical Fully Dynamic Minimum Cut Algorithms

We present a practically efficient algorithm for maintaining a global mi...

0 Monika Henzinger, et al. ∙

research

∙ 12/23/2020

Recent Advances in Practical Data Reduction

Over the last two decades, significant advances have been made in the de...

0 Faisal Abu-Khzam, et al. ∙

research

∙ 12/11/2020

The Future is Big Graphs! A Community View on Graph Processing Systems

Graphs are by nature unifying abstractions that can leverage interconnec...

0 Sherif Sakr, et al. ∙

research

∙ 08/25/2020

Faster Reachability in Static Graphs

One of the most fundamental problems in computer science is the reachabi...

0 Kathrin Hanauer, et al. ∙

research

∙ 08/12/2020

Boosting Data Reduction for the Maximum Weight Independent Set Problem Using Increasing Transformations

Given a vertex-weighted graph, the maximum weight independent set proble...

14 Alexander Gellner, et al. ∙

research

∙ 05/19/2020

Efficient Process-to-Node Mapping Algorithms for Stencil Computations

Good process-to-compute-node mappings can be decisive for well performin...

0 Sascha Hunold, et al. ∙

research

∙ 04/24/2020

Faster Parallel Multiterminal Cuts

We give an improved branch-and-bound solver for the multiterminal cut pr...

0 Monika Henzinger, et al. ∙

research

∙ 04/23/2020

Engineering Data Reduction for Nested Dissection

Many applications rely on time-intensive matrix operations, such as fact...

0 Wolfgang Ost, et al. ∙

research

∙ 04/20/2020

Dynamic Matching Algorithms in Practice

In recent years, significant advances have been made in the design and a...

0 Monika Henzinger, et al. ∙

research

∙ 03/02/2020

Recent Advances in Scalable Network Generation

Random graph models are frequently used as a controllable and versatile ...

0 Manuel Penschuck, et al. ∙

research

∙ 02/17/2020

Finding All Global Minimum Cuts In Practice

We present a practically efficient algorithm that finds all global minim...

0 Monika Henzinger, et al. ∙

research

∙ 02/06/2020

Multilevel Acyclic Hypergraph Partitioning

A directed acyclic hypergraph is a generalized concept of a directed acy...

14 Merten Popp, et al. ∙

research

∙ 02/03/2020

Faster Fully Dynamic Transitive Closure in Practice

The fully dynamic transitive closure problem asks to maintain reachabili...

0 Kathrin Hanauer, et al. ∙

research

∙ 01/27/2020

Load-Balanced Bottleneck Objectives in Process Mapping

We propose a new problem formulation for graph partitioning that is tail...

0 Johannes Langguth, et al. ∙

research

∙ 01/20/2020

High-Quality Hierarchical Process Mapping

Partitioning graphs into blocks of roughly equal size such that few edge...

0 Marcelo Fonseca Faraj, et al. ∙

research

∙ 11/30/2019

Scalable Graph Algorithms

Processing large complex networks recently attracted considerable intere...

0 Christian Schulz, et al. ∙

research

∙ 08/19/2019

WeGotYouCovered: The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track

We present the winning solver of the PACE 2019 Implementation Challenge,...

0 Demian Hespe, et al. ∙

research

∙ 08/12/2019

Shared-Memory Branch-and-Reduce for Multiterminal Cuts

We introduce the fastest known exact algorithm for the multiterminal cut...

0 Monika Henzinger, et al. ∙

research

∙ 05/26/2019

Engineering Kernelization for Maximum Cut

Kernelization is a general theoretical framework for preprocessing insta...

0 Damir Ferizovic, et al. ∙

research

∙ 05/08/2019

Finding Optimal Longest Paths by Dynamic Programming in Parallel

We propose an exact algorithm for solving the longest simple path proble...

0 Kai Fieger, et al. ∙

research

∙ 05/03/2019

Fully Dynamic Single-Source Reachability in Practice: An Experimental Study

Given a directed graph and a source vertex, the fully dynamic single-sou...

0 Kathrin Hanauer, et al. ∙

research

∙ 10/25/2018

Exactly Solving the Maximum Weight Independent Set Problem on Large Real-World Graphs

One powerful technique to solve NP-hard optimization problems in practic...

0 Sebastian Lamm, et al. ∙

research

∙ 08/22/2018

Reproducible data citations for computational research

The general purpose of a scientific publication is the exchange and spre...

0 Christian Schulz, et al. ∙

research

∙ 08/20/2018

Scalable Edge Partitioning

Edge-centric distributed computations have appeared as a recent techniqu...

0 Sebastian Schlag, et al. ∙

research

∙ 08/20/2018

Faster Support Vector Machines

The time complexity of support vector machines (SVMs) prohibits training...

4 Sebastian Schlag, et al. ∙

research

∙ 08/16/2018

Shared-memory Exact Minimum Cuts

The minimum cut problem for an undirected edge-weighted graph asks us to...

0 Monika Henzinger, et al. ∙

research

∙ 07/12/2018

A network-based citation indicator of scientific performance

Scientists are embedded in social and information networks that influenc...

0 Christian Schulz, et al. ∙

research

∙ 02/20/2018

ILP-based Local Search for Graph Partitioning

Computing high-quality graph partitions is a challenging problem with nu...

0 Alexandra Henzinger, et al. ∙

Christian Schulz

Featured Co-authors