activity
20132022
most citedEffectiveness of pre- and inprocessing for CDCL-based SAT solving

5 citations · 7 across the 7 of their papers we have counts for

collaborators

12 papers

cs.SI2022

Interactive Visualization of Protein RINs using NetworKit in the Cloud

Eugenio Angriman, Fabian Brandt-Tumescheit, Leon Franke +2

Network analysis has been applied in diverse application domains. In this paper, we consider an example from protein dynamics, specifically residue interaction networks (RINs). In…

cs.DC2022

Fast Dynamic Updates and Dynamic SpGEMM on MPI-Distributed Graphs

Alexander van der Grinten, Geert Custers, Duy Le Thanh +1

Sparse matrix multiplication (SpGEMM) is a fundamental kernel used in many diverse application areas, both numerical and discrete. For example, many algebraic graph algorithms rely…

cs.DS2021

New Approximation Algorithms for Forest Closeness Centrality -- for Individual Vertices and Vertex Groups

Alexander van der Grinten, Eugenio Angriman, Maria Predari +1

The emergence of massive graph data sets requires fast mining algorithms. Centrality measures to identify important vertices belong to the most popular analysis methods in graph mi…

cs.DS2020

Approximation of the Diagonal of a Laplacian's Pseudoinverse for Complex Network Analysis

Eugenio Angriman, Maria Predari, Alexander van der Grinten +1

The ubiquity of massive graph data sets in numerous applications requires fast algorithms for extracting knowledge from these data. We are motivated here by three electrical measur…

cs.DS2020

High-Quality Hierarchical Process Mapping

Marcelo Fonseca Faraj, Alexander van der Grinten, Henning Meyerhenke +2

Partitioning graphs into blocks of roughly equal size such that few edges run between blocks is a frequently needed operation when processing graphs on a parallel computer. When a…

cs.DS2019

Local Search for Group Closeness Maximization on Big Graphs

Eugenio Angriman, Alexander van der Grinten, Henning Meyerhenke

In network analysis and graph mining, closeness centrality is a popular measure to infer the importance of a vertex. Computing closeness efficiently for individual vertices receive…